Narratives in the Situation Calculus

A narrative is a course of real events about which we might have incomplete information. Formalisms for reasoning about action may be broadly divided into those which are narrative-based, such as the Event Calculus of Kowalski and Sergot, and those which reason on the level of hypothetical sequences of actions, in particular the Situation Calculus. This paper bridges the gap between these types of formalism by supplying a technique for linking incomplete narrative descriptions to Situation Calculus domain formulae written in the usual style using a Result function. Particular attention is given to actions with duration and overlapping actions. By illuminating the relationship between these two diierent styles of representation, the paper moves us one step closer to a full understanding of the space of all possible formalisms for reasoning about action.

[1]  Ernest Davis,et al.  Representations of commonsense knowledge , 2014, notThenot Morgan Kaufmann series in representation and reasoning.

[2]  Andrew B. Baker,et al.  Nonmonotonic Reasoning in the Framework of Situation Calculus , 1991, Artif. Intell..

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

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

[5]  Murray Shanahan,et al.  Explanation in the Situation Calculus , 1993, IJCAI.

[6]  Murray Shanahan,et al.  Representing Continuous Change in the Event Calculus , 1990, ECAI.

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

[8]  Jonathan Amsterdam.  Temporal Reasoning and Narrative Conventions , 1991, KR.

[9]  Raymond Reiter,et al.  Temporal Reasoning in Logic Programming: A Case for the Situation Calculus , 1993, ICLP.

[10]  James F. Allen.  Towards a General Theory of Action and Time , 1984, Artif. Intell..

[11]  John McCarthy,et al.  Overcoming Unexpected Obstacles , 1994 .

[12]  Sarit Kraus,et al.  Nonmonotonicity and the Scope of Reasoning , 1991, Artif. Intell..

[13]  Henry A. Kautz.  The Logic of Persistence , 1986, AAAI.

[14]  James M. Crawford,et al.  Formalising Reasoning about Change: A Qualitative Reasoning Approach , 1992, AAAI.

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

[16]  Murray Shanahan,et al.  A Circumscriptive Calculus of Events , 1995, Artif. Intell..

[17]  Vladimir Lifschitz,et al.  Computing Circumscription , 1985, IJCAI.

[18]  V. Lifschitz.  Formal theories of action , 1987 .

[19]  Henry E. Kyburg,et al.  Knowledge Representation and Defeasible Reasoning , 1990 .