Towards a formalization of narratives: Actions with duration, concurrent actions and qualifications
AbstractThe 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.
|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 English||Artificial Intelligence (incl. Robotics), Mathematical Logic and Formal Languages|
* presented citation count is obtained through Internet information analysis and it is close to the number calculated by the Publish or Perish system.