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>