Automatically assigned DDC number: 006333

Manually assigned DDC number: 006333

Number of references: 8

Title: Correct Modification of Complex Plans

Author:

Subject: Jana Koehler Correct Modification of Complex Plans

Description: . We present a general approach to flexible plan modification based on a deductive framework that enables a planner to correctly modify complex plans containing control structures like conditionals and iterations. 1 Introduction Work on plan reuse and modification is motivated by expected gains in flexibility and efficiency when planners are provided with the ability to modify and reuse plans. The need to modify existing plans occurs when execution fails, where a plan has to be revised in the light of new information, and when a plan specification is changed, i.e., a plan has to be adapted to new requirements. While there exist frameworks extending strips-based planners, e.g., the priar system [10] and the spa system [7], there are no approaches which study plan reuse and modification in the context of deductive planning [6, 14, 2, 15]. Following a logical approach, plan modification leads to modified plans which are provably correct. Furthermore, since plan modification is done dedu...

Contributor: The Pennsylvania State University CiteSeer Archives

Publisher: unknown

Date: 1997-01-13

Pubyear: 0

Format: ps

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

Source: http://www.dfki.de/iui/rap/Publications/jk-ecai94.ps.gz

Language: en

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Rights: unrestricted

Graph

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

<references_metadata>

      <rec   ID="/111174.html"   Type="techreport"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="{PHI}   -   {A}   Logic-Based   Tool   for   Intelligent   Help   Systems,">

            <identifier   Org="ISBN:044489540X"   Paper_ID="/111174.html"   Extracted="044489540X"   DDC="004.019"   Normalized_DDC="004019"   Normalized_Weight="0.25"   />

            <identifier   Org="ISBN:0792365658"   Paper_ID="/111174.html"   Extracted="0792365658"   />

            <identifier   Org="ISBN:0792366417"   Paper_ID="/111174.html"   Extracted="0792366417"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.25"   />

            <identifier   Org="ISBN:3211831517"   Paper_ID="/111174.html"   Extracted="3211831517"   />

            <identifier   Org="ISBN:3540620036"   Paper_ID="/111174.html"   Extracted="3540620036"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.25"   />

            <identifier   Org="ISBN:3765718726"   Paper_ID="/111174.html"   Extracted="3765718726"   />

            <identifier   Org="ISBN:9051991533"   Paper_ID="/111174.html"   Extracted="9051991533"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.25"   />

      </rec>

      <rec   ID="/93574.html"   Type="techreport"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="Deductive   Planning   and   Plan   Reuse   in   a   Command   Language   Environment,">

            <identifier   Org="ISBN:155860250X"   Paper_ID="/93574.html"   Extracted="155860250X"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.2"   />

            <identifier   Org="ISBN:1558608567"   Paper_ID="/93574.html"   Extracted="1558608567"   DDC="658.5"   Normalized_DDC="6585"   Normalized_Weight="0.2"   />

            <identifier   Org="ISBN:3540604286"   Paper_ID="/93574.html"   Extracted="3540604286"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.2"   />

            <identifier   Org="ISBN:3540672419"   Paper_ID="/93574.html"   Extracted="3540672419"   DDC="629.8/92"   Normalized_DDC="629892"   Normalized_Weight="0.2"   />

            <identifier   Org="ISBN:3765718726"   Paper_ID="/93574.html"   Extracted="3765718726"   />

            <identifier   Org="ISBN:9051991533"   Paper_ID="/93574.html"   Extracted="9051991533"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.2"   />

      </rec>

      <rec   ID="/25394.html"   Type="Book"   CiteSeer_Book="Implementing   Mathematics   with   the   Nuprl   Development   System"   CiteSeer_Volume=""   Title="Implementing   Mathematics   with   the   {N}uprl   Development   System,"   />

      <rec   ID="/102337.html"   Type="inproceedings"   CiteSeer_Book="KR94   Principles   of   Knowledge   Representation   and   Reasoning"   CiteSeer_Volume=""   Title="An   Application   of   Terminological   Logics   to   Case-Based   Reasoning,">

            <identifier   Org="ISBN:1558607153"   Paper_ID="/102337.html"   Extracted="1558607153"   />

            <identifier   Org="ISBN:3540617086"   Paper_ID="/102337.html"   Extracted="3540617086"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:3540619550"   Paper_ID="/102337.html"   Extracted="3540619550"   DDC="006.3/33"   Normalized_DDC="006333"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:3540645721"   Paper_ID="/102337.html"   Extracted="3540645721"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:3540649905"   Paper_ID="/102337.html"   Extracted="3540649905"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:3540662375"   Paper_ID="/102337.html"   Extracted="3540662375"   DDC="006.3/33"   Normalized_DDC="006333"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:3540664289"   Paper_ID="/102337.html"   Extracted="3540664289"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:3540672257"   Paper_ID="/102337.html"   Extracted="3540672257"   DDC="006.3/32"   Normalized_DDC="006332"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:9051991533"   Paper_ID="/102337.html"   Extracted="9051991533"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:9051994079"   Paper_ID="/102337.html"   Extracted="9051994079"   />

            <identifier   Org="ISBN:9051994532"   Paper_ID="/102337.html"   Extracted="9051994532"   />

      </rec>

      <rec   ID="/170103.html"   Type="inproceedings"   CiteSeer_Book="Artificial   Intelligence   Planning   Systems"   CiteSeer_Volume=""   Title="Avoiding   Pitfalls   in   Case-based   Planning,">

            <identifier   Org="ISBN:9051992378"   Paper_ID="/170103.html"   Extracted="9051992378"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="1.0"   />

      </rec>

      <rec   ID="/168345.html"   Type="inproceedings"   CiteSeer_Book="Current   Trends   in   AI   Planning   Proceedings   of   the   2nd   European   Workshop   on   Planning   EWSP93"   CiteSeer_Volume=""   Title="Flexible   Plan   Reuse   in   a   Formal   Framework,">

            <identifier   Org="ISBN:1558608567"   Paper_ID="/168345.html"   Extracted="1558608567"   DDC="658.5"   Normalized_DDC="6585"   Normalized_Weight="0.3333333333333333"   />

            <identifier   Org="ISBN:3540001689"   Paper_ID="/168345.html"   Extracted="3540001689"   DDC="629.8/92"   Normalized_DDC="629892"   Normalized_Weight="0.3333333333333333"   />

            <identifier   Org="ISBN:9051991533"   Paper_ID="/168345.html"   Extracted="9051991533"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.3333333333333333"   />

      </rec>

      <rec   ID="/33821.html"   Type="techreport"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="Plan   Modifications   versus   Plan   Generation:   {A}   Complexity-Theoretic   Perspective,"   />

      <rec   ID="/183834.html"   Type="techreport"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="Plan   Reuse   versus   Plan   Generation:   {A}   Theoretical   and   Empirical   Analysis,">

            <identifier   Org="ISBN:0262511126"   Paper_ID="/183834.html"   Extracted="0262511126"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.08333333333333333"   />

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

            <identifier   Org="ISBN:3540261729"   Paper_ID="/183834.html"   Extracted="3540261729"   DDC="005.115"   Normalized_DDC="005115"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:354028060X"   Paper_ID="/183834.html"   Extracted="354028060X"   DDC="004.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540290419"   Paper_ID="/183834.html"   Extracted="3540290419"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540401741"   Paper_ID="/183834.html"   Extracted="3540401741"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540441093"   Paper_ID="/183834.html"   Extracted="3540441093"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540617086"   Paper_ID="/183834.html"   Extracted="3540617086"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540632336"   Paper_ID="/183834.html"   Extracted="3540632336"   DDC="006.3/33"   Normalized_DDC="006333"   Normalized_Weight="0.08333333333333333"   />

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

            <identifier   Org="ISBN:3540768289"   Paper_ID="/183834.html"   Extracted="3540768289"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3728127809"   Paper_ID="/183834.html"   Extracted="3728127809"   />

            <identifier   Org="ISBN:9810228309"   Paper_ID="/183834.html"   Extracted="9810228309"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.08333333333333333"   />

      </rec>

      <rec   ID="SELF"   Type="SELF"   CiteSeer_Book="SELF"   CiteSeer_Volume="SELF"   Title="Correct   Modification   of   Complex   Plans">

            <identifier   Org="ISBN:3540667563"   Paper_ID="SELF"   Extracted="3540667563"   DDC="005.1/068"   Normalized_DDC="0051068"   Normalized_Weight="0.5"   />

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

      </rec>

</references_metadata>