Automatically assigned DDC number: 00633
Manually assigned DDC number: 00633
Number of references: 8
Title: A Logic Based Framework for Action Theories
Author:
Subject: Camilla Schwind A Logic Based Framework for Action Theories
Description: this paper, we present a logic based framework for the representation of actions. Actions can change the meaning of properties of existing constants and their relationships. For instance "take" changes the properties of "on" and "hold": if somebody takes an object lying on a table then he/she will be holding this object after performing the action and the object will no longer be on the table. If somebody builds a wall, then the properties of bricks and cement will change. In logic oriented approaches, actions are frequently described by their preconditions and their results. The preconditions are represented by a formula which has to be true before the execution of the action and the results are represented by a formula which will be true after the action has been performed. In addition, the general laws of the world are described by formulas which have always to be true. An action occurs in a state of the world, which is also described by a formula, and yields a new state of the world which is obtained from the old state. Logic based action theories encounter typically the following problems:
Contributor: The Pennsylvania State University CiteSeer Archives
Publisher: unknown
Date: 1998-02-02
Pubyear: 1996
Format: ps
Identifier: http://citeseer.ist.psu.edu/169465.html
Source: http://www.lim.univ-mrs.fr/Lim/Logique/ROK/Tbilisi.ps
Language: en
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Rights: unrestricted
<?xml version="1.0" encoding="UTF-8"?>
<references_metadata>
<rec ID="/181806.html" Type="article" CiteSeer_Book="Journal of Logic Programming" CiteSeer_Volume="17" Title="Representing Action and Change by Logic Programs,">
<identifier Org="ISBN:0262631733" Paper_ID="/181806.html" Extracted="0262631733" DDC="005.131" Normalized_DDC="005131" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:1558604804" Paper_ID="/181806.html" Extracted="1558604804" />
<identifier Org="ISBN:1586030132" Paper_ID="/181806.html" Extracted="1586030132" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540201017" Paper_ID="/181806.html" Extracted="3540201017" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:354020721X" Paper_ID="/181806.html" Extracted="354020721X" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540240594" Paper_ID="/181806.html" Extracted="3540240594" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540281770" Paper_ID="/181806.html" Extracted="3540281770" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540286535" Paper_ID="/181806.html" Extracted="3540286535" />
<identifier Org="ISBN:3540411313" Paper_ID="/181806.html" Extracted="3540411313" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540439609" Paper_ID="/181806.html" Extracted="3540439609" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540440380" Paper_ID="/181806.html" Extracted="3540440380" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540584676" Paper_ID="/181806.html" Extracted="3540584676" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540594671" Paper_ID="/181806.html" Extracted="3540594671" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540628436" Paper_ID="/181806.html" Extracted="3540628436" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540649581" Paper_ID="/181806.html" Extracted="3540649581" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540653058" Paper_ID="/181806.html" Extracted="3540653058" DDC="005.75/7" Normalized_DDC="005757" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540663290" Paper_ID="/181806.html" Extracted="3540663290" DDC="004/.01/5114" Normalized_DDC="004015114" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540674551" Paper_ID="/181806.html" Extracted="3540674551" DDC="004.2/1" Normalized_DDC="00421" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540721991" Paper_ID="/181806.html" Extracted="3540721991" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.058823529411764705" />
</rec>
<rec ID="/217255.html" Type="inproceedings" CiteSeer_Book="Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence" CiteSeer_Volume="" Title="Soundness and Completeness Theorems for Three Formalizations of Action,">
<identifier Org="ISBN:0198538456" Paper_ID="/217255.html" Extracted="0198538456" DDC="006.3/3" Normalized_DDC="00633" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:0262193841" Paper_ID="/217255.html" Extracted="0262193841" DDC="006.33" Normalized_DDC="00633" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:0262510715" Paper_ID="/217255.html" Extracted="0262510715" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:0262611023" Paper_ID="/217255.html" Extracted="0262611023" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:0444514937" Paper_ID="/217255.html" Extracted="0444514937" DDC="005.75" Normalized_DDC="00575" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:0792347161" Paper_ID="/217255.html" Extracted="0792347161" />
<identifier Org="ISBN:0792355350" Paper_ID="/217255.html" Extracted="0792355350" DDC="006.3/3" Normalized_DDC="00633" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:3540439609" Paper_ID="/217255.html" Extracted="3540439609" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:3540604367" Paper_ID="/217255.html" Extracted="3540604367" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:3540635866" Paper_ID="/217255.html" Extracted="3540635866" DDC="006.3/3" Normalized_DDC="00633" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:354064413X" Paper_ID="/217255.html" Extracted="354064413X" DDC="003/.54" Normalized_DDC="00354" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:3540649581" Paper_ID="/217255.html" Extracted="3540649581" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:354089196X" Paper_ID="/217255.html" Extracted="354089196X" />
</rec>
<rec ID="/417296.html" Type="incollection" CiteSeer_Book="KR91 Principles of Knowledge Representation and Reasoning" CiteSeer_Volume="" Title="On the Difference Between Updating a Knowledge Base and Revising It,">
<identifier Org="ISBN:0521545641" Paper_ID="/417296.html" Extracted="0521545641" DDC="006.33" Normalized_DDC="00633" Normalized_Weight="0.0625" />
<identifier Org="ISBN:0897915933" Paper_ID="/417296.html" Extracted="0897915933" DDC="005.74" Normalized_DDC="00574" Normalized_Weight="0.0625" />
<identifier Org="ISBN:1558604804" Paper_ID="/417296.html" Extracted="1558604804" />
<identifier Org="ISBN:1586030132" Paper_ID="/417296.html" Extracted="1586030132" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.0625" />
<identifier Org="ISBN:2874630772" Paper_ID="/417296.html" Extracted="2874630772" />
<identifier Org="ISBN:3540221174" Paper_ID="/417296.html" Extracted="3540221174" DDC="004" Normalized_DDC="004" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540298967" Paper_ID="/417296.html" Extracted="3540298967" />
<identifier Org="ISBN:3540404945" Paper_ID="/417296.html" Extracted="3540404945" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540408037" Paper_ID="/417296.html" Extracted="3540408037" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540422196" Paper_ID="/417296.html" Extracted="3540422196" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540432205" Paper_ID="/417296.html" Extracted="3540432205" DDC="006.3/3" Normalized_DDC="00633" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540584676" Paper_ID="/417296.html" Extracted="3540584676" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540601120" Paper_ID="/417296.html" Extracted="3540601120" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540603034" Paper_ID="/417296.html" Extracted="3540603034" DDC="005.74" Normalized_DDC="00574" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540630953" Paper_ID="/417296.html" Extracted="3540630953" DDC="006.3/33" Normalized_DDC="006333" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540668225" Paper_ID="/417296.html" Extracted="3540668225" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540878025" Paper_ID="/417296.html" Extracted="3540878025" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.0625" />
<identifier Org="ISBN:427490525X" Paper_ID="/417296.html" Extracted="427490525X" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.0625" />
<identifier Org="ISBN:9810228309" Paper_ID="/417296.html" Extracted="9810228309" DDC="006.3/3" Normalized_DDC="00633" Normalized_Weight="0.0625" />
</rec>
<rec ID="/111585.html" Type="incollection" CiteSeer_Book="KR91 Principles of Knowledge Representation and Reasoning" CiteSeer_Volume="" Title="Towards a Metatheory of Action,">
<identifier Org="ISBN:0198537476" Paper_ID="/111585.html" Extracted="0198537476" DDC="006.3/3" Normalized_DDC="00633" Normalized_Weight="0.14285714285714285" />
<identifier Org="ISBN:3540434720" Paper_ID="/111585.html" Extracted="3540434720" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.14285714285714285" />
<identifier Org="ISBN:3540440380" Paper_ID="/111585.html" Extracted="3540440380" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.14285714285714285" />
<identifier Org="ISBN:354061057X" Paper_ID="/111585.html" Extracted="354061057X" DDC="005.74" Normalized_DDC="00574" Normalized_Weight="0.14285714285714285" />
<identifier Org="ISBN:3540617086" Paper_ID="/111585.html" Extracted="3540617086" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.14285714285714285" />
<identifier Org="ISBN:3540674551" Paper_ID="/111585.html" Extracted="3540674551" DDC="004.2/1" Normalized_DDC="00421" Normalized_Weight="0.14285714285714285" />
<identifier Org="ISBN:9051994753" Paper_ID="/111585.html" Extracted="9051994753" DDC="621.36/7" Normalized_DDC="621367" Normalized_Weight="0.14285714285714285" />
</rec>
<rec ID="/117924.html" Type="article" CiteSeer_Book="Journal of Logic and Computation" CiteSeer_Volume="4" Title="State Constraints Revisited,">
<identifier Org="ISBN:0262510952" Paper_ID="/117924.html" Extracted="0262510952" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:0262511126" Paper_ID="/117924.html" Extracted="0262511126" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:1558604804" Paper_ID="/117924.html" Extracted="1558604804" />
<identifier Org="ISBN:157735236X" Paper_ID="/117924.html" Extracted="157735236X" />
<identifier Org="ISBN:1586030132" Paper_ID="/117924.html" Extracted="1586030132" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540221115" Paper_ID="/117924.html" Extracted="3540221115" DDC="004.015113" Normalized_DDC="004015113" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540424229" Paper_ID="/117924.html" Extracted="3540424229" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540426124" Paper_ID="/117924.html" Extracted="3540426124" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540429603" Paper_ID="/117924.html" Extracted="3540429603" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540435425" Paper_ID="/117924.html" Extracted="3540435425" />
<identifier Org="ISBN:3540604375" Paper_ID="/117924.html" Extracted="3540604375" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:354061057X" Paper_ID="/117924.html" Extracted="354061057X" DDC="005.74" Normalized_DDC="00574" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540618147" Paper_ID="/117924.html" Extracted="3540618147" DDC="005.74/01/5113" Normalized_DDC="00574015113" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540653058" Paper_ID="/117924.html" Extracted="3540653058" DDC="005.75/7" Normalized_DDC="005757" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540660127" Paper_ID="/117924.html" Extracted="3540660127" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540664955" Paper_ID="/117924.html" Extracted="3540664955" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:354067201X" Paper_ID="/117924.html" Extracted="354067201X" DDC="005.75" Normalized_DDC="00575" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540674551" Paper_ID="/117924.html" Extracted="3540674551" DDC="004.2/1" Normalized_DDC="00421" Normalized_Weight="0.06666666666666667" />
</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="/351230.html" Type="incollection" CiteSeer_Book="Formalizing Common Sense Papers by John McCarthy" CiteSeer_Volume="" Title="Applications of Circumscription to Formalizing Common Sense Knowledge,">
<identifier Org="ISBN:0198537476" Paper_ID="/351230.html" Extracted="0198537476" DDC="006.3/3" Normalized_DDC="00633" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:0262521687" Paper_ID="/351230.html" Extracted="0262521687" DDC="003/.54" Normalized_DDC="00354" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:0792351614" Paper_ID="/351230.html" Extracted="0792351614" />
<identifier Org="ISBN:0824722809" Paper_ID="/351230.html" Extracted="0824722809" />
<identifier Org="ISBN:0893915351" Paper_ID="/351230.html" Extracted="0893915351" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:3540403809" Paper_ID="/351230.html" Extracted="3540403809" DDC="003/.3" Normalized_DDC="0033" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:3540408010" Paper_ID="/351230.html" Extracted="3540408010" DDC="005.1/01/5113" Normalized_DDC="0051015113" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:3540411313" Paper_ID="/351230.html" Extracted="3540411313" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:3540432205" Paper_ID="/351230.html" Extracted="3540432205" DDC="006.3/3" Normalized_DDC="00633" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:3540528504" Paper_ID="/351230.html" Extracted="3540528504" DDC="006.3/3" Normalized_DDC="00633" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:3540545638" Paper_ID="/351230.html" Extracted="3540545638" DDC="006.3/3" Normalized_DDC="00633" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:3540584676" Paper_ID="/351230.html" Extracted="3540584676" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:354064993X" Paper_ID="/351230.html" Extracted="354064993X" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:3540674551" Paper_ID="/351230.html" Extracted="3540674551" DDC="004.2/1" Normalized_DDC="00421" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:9051838883" Paper_ID="/351230.html" Extracted="9051838883" />
</rec>
<rec ID="/73138.html" Type="article" CiteSeer_Book="Fundamenta Informaticae" CiteSeer_Volume="21" Title="A Modal Logic for Hypothesis Theory," />
<rec ID="SELF" Type="SELF" CiteSeer_Book="SELF" CiteSeer_Volume="SELF" Title="A Logic Based Framework for Action Theories">
<identifier Org="ISBN:0387276947" Paper_ID="SELF" Extracted="0387276947" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.2" />
<identifier Org="ISBN:1586030132" Paper_ID="SELF" Extracted="1586030132" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.2" />
<identifier Org="ISBN:3540278281" Paper_ID="SELF" Extracted="3540278281" DDC="025.04" Normalized_DDC="02504" Normalized_Weight="0.2" />
<identifier Org="ISBN:3540426728" Paper_ID="SELF" Extracted="3540426728" DDC="004.36" Normalized_DDC="00436" Normalized_Weight="0.2" />
<identifier Org="ISBN:3540628436" Paper_ID="SELF" Extracted="3540628436" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.2" />
</rec>
</references_metadata>