Show simple item record

Systematic Nonlinear Planning

dc.date.accessioned2004-10-08T20:29:06Z
dc.date.accessioned2018-11-24T10:15:33Z
dc.date.available2004-10-08T20:29:06Z
dc.date.available2018-11-24T10:15:33Z
dc.date.issued1991-12-01en_US
dc.identifier.urihttp://hdl.handle.net/1721.1/6588
dc.identifier.urihttp://repository.aust.edu.ng/xmlui/handle/1721.1/6588
dc.description.abstractThis paper presents a simple, sound, complete, and systematic algorithm for domain independent STRIPS planning. Simplicity is achieved by starting with a ground procedure and then applying a general and independently verifiable, lifting transformation. Previous planners have been designed directly as lifted procedures. Our ground procedure is a ground version of Tate's NONLIN procedure. In Tate's procedure one is not required to determine whether a prerequisite of a step in an unfinished plan is guarnateed to hold in all linearizations. This allows Tate"s procedure to avoid the use of Chapman"s modal truth criterion. Systematicity is the property that the same plan, or partial plan, is never examined more than once. Systematicity is achieved through a simple modification of Tate's procedure.en_US
dc.format.extent1183592 bytes
dc.format.extent738904 bytes
dc.language.isoen_US
dc.titleSystematic Nonlinear Planningen_US


Files in this item

FilesSizeFormatView
AIM-1339.pdf738.9Kbapplication/pdfView/Open
AIM-1339.ps1.183Mbapplication/postscriptView/Open

This item appears in the following Collection(s)

Show simple item record