liu.seSearch for publications in DiVA
Change search
ReferencesLink to record
Permanent link

Direct link
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)
Abstract [en]

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 [61] 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 Category
Computer Science
URN: urn:nbn:se:liu:diva-36785DOI: 10.1016/S1574-6526(07)03018-0Local ID: 32585ISBN: 978-0-444-52211-5OAI: diva2:257634
Available from2009-10-10 Created:2009-10-10 Last updated:2013-08-29Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full textfind book at a swedish library/hitta boken i ett svenskt bibliotek

Search in DiVA

By author/editor
Doherty, PatrickKvarnström, Jonas
By organisation
The Institute of TechnologyKPLAB - Knowledge Processing Lab
Computer Science

Search outside of DiVA

GoogleGoogle Scholar
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Altmetric score

Total: 40 hits
ReferencesLink to record
Permanent link

Direct link