Automatically assigned DDC number: 006333

Manually assigned DDC number: 006333

Number of references: 0

Title: Systematic Nonlinear Planning

Author:

Author:

Subject: David Mcallester,David Rosenblitt Systematic Nonlinear Planning

Description: This 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 guaranteed 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. Introduction STRIPS planning was introduced in (Fikes and Nilsson 1971) as a model of the kind of planning problems that people appear to solve in common sense reasoning. STRIPS planning correspo...

Contributor: The Pennsylvania State University CiteSeer Archives

Publisher: unknown

Date: 1997-01-24

Pubyear: 1991

Format: ps

Identifier: http://citeseer.ist.psu.edu/140456.html

Source: http://cgenie.lboro.ac.uk/bib/papers/aaai91c.ps

Language: en

Rights: unrestricted

Graph

<?xml   version="1.0"   encoding="UTF-8"?>

<references_metadata>

      <rec   ID="SELF"   Type="SELF"   CiteSeer_Book="SELF"   CiteSeer_Volume="SELF"   Title="Systematic   Nonlinear   Planning">

            <identifier   Org="ISBN:0262510596"   Paper_ID="SELF"   Extracted="0262510596"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:0262510715"   Paper_ID="SELF"   Extracted="0262510715"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:1402003935"   Paper_ID="SELF"   Extracted="1402003935"   />

            <identifier   Org="ISBN:155860250X"   Paper_ID="SELF"   Extracted="155860250X"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:1586034529"   Paper_ID="SELF"   Extracted="1586034529"   />

            <identifier   Org="ISBN:1591404517"   Paper_ID="SELF"   Extracted="1591404517"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:354023957X"   Paper_ID="SELF"   Extracted="354023957X"   DDC="629.892"   Normalized_DDC="629892"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:354042959X"   Paper_ID="SELF"   Extracted="354042959X"   DDC="620.00420285"   Normalized_DDC="62000420285"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540612866"   Paper_ID="SELF"   Extracted="3540612866"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540635769"   Paper_ID="SELF"   Extracted="3540635769"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540672001"   Paper_ID="SELF"   Extracted="3540672001"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540678662"   Paper_ID="SELF"   Extracted="3540678662"   DDC="006.3/33"   Normalized_DDC="006333"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3898382850"   Paper_ID="SELF"   Extracted="3898382850"   />

            <identifier   Org="ISBN:9051991533"   Paper_ID="SELF"   Extracted="9051991533"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:9051992378"   Paper_ID="SELF"   Extracted="9051992378"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:9056995243"   Paper_ID="SELF"   Extracted="9056995243"   />

      </rec>

</references_metadata>

www.000webhost.com