Two Aspects of Automating Logics of Action and Change : Regression and Tractability

The autonomy of an artificial agent (e.g. a robot) will certainly depend on its ability to perform "intelligent" tasks, such as learning, planning, and reasoning about its own actions and their eff ...

[1]  Edsger W. Dijkstra,et al.  A Discipline of Programming , 1976 .

[2]  Lars Karlsson,et al.  Reasoning with Incomplete Initial Information and Nondeterminism in Situation Calculus , 1997, IJCAI.

[3]  Edsger W. Dijkstra,et al.  Predicate Calculus and Program Semantics , 1989, Texts and Monographs in Computer Science.

[4]  John McCarthy,et al.  Programs with common sense , 1960 .

[5]  Thomas A. Henzinger,et al.  A really temporal logic , 1994, JACM.

[6]  Richard Waldinger,et al.  Achieving several goals simultaneously , 1977 .

[7]  Manolis Koubarakis,et al.  Tractable Disjunctions of Linear Constraints , 1996, CP.

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

[9]  Samuel T. Waters,et al.  American Association for Artificial Intelligence (AAAI) , 1988 .

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

[11]  Raymond Reiter,et al.  The Frame Problem in the Situation Calculus: A Simple Solution (Sometimes) and a Completeness Result for Goal Regression , 1991, Artificial and Mathematical Theory of Computation.

[12]  Malik Ghallab,et al.  Representation and Control in IxTeT, a Temporal Planner , 1994, AIPS.

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

[14]  Lars Karlsson,et al.  Reasoning by Regression: Pre- and Postdiction Procedures for Logics of Action and Change , 1997, IJCAI.

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

[16]  C. Mellish.  IJCAI-95 : proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, Montréal, Québec, Canada, August 20-25, 1995 , 1995 .

[17]  Edwin P. D. Pednault,et al.  ADL: Exploring the Middle Ground Between STRIPS and the Situation Calculus , 1989, KR.

[18]  Marcus Bjäreland,et al.  Reasoning about Action in Polynomial Time , 1997, IJCAI.

[19]  Michael Gelfond,et al.  What are the Limitations of the Situation Calculus? , 1991, Automated Reasoning: Essays in Honor of Woody Bledsoe.

[20]  Michael Thielscher.  The Logic of Dynamic Systems , 1995, IJCAI.

[21]  Jon Doyle,et al.  Principles of knowledge representation and reasoning : proceedings of the fifth international conference (KR'96), Cambridge, Massachusetts, November 5-8, 1996 , 1996 .

[22]  Witold Lukaszewicz,et al.  Reasoning about Action and Change Using Dijkstra's Semantics for Programming Languages: Preliminary Report , 1995, IJCAI.

[23]  Chitta Baral,et al.  Reasoning about actions: Non-deterministic effects, Constraints, and Qualification , 1995, IJCAI.

[24]  Yoav Shoham,et al.  Nonmonotonic Temporal Reasoning , 1992 .

[25]  Peter Jonsson,et al.  Eight Maximal Tractable Subclasses of Allen's Algebra with Metric Time , 1997, J. Artif. Intell. Res..

[26]  Christer Bäckström,et al.  A Linear-Programming Approach to Temporal Reasoning , 1996, AAAI/IAAI, Vol. 2.

[27]  Peter Jonsson,et al.  Maximal Tractable Subclasses of Allen's Interval Algebra: Preliminary Report , 1996, AAAI/IAAI, Vol. 1.

[28]  Georg Gottlob.  Complexity and Expressive Power of KR Formalisms (Invited Talk Abstract) , 1996, KR.

[29]  Fangzhen Lin,et al.  How to Progress a Database , 1997, Artif. Intell..

[30]  Drew McDermott,et al.  A critique of pure reason 1 , 1987, The Philosophy of Artificial Intelligence.