Automatically assigned DDC number: 006333

Manually assigned DDC number: 006333

Number of references: 4

Title: Satisfiability Planning with Causal Theories

Author:

Author:

Subject: Norman Mccain,Hudson Turner Satisfiability Planning with Causal Theories

Description: In [McCain and Turner, 1997] , a nonmonotonic formalism---called the language of causal theories---is defined, together with a general method of formalizing action domains. In the current paper, we describe an implemented approach to query evaluation and planning with respect to action domains formalized as causal theories. The approach is based on satisfiability checking of a translation of the causal theory to classical propositional logic. In applying satisfiability to planning, we follow Kautz and Selman [1992,1996]. Our proposal is noteworthy because it is based on action formalizations that can represent indirect effects of actions (ramifications), implied action preconditions (qualifications), concurrent actions, and other features of action domains (cf. [McCain and Turner, 1997] ). Because the language of causal theories is more expressive than traditional planning languages, we must consider the preliminary question of what makes a sequence of actions

Contributor: The Pennsylvania State University CiteSeer Archives

Publisher: unknown

Date: 1998-12-10

Pubyear: 1997

Format: ps

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

Source: http://www.d.umn.edu/~hudson/sat6.ps

Language: en

Relation:

Relation:

Relation:

Relation:

Rights: unrestricted

Graph

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

<references_metadata>

      <rec   ID="/28234.html"   Type="inproceedings"   CiteSeer_Book="Proceedings   of   the   Tenth   European   Conference   on   Artificial   Intelligence   ECAI92"   CiteSeer_Volume=""   Title="Planning   as   Satisfiability,">

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

            <identifier   Org="ISBN:0521862051"   Paper_ID="/28234.html"   Extracted="0521862051"   DDC="629.8/932"   Normalized_DDC="6298932"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:0792372247"   Paper_ID="/28234.html"   Extracted="0792372247"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:1558604804"   Paper_ID="/28234.html"   Extracted="1558604804"   />

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

            <identifier   Org="ISBN:1586036424"   Paper_ID="/28234.html"   Extracted="1586036424"   />

            <identifier   Org="ISBN:1586038737"   Paper_ID="/28234.html"   Extracted="1586038737"   DDC="610.285"   Normalized_DDC="610285"   Normalized_Weight="0.06666666666666667"   />

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

            <identifier   Org="ISBN:354020119X"   Paper_ID="/28234.html"   Extracted="354020119X"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540232427"   Paper_ID="/28234.html"   Extracted="3540232427"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:354023957X"   Paper_ID="/28234.html"   Extracted="354023957X"   DDC="629.892"   Normalized_DDC="629892"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540250514"   Paper_ID="/28234.html"   Extracted="3540250514"   DDC="511.3/6/028563"   Normalized_DDC="51136028563"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540273263"   Paper_ID="/28234.html"   Extracted="3540273263"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540439293"   Paper_ID="/28234.html"   Extracted="3540439293"   DDC="006.3/33"   Normalized_DDC="006333"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:354064993X"   Paper_ID="/28234.html"   Extracted="354064993X"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.06666666666666667"   />

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

            <identifier   Org="ISBN:3540747818"   Paper_ID="/28234.html"   Extracted="3540747818"   />

            <identifier   Org="ISBN:3540754075"   Paper_ID="/28234.html"   Extracted="3540754075"   DDC="003/.54"   Normalized_DDC="00354"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540769269"   Paper_ID="/28234.html"   Extracted="3540769269"   />

      </rec>

      <rec   ID="/2111.html"   Type="inproceedings"   CiteSeer_Book="Proceedings   of   the   Thirteenth   National   Conference   on   Artificial   Intelligence   and   the   Eighth   Innovative   Applications   of   Artificial   Intelligence   Conference"   CiteSeer_Volume=""   Title="Pushing   the   Envelope:   Planning,   Propositional   Logic,   and   Stochastic   Search,">

            <identifier   Org="ISBN:026251091X"   Paper_ID="/2111.html"   Extracted="026251091X"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:1558604804"   Paper_ID="/2111.html"   Extracted="1558604804"   />

            <identifier   Org="ISBN:1586030132"   Paper_ID="/2111.html"   Extracted="1586030132"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:1586030612"   Paper_ID="/2111.html"   Extracted="1586030612"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:1586034529"   Paper_ID="/2111.html"   Extracted="1586034529"   />

            <identifier   Org="ISBN:1586034561"   Paper_ID="/2111.html"   Extracted="1586034561"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540202021"   Paper_ID="/2111.html"   Extracted="3540202021"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:354027829X"   Paper_ID="/2111.html"   Extracted="354027829X"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540411313"   Paper_ID="/2111.html"   Extracted="3540411313"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540425543"   Paper_ID="/2111.html"   Extracted="3540425543"   DDC="005.1/01/5113"   Normalized_DDC="0051015113"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540428984"   Paper_ID="/2111.html"   Extracted="3540428984"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540439293"   Paper_ID="/2111.html"   Extracted="3540439293"   DDC="006.3/33"   Normalized_DDC="006333"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540657037"   Paper_ID="/2111.html"   Extracted="3540657037"   DDC="004.2/1"   Normalized_DDC="00421"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540664920"   Paper_ID="/2111.html"   Extracted="3540664920"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540667490"   Paper_ID="/2111.html"   Extracted="3540667490"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540677976"   Paper_ID="/2111.html"   Extracted="3540677976"   DDC="004/.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.058823529411764705"   />

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

            <identifier   Org="ISBN:3540727876"   Paper_ID="/2111.html"   Extracted="3540727876"   />

            <identifier   Org="ISBN:3540741275"   Paper_ID="/2111.html"   Extracted="3540741275"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540754075"   Paper_ID="/2111.html"   Extracted="3540754075"   DDC="003/.54"   Normalized_DDC="00354"   Normalized_Weight="0.058823529411764705"   />

      </rec>

      <rec   ID="/88383.html"   Type="inproceedings"   CiteSeer_Book="Proceedings   of   the   Fourteenth   International   Joint   Conference   on   Artificial   Intelligence"   CiteSeer_Volume=""   Title="Embracing   Causality   in   Specifying   the   Indirect   Effects   of   Actions,">

            <identifier   Org="ISBN:0262510952"   Paper_ID="/88383.html"   Extracted="0262510952"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:0849314909"   Paper_ID="/88383.html"   Extracted="0849314909"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:1558604804"   Paper_ID="/88383.html"   Extracted="1558604804"   />

            <identifier   Org="ISBN:157735236X"   Paper_ID="/88383.html"   Extracted="157735236X"   />

            <identifier   Org="ISBN:1586030132"   Paper_ID="/88383.html"   Extracted="1586030132"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:1586034529"   Paper_ID="/88383.html"   Extracted="1586034529"   />

            <identifier   Org="ISBN:3540201017"   Paper_ID="/88383.html"   Extracted="3540201017"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540222189"   Paper_ID="/88383.html"   Extracted="3540222189"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540228179"   Paper_ID="/88383.html"   Extracted="3540228179"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540426019"   Paper_ID="/88383.html"   Extracted="3540426019"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540440380"   Paper_ID="/88383.html"   Extracted="3540440380"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540628436"   Paper_ID="/88383.html"   Extracted="3540628436"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540635866"   Paper_ID="/88383.html"   Extracted="3540635866"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:354065965X"   Paper_ID="/88383.html"   Extracted="354065965X"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540667490"   Paper_ID="/88383.html"   Extracted="3540667490"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540668225"   Paper_ID="/88383.html"   Extracted="3540668225"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540674551"   Paper_ID="/88383.html"   Extracted="3540674551"   DDC="004.2/1"   Normalized_DDC="00421"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540745645"   Paper_ID="/88383.html"   Extracted="3540745645"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:9812381791"   Paper_ID="/88383.html"   Extracted="9812381791"   DDC="160"   Normalized_DDC="16"   Normalized_Weight="0.0625"   />

      </rec>

      <rec   ID="/184743.html"   Type="inproceedings"   CiteSeer_Book="Proceedings   of   the   Thirteenth   National   Conference   on   Artificial   Intelligence   and   the   Eighth   Innovative   Applications   of   Artificial   Intelligence   Conference"   CiteSeer_Volume=""   Title="Causal   Theories   of   Action   and   Change,">

            <identifier   Org="ISBN:0262510952"   Paper_ID="/184743.html"   Extracted="0262510952"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.06666666666666667"   />

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

            <identifier   Org="ISBN:0262541041"   Paper_ID="/184743.html"   Extracted="0262541041"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:0792372247"   Paper_ID="/184743.html"   Extracted="0792372247"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:0849314909"   Paper_ID="/184743.html"   Extracted="0849314909"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:1558604804"   Paper_ID="/184743.html"   Extracted="1558604804"   />

            <identifier   Org="ISBN:354020721X"   Paper_ID="/184743.html"   Extracted="354020721X"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540220046"   Paper_ID="/184743.html"   Extracted="3540220046"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540226710"   Paper_ID="/184743.html"   Extracted="3540226710"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540232427"   Paper_ID="/184743.html"   Extracted="3540232427"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540285385"   Paper_ID="/184743.html"   Extracted="3540285385"   DDC="005.1/5"   Normalized_DDC="00515"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540417680"   Paper_ID="/184743.html"   Extracted="3540417680"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540440380"   Paper_ID="/184743.html"   Extracted="3540440380"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540441905"   Paper_ID="/184743.html"   Extracted="3540441905"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540659595"   Paper_ID="/184743.html"   Extracted="3540659595"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:9812381791"   Paper_ID="/184743.html"   Extracted="9812381791"   DDC="160"   Normalized_DDC="16"   Normalized_Weight="0.06666666666666667"   />

      </rec>

      <rec   ID="SELF"   Type="SELF"   CiteSeer_Book="SELF"   CiteSeer_Volume="SELF"   Title="Satisfiability   Planning   with   Causal   Theories">

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

            <identifier   Org="ISBN:0444514937"   Paper_ID="SELF"   Extracted="0444514937"   DDC="005.75"   Normalized_DDC="00575"   Normalized_Weight="0.07692307692307693"   />

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

            <identifier   Org="ISBN:0791408744"   Paper_ID="SELF"   Extracted="0791408744"   DDC="375/.0083"   Normalized_DDC="3750083"   Normalized_Weight="0.07692307692307693"   />

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

            <identifier   Org="ISBN:1402030681"   Paper_ID="SELF"   Extracted="1402030681"   DDC="629.8/9251"   Normalized_DDC="62989251"   Normalized_Weight="0.07692307692307693"   />

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

            <identifier   Org="ISBN:3540425934"   Paper_ID="SELF"   Extracted="3540425934"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.07692307692307693"   />

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

            <identifier   Org="ISBN:3540439609"   Paper_ID="SELF"   Extracted="3540439609"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.07692307692307693"   />

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

            <identifier   Org="ISBN:3540654631"   Paper_ID="SELF"   Extracted="3540654631"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540667490"   Paper_ID="SELF"   Extracted="3540667490"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540677976"   Paper_ID="SELF"   Extracted="3540677976"   DDC="004/.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.07692307692307693"   />

      </rec>

</references_metadata>

www.000webhost.com