Abstract
The paper addresses the qualification problem in the context of narratives where actions with duration, causal chains of actions and concurrent actions occur. In order to represent these scenarios, we define an action description language AL 1 which enables to represent different types of system constraints and guarantees correct interactions between actions in simple cases of concurrency. A simple linear discrete model of time is assumed. Two preferential methods of reasoning are proposed which amount to global and chronological maximization of executable actions, respectively. We provide a translation from AL 1 into circumscription and show that this translation is sound and complete relative to the semantics of AL 1.
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
C. Baral, M. Gelfond: Representing Concurrent Actions in Extended Logic Programming, in Proc IJCAI-93, Chambery, 1993, pp. 866–871.
M. Gelfond, V. Lifschitz: Representing Action and Change by Logic Programs, in The Journal of Logic Programming, (17), 1993, pp. 301–322.
A. Kakas, R. Miller: A Simple Declarative Language for Describing Narratives with Actions, Imperial College Research Report No DoC95/12, 1995; also in Journal of Logic Programming (Special Issue on Reasoning about Action and Change).
V. Lifschitz: Pointwise Circumscription, in M. Ginsberg, editor, Readings in Nonmonotonic Reasoning, pp. 179–193, Morgan Kaufmann, 1988.
F. Lin, R. Reiter: State constraints revisited, in Journal of Logic and Computation (Special Issue on Actions and Processes), 4(5), 1994, pp. 655–678.
R. Miller, M. Shanahan: Narratives in the Situation Calculus, in Journal of Logic and Computation, Special Issue on Actions and Processes, vol. 4, No 5, 1995.
A. Radzikowska: Reasoning about Action with Typical and Atypical Effects, in Proc. of 19th KI-95, Bielefeld, 1995, pp. 197–209.
A. Radzikowska: Formalization of Reasoning about Default Action (Preliminary Report), in Proc. of FAPR-96, Bonn, 1996, pp. 540–554.
R. Reiter: Natural Actions, Concurrency and Continuous Time in the Situation Calculus, in Proc. of KR-96, Boston, MA, 1996.
E. Sandewall, R. Röonquist: A representation of action structures, in Proc. of AAAI-86, pp. 89–97.
E. Sandewall: Features and Fluents: A systematic approach to the representation of knowledge about dynamical systems, Oxford University Press, 1994.
E. Sandewall: Comparative Assessment of Update Methods Using Static Domain Constraints, in Proc. of KR-96, Boston, MA, 1996.
S. E. Bornscheuer, M. Thielscher: Representing Concurrent Actions and Solving Conflicts, in Proc. of 18th KI-94, Saarbrücken, 1994, pp. 16–27.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Radzikowska, A. (1997). Towards a formalization of narratives: Actions with duration, concurrent actions and qualifications. In: Gabbay, D.M., Kruse, R., Nonnengart, A., Ohlbach, H.J. (eds) Qualitative and Quantitative Practical Reasoning. FAPR ECSQARU 1997 1997. Lecture Notes in Computer Science, vol 1244. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0035643
Download citation
DOI: https://doi.org/10.1007/BFb0035643
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-63095-1
Online ISBN: 978-3-540-69129-7
eBook Packages: Springer Book Archive