The PMA and relativizing change for action update

Using intuitions from the temporal reasoning community, we provide a generalization of the PMA, called the modified PMA (MPMA), which permits the representation of disjunctive updates and the use of integrity constraints interpreted as causal constraints. In addition, we provide a number of syntactic characterizations of the MPMA, one of which is constructed by mapping an MPMA update of a knowledge base into a temporal narrative in a simple temporal logic (STL). The resulting representation theorem provides a basis for computing entailments of the MPMA and could serve as a basis for further generalization of the belief update approach for reasoning about action and change.

[1]  Marie-Odile Cordier,et al.  A temporal revision model for reasoning about world change , 1994, Int. J. Intell. Syst..

[2]  Marianne Winslett,et al.  Updating logical databases , 1990, Cambridge tracts in theoretical computer science.

[3]  Fangzhen Lin.  Embracing causality in specifying the effects of indeterminate actions , 1996, AAAI 1996.

[4]  Luis Fariñas del Cerro,et al.  A Conditional Logic for Updating in the Possible Models Approach , 1994, KI.

[5]  Patrick Doherty,et al.  Reasoning about Action and Change Using Occlusion , 1994, ECAI.

[6]  Patrick Doherty,et al.  Embracing Occlusion in Specifying the Indirect Effects of Actions , 1996, KR.

[7]  Michael Thielscher,et al.  Ramiication and Causality , 1996 .

[8]  Gösta Grahne,et al.  Updates and Counterfactuals , 1998, J. Log. Comput..

[9]  Michael Thielscher,et al.  Ramification and Causality , 1997, Artif. Intell..

[10]  Vladimir Lifschitz,et al.  Frames in the Space of Situations , 1990, Artif. Intell..

[11]  H. Turner,et al.  A Causal Theory of Ramifications and Qualifications (Extended Abstract) , 1995 .

[12]  Erik Sandewall,et al.  Assessments of Ramification Methods that Use Static Domain Constraints , 1996, International Conference on Principles of Knowledge Representation and Reasoning.

[13]  Luis Fariñas del Cerro,et al.  All Other Things Being Equal: On a Notion of Inertia in Conditional Logic , 1997 .

[14]  Andreas Herzig,et al.  The PMA Revisited , 1996, KR.

[15]  Joachim Hertzberg,et al.  How to do Things with Worlds: On Formalizing Actions and Plans , 1993, J. Log. Comput..

[16]  Erik Sandewall.  Features and fluents : representation of knowledge about dynamical systems , 1994 .

[17]  Fangzhen Lin,et al.  Embracing Causality in Specifying the Indirect Effects of Actions , 1995, IJCAI.

[18]  Patrick Doherty,et al.  Cicumscribing Features and Fluents , 1994, ICTL.

[19]  V. Lifschitz,et al.  Actions with Indirect Eeects (preliminary Report) , 1994 .

[20]  Pavlos Peppas,et al.  On the Use of Epistemic Entrenchment in Reasoning about Action , 1992, ECAI.

[21]  Marianne Winslett,et al.  Reasoning about Action Using a Possible Models Approach , 1988, AAAI.

[22]  Yoav Shoham,et al.  Deriving properties of belief update from theories of action , 1992, IJCAI.

[23]  Anand S. Rao,et al.  Minimal Change and Maximal Coherence: A Basis for Belief Revision and Reasoning about Actions , 1989, IJCAI.

[24]  Hirofumi Katsuno,et al.  On the Difference between Updating a Knowledge Base and Revising It , 1991, KR.

[25]  Andreas Herzig,et al.  An automated modal logic for elementary changes , 1988 .

[26]  Patrick Doherty,et al.  Circumscribing Features and Fluents: A Fluent Logic for Reasoning about Action and Change , 1994, ISMIS.