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

Direct link
Tackling the qualification problem using fluent dependency constraints
2000 (English)In: Computational intelligence, ISSN 0824-7935, E-ISSN 1467-8640, Vol. 16, no 2, 169-209Article in journal (Refereed) Published
Abstract [en]

In the area of formal reasoning about action and change, one of the fundamental representation problems is providing concise modular and incremental specifications of action types and world models, where instantiations of action types are invoked by agents such as mobile robots. Provided the preconditions to the action are true, their invocation results in changes to the world model concomitant with the goal-directed behavior of the agent. One particularly difficult class of related problems, collectively called the qualification problem, deals with the need to find a concise incremental and modular means of characterizing the plethora of exceptional conditions that might qualify an action, but generally do not, without having to explicitly enumerate them in the preconditions to an action. We show how fluent dependency constraints together with the use of durational fluents can be used to deal with problems associated with action qualification using a temporal logic for action and change called TAL-Q. We demonstrate the approach using action scenarios that combine solutions to the frame, ramification, and qualification problems in the context of actions with duration, concurrent actions, nondeterministic actions, and the use of both Boolean and non-Boolean fluents. The circumscription policy used for the combined problems is reducible to the first-order case.

National Category
Computer Science
URN: urn:nbn:se:liu:diva-41619DOI: 10.1111/0824-7935.00111Local ID: 58398OAI: diva2:262473
Available from2009-10-10 Created:2009-10-10 Last updated:2013-08-29

Open Access in DiVA

No full text

Other links

Publisher's full text

Search in DiVA

By author/editor
Kvarnström, JonasDoherty, Patrick
By organisation
The Institute of TechnologyKPLAB - Knowledge Processing Lab
In the same journal
Computational 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

Altmetric score

Total: 19 hits
ReferencesLink to record
Permanent link

Direct link