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

Direct link
(TAL) temporal action logics : Language specification and tutorial.
1998 (English)In: Electronic Transactions on Artifical Intelligence, ISSN 1403-3534, E-ISSN 1403-3526, Vol. 2, no 3-4, 273-306Article in journal (Refereed) Published
Abstract [en]

The purpose of this article is to provide a uniform, lightweight language specication and tutorial for a class of temporal logics for reasoning about action and change that has been developed by our group during the period 1994-1998. The class of logics are collected under the name TAL, an acronym for Temporal Action Logics. TAL has its origins and inspiration in the work with Features and Fluents (FF) by Sandewall, but has diverged from the methodology and approach through the years. We first discuss distinctions and compatibility with FF, move on to the lightweight language specication, and then present a tutorial in terms of an excursion through the different parts of a relatively complex narrative defined using TAL. We conclude with an annotated list of published work from our group. The article tries to strike a reasonable balance between detail and readability, making a number of simplications regarding narrative syntax and translation to a base logical language. Full details are available in numerous technical reports and articles which are listed in the final section of this article.

National Category
Computer Science
Identifiers
urn:nbn:se:liu:diva-41627 (URN)58420 (Local ID)oai:DiVA.org:liu-41627 (OAI)diva2:262481 (DiVA)
Available from2009-10-10 Created:2009-10-10 Last updated:2013-08-29

Open Access in DiVA

No full text

Other links

http://www.ep.liu.se/ej/etai/1998/009/

Search in DiVA

By author/editor
Doherty, PatrickGustafsson, JoakimKarlsson, LarsKvarnström, Jonas
By organisation
The Institute of TechnologyKPLAB - Knowledge Processing Lab
In the same journal
Electronic Transactions on Artifical Intelligence
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

Total: 27 hits
ReferencesLink to record
Permanent link

Direct link