Temporal Action Logics
2009 (English)In: Handbook of Knowledge Representation / [ed] V. Lifschitz, F. van Harmelen, and F. Porter, Elsevier, 2009, 709-757Chapter in book (Other academic)
The study of frameworks and formalisms for reasoning about action and change [67, 58, 61, 65, 70, 3, 57] has been central to the knowledge representation field almost from the inception of Artificial Intelligence as a general field of research [52, 56]. The phrase “Temporal Action Logics” represents a class of logics for reasoning about action and change that evolved from Sandewall’s book on Features and Fluents  and owes much to this ambitious project. There are essentially three major parts to Sandewall’s work. He first developed a narrative-based logical framework for specifying agent behavior in terms of action scenarios. The logical framework is state-based and uses explicit time structures. He then developed a formal framework for assessing the correctness (soundness and completeness) of logics for reasoning about action and change relative to a set of well-defined intended conclusions, where reasoning problems were classified according to their ontological or epistemological characteristics. Finally, he proposed a number of logics defined semantically in terms of definitions of preferential entailment1 and assessed their correctness using his assessment framework.
Foundations of Artificial Intelligence, ISSN 1574-6526 ; 3
National CategoryComputer Science
IdentifiersURN: urn:nbn:se:liu:diva-36785DOI: 10.1016/S1574-6526(07)03018-0Local ID: 32585ISBN: 978-0-444-52211-5OAI: oai:DiVA.org:liu-36785DiVA: diva2:257634