Towards a formalization of narratives: Actions with duration, concurrent actions and qualifications

Anna Radzikowska

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.
Author Anna Radzikowska (FMIS / DDG)
Anna Radzikowska,,
- Department of Differential Geometry
Pages481-495
Book Gabbay Dov M., Kruse Rudolf, Nonnengart Andreas, Ohlbach Hans Jürgen (eds.): Qualitative and Quantitative Practical Reasoning, Lecture Notes In Computer Science, no. 1244, 1997, Springer Berlin Heidelberg, ISBN 978-3-540-63095-1, 978-3-540-69129-7
Keywords in EnglishArtificial Intelligence (incl. Robotics), Mathematical Logic and Formal Languages
URL http://link.springer.com/chapter/10.1007/BFb0035643
Score (nominal)3
Citation count*
Cite
Share Share

Get link to the record


* presented citation count is obtained through Internet information analysis and it is close to the number calculated by the Publish or Perish system.
Back
Confirmation
Are you sure?