🚀 go-pugleaf

RetroBBS NetNews Server

Inspired by RockSolid Light RIP Retro Guy

Article View: fj.ai
Article #10

Re: completeness of planning systems

#10
From: Hideyuki Nakashima
Date: Tue, 04 Aug 1992 00:39
26 lines
1631 bytes
In article <5j7.c82sm@lab.ntt.jp> isozaki@ntt-20.ntt.jp (Hideki ISOZAKI) writes:


   $@LdBj$O(J linear $@$H$$$&8@MU$,<!$NFsDL$j$K;H$o$l$F$$$k$3$H$G$9!%(J

$@N;2r$G$9!%$G(J$@$b!$(J

   1) $@J#?t$N%4!<%k$rC#@.$9$k>l9g$K!$3F%4!<%k$r=g<!2r$$$F$$$1$PA4It2r$1$k$H(J
     $@2>Dj$7$F$$$k(J (linearity assumption) $@$H$$$&0UL#$G$N(J linear$@!%(J

   2) $@%W%i%s$rC5:w$9$k;~$K!$%W%i%s$rA4=g=x$GI=8=$7$F$$$k(J$@$H$$$&(J
     $@0UL#$G$N(J linear$@!%(J

1)$@$H(J2)$@$K$O4X78$,$J$$$N$G$7$g$&$+!)(J

1)$@$NLdBj$O(J2)$@$G2r$1$^$9$h$M!%(JSussman anomary $@$O$3$N0UL#$G(J
  non-linear $@$@$+$i(J2)$@$G2r$1$J$/$F$b$h$$$o$1$G$9$h$M!%(J
  $@$=$l$H$b(JNOAH$@$O$3$&$$$&(J$@LdBj$r(Jnon-linear$@$J%W%i%s!J(J2)$@$N0UL#!K(J
  $@$G2r$/$N$+$J!)(J

2)$@$G2r$1$kLdBj$O$-$C$H(J1)$@$N@-<A$r;}$C$F$$$^$9$h(J$@$M(J


--
$@EE;R5;=QAm9g8&5f=j(J $@6(D4%"!<%-%F%/%A%c7W2h<<(J
$@CfEg=(G7(J
Technical Details
Message-ID: <NAKASHIM.92Aug4093926@uranus.etl.go.jp>
Path: arc1-ca.pugleaf.net!sparky!uunet!ccut!wnoc-tyo-news!etl.go.jp!etlss2!nakashim
References: <NAKASHIM.92Jul24103723@uranus.etl.go.jp> <OSAWA.92Jul27121449@unicorn.csl.sony.co.jp> <NAKASHIM.92Jul30112232@uranus.etl.go.jp> <NAKASHIM.92Jul31151152@uranus.etl.go.jp> <5j7.c82sm@lab.ntt.jp>

Show Full Headers
Complete Article Headers
Newsgroups: fj.ai
Path: arc1-ca.pugleaf.net!sparky!uunet!ccut!wnoc-tyo-news!etl.go.jp!etlss2!nakashim
From: nakashim@etl.go.jp (Hideyuki Nakashima)
Subject: Re: completeness of planning systems
In-Reply-To: isozaki@ntt-20.ntt.jp's message of 3 Aug 92 13: 20:10 GMT
Message-ID: <NAKASHIM.92Aug4093926@uranus.etl.go.jp>
Sender: news@etl.go.jp (News System)
Nntp-Posting-Host: uranus
Organization: Electrotechnical Laboratory
References: <NAKASHIM.92Jul24103723@uranus.etl.go.jp>
 <OSAWA.92Jul27121449@unicorn.csl.sony.co.jp>
 <NAKASHIM.92Jul30112232@uranus.etl.go.jp>
 <NAKASHIM.92Jul31151152@uranus.etl.go.jp> <5j7.c82sm@lab.ntt.jp>
Distribution: fj
Date: Tue, 4 Aug 1992 00:39:26 GMT
Lines: 27