LiU Electronic Press
Full-text not available in DiVA
Author:
Doherty, Patrick (Linköping University, The Institute of Technology) (Linköping University, Department of Computer and Information Science, KPLAB - Knowledge Processing Lab)
Kvarnström, Jonas (Linköping University, The Institute of Technology) (Linköping University, Department of Computer and Information Science, KPLAB - Knowledge Processing Lab)
Title:
Tackling the qualification problem using fluent dependency constraints
Department:
Linköping University, Department of Computer and Information Science, KPLAB - Knowledge Processing Lab
Linköping University, The Institute of Technology
Publication type:
Conference paper (Refereed)
Language:
English
In:
Proceedings of the 5th International Workshop on Temporal Representation and Reasoning (TIME-98)
Editor:
Lina Khatib, Robert Morris
Conference:
Temporal Representation and Reasoning
Publisher: IEEE Computer Society
Pages:
97-
Year of publ.:
1998
URI:
urn:nbn:se:liu:diva-41452
Permanent link:
http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-41452
ISBN:
0-8186-8473-9
Local ID:
56677
Subject category:
Computer Science
SVEP category:
Computer science
Abstract(en) :

The use of causal rules or fluent dependency constraints has proven to provide a versatile means of dealing with the ramification problem. In this paper we show how fluent dependency constraints together with the use of durational fluents can be used to deal with problems associated with action qualification. We provide both a \emph{weak} and \emph{strong} form of qualification and demonstrate the approach using an action scenario which combines solutions to the frame, ramification and qualification problems in the context of actions with duration, concurrent actions, non-deterministic actions and the use of both boolean and non-boolean fluents. The circumscription policy used for the combined problems is reducible to the 1st-order case. In addition, we demonstrate the use of a research tool VITAL, for querying and visualizing action scenarios.

Note:
Preliminary report
Available from:
2009-10-10
Created:
2009-10-10
Last updated:
2013-08-29
Statistics:
15 hits