rules of inference

Article View: fj.ai

Article #856

#856

From: Hideyuki Nakashima
Date: Thu, 04 Feb 1993 01:32

27 lines
1535 bytes

In article <1993Feb3.175858.21619@etl.go.jp> yoshiki@etl.go.jp (KINOSHITA Yoshiki) writes:

   $@$=$l$+(J
   $@$i!"(Jaxiom $@$O(J rule (of inference) $@$NFCJL$J$b$N$H9M$($k>l9g$b$"$j$^$9!#(J

$@$=$&$=$&!$O@J8$r=q$$$F$$$F5$$K$J$C$?$N$G$9$,!$O@M}BN7O$K$*$$(J$@$F(J

$@?dO@5,B'(J	$@%a%?(J
$@8xM}(J		$@91??$H9M$($kL?Bj(J
$@L?Bj(J		$@??56$,$"$k(J

$@$H$$$&6hJL$,$"$j$^$9$h$M!%(JProlog $@$G8@$($P(J

$@?dO@5,B'(J	resolution
$@8xM}(J		program
$@L?Bj(J		user's assertion

$@$_$?$$$J46$8$G$9!%(J

$@$G!$8xM}$"$k$$$OL?Bj$K(J$@$O(J P:-Q. $@$_$?$$$J7A$N$b$N$,$"$C$F!$$3$l$i$b>l9g(J
$@$K$h$C$F$O!H5,B'!I$H8F$P$l$^$9!%$3$&$$$&$N$r!H?dO@5,B'(J$@!I$"$k$$$O!H?dO@(J
$@$KMQ$$$k5,B'!I$H8F$V$HJ6$i$o$7$$$N$G$7$g$&$+!)(J

--
Hideyuki Nakashima
Cooperative Architecture
Electrotechincal Lab.

Technical Details

Message-ID: <NAKASHIM.93Feb4103248@uranus.etl.go.jp>

Path: arc1-ca.pugleaf.net!sparky!uunet!ccut!news.u-tokyo.ac.jp!wnoc-tyo-news!etl.go.jp!etlss2!nakashim

References: <1993Feb3.175858.21619@etl.go.jp>

Show Full Headers

Complete Article Headers

X-Google-Language: Japanese,JIS
X-Google-Thread: 155634,e9347125f0feaac
X-Google-Attributes: gid155634,public
X-Google-ArrivalTime: 1993-02-03 17:32:48 PST
Newsgroups: fj.ai
Path: arc1-ca.pugleaf.net!sparky!uunet!ccut!news.u-tokyo.ac.jp!wnoc-tyo-news!etl.go.jp!etlss2!nakashim
From: nakashim@etl.go.jp (Hideyuki Nakashima)
Subject: rules of inference
In-Reply-To: yoshiki@etl.go.jp's message of Wed, 3 Feb 1993 17: 58:58 GMT
Message-ID: <NAKASHIM.93Feb4103248@uranus.etl.go.jp>
Sender: news@etl.go.jp (News System)
Nntp-Posting-Host: uranus
Organization: Electrotechnical Laboratory
References: <1993Feb3.175858.21619@etl.go.jp>
Distribution: fj
Date: Thu, 4 Feb 1993 01:32:48 GMT
Lines: 29

Reply to Parent Message