Reasoning about actions: Non-deterministic effects, Constraints, and Qualification

In this paper we propose the language of 'state specifications' to uniformly specify effect of actions, executability condition of actions, and dynamic and static constraints. This language allow? us to be able to express effects of action and constraints with same first order representation but different intuitive behavior to be specified differently. We then discuss how we can use state specifications to extend the action description languages A and Lo.

[1]  J. Davenport.  Editor , 1960 .

[2]  JOHN F. Young.  Machine Intelligence , 1971, Nature.

[3]  Nils J. Nilsson,et al.  Artificial Intelligence , 1974, IFIP Congress.

[4]  John McCarthy,et al.  SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTI CIAL INTELLIGENCE , 1987 .

[5]  Editors , 1986, Brain Research Bulletin.

[6]  Drew McDermott,et al.  Nonmonotonic Logic and Temporal Projection , 1987, Artif. Intell..

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

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

[9]  Michael Gelfond,et al.  Representing Actions in Extended Logic Programming , 1992, JICSLP.

[10]  Fangzhen Lin,et al.  Concurrent Actions in the Situation Calculus , 1992, AAAI.

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

[12]  Chitta Baral,et al.  Representing Concurrent Actions in Extended Logic Programming , 1993, IJCAI.

[13]  Vladimir Lifschitz,et al.  Actions with Indirect Effects (Preliminary Report) , 1994, KR.

[14]  James A. Hendler,et al.  Readings in Planning , 1994 .

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

[16]  R. Reiter,et al.  Temporal reasoning in the situation calculus , 1994 .

[17]  V. Marek.  Revision Speciications by Means of Programs , 1994 .

[18]  Vladimir Lifschitz,et al.  From Disjunctive Programs to Abduction , 1994, NMELP.

[19]  Victor W. Marek,et al.  Revision Specifications by Means of Programs , 1994, JELIA.

[20]  Fangzhen Lin,et al.  State Constraints Revisited , 1994, J. Log. Comput..

[21]  Chitta Baral,et al.  Rule Based Updates on Simple Knowledge Bases , 1994, AAAI.

[22]  Hudson Turner,et al.  A Causal Theory of Ramifications and Qualifications , 1995, IJCAI.

[23]  Victor W. Marek,et al.  Revision Programming, Database Updates and Integrity Constraints , 1995, ICDT.

[24]  Chitta Baral,et al.  Representing Actions: Laws, Observations and Hypotheses , 1997, J. Log. Program..

[25]  Chitta Baral,et al.  Reasoning About Effects of Concurrent Actions , 1997, J. Log. Program..