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

Direct link
Extending temporal action logic
2001 (English)Doctoral thesis, monograph (Other academic)
Abstract [en]

An autonomous agent operating in a dynamical environment must be able to perform several "intelligent" tasks, such as learning about the environment, planning its actions and reasoning about the effects of the chosen actions. For this purpose, it is vital that the agent has a coherent, expressive, and well understood means of representing its knowledge about the world.

Traditionally, all knowledge about the dynamics of the modeled world has been represented in complex and detailed action descriptions. The first contribution of this thesis is the introduction of domain constraints in TAL, allowing a more modular representation of certain kinds of knowledge.

The second contribution is a systematic method of modeling different types of conflict handling that can arise in the context of concurrent actions. A new type of fluent, called influence, is introduced as a carrier from cause to actual effect. Domain constraints govern how influences interact with ordinary fluents. Conflicts can be modeled in a number of different ways depending on the nature of the interaction.

A fundamental property of many dynamical systems is that the effects of actions can occur with some delay. We discuss how delayed effects can be modeled in TAL using the mechanisms previously used for concurrent actions, and consider a range of possible interactions between the delayed effects of an action and later occurring actions.

In order to model larger and more complex domains, a sound modeling methodology is essential. We demonstrate how many ideas from the object-oriented paradigm can be used when reasoning about action and change. These ideas are used both to construct a framework for high level control objects and to illustrate how complex domains can be modeled in an elaboration tolerant manner. 

Place, publisher, year, pages
Linköping: Linköpings universitet, 2001. 218 p.
Series
Linköping Studies in Science and Technology. Dissertations, ISSN 0345-7524 ; 689
National Category
Computer Science
Identifiers
urn:nbn:se:liu:diva-35603 (URN)27908 (Local ID)91-7373-017-3 (ISBN)oai:DiVA.org:liu-35603 (OAI)diva2:256451 (DiVA)
Public defence
2001-05-31, BL32, Hus B, Linköpings Universitet, Linköping, 10:15 (Swedish)
Available from2009-10-10 Created:2009-10-10 Last updated:2013-02-11

Open Access in DiVA

No full text

Search in DiVA

By author/editor
Gustafsson, Joakim
By organisation
Department of Computer and Information ScienceThe Institute of Technology
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: 41 hits
ReferencesLink to record
Permanent link

Direct link