🚀 go-pugleaf

In article <NAKASHIM.92Jul24103723@uranus.etl.go.jp> nakashim@etl.go.jp (Hideyuki Nakashima) writes:

 |$B%W%i%s%K%s%0%7(B$B%9%F%`!J(BSTRIPS, NOAH, WARPLAN$B$J$I!K$N40A4@-!?7rA4@-$r>Z(B
 |$BL@$7$?$h$&$JO@J8$r$4B8CN$G$7$?$i65$($F2<$5$$(B$B!%(B
 |
 |$BFC$K2r$1$kLdBj$N%/%i%9$K$D$$$F8@5Z$7$?$b$N$r4|BT$7$F$$$^$9!%(B

$B:G6a$N8&5f$O$o$+$j$^$;$s$,(B, 

Vladimir Lifschitz, On the semantics of STRIPS, 
in: M. Georgeff and A. Lansky, editors, Reasoning About Actions and
Plans, pages 1--9, Morgan Kaufmann, 1987.  

$B$G$O(B STRIPS $B$N7rA4@-$K4X$9$k7A<0E*$J5DO@$,(B$B$J$5$l$F$$$^$9(B.  $B$^$?(B, 
$B%7%9%F%`$G$O$J$/8@8l$K4X$9$k$b$N$G$O(B, 

M. Gelfond, V. Lifschitz, and A. Rabinov, 
What are the limitations of the situation calculus?, 
in: R.S. Boyer, editor, Automated Reasoning---Essays in Honor of Woody
Bledsoe, pages 167--179, Kluwer Academic, 1991. 

$B$K$*$$$F(B, situation calculus $B$N8B3&$K4X$9$k5DO@$,$^$H$a$i$l$F$$$^$9(B.  

$B0f>e!w#I#C#O#T(B