LiU Electronic Press
Full-text not available in DiVA
Author:
Magnusson, Martin (Linköping University, The Institute of Technology) (Linköping University, Department of Computer and Information Science, KPLAB - Knowledge Processing Lab)
Doherty, Patrick (Linköping University, The Institute of Technology) (Linköping University, Department of Computer and Information Science, KPLAB - Knowledge Processing Lab)
Title:
Deductive Planning with Temporal 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:
Commonsense 2007, the 8th International Symposium on Logical Formalizations of Commonsense Reasoning,2007
Place of publ.: Menlo Park, CA, USA Publisher: AAAI Press
Year of publ.:
2007
URI:
urn:nbn:se:liu:diva-39649
Permanent link:
http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-39649
ISBN:
978-1-57735-314-0
Local ID:
50546
Subject category:
Computer Science
SVEP category:
Computer science
Abstract(en) :

Temporal Action Logic is a well established logical formalism for reasoning about action and change using an explicit time representation that makes it suitable for applications that involve complex temporal reasoning. We take advantage of constraint satisfaction technology to facilitate such reasoning through temporal constraint networks. Extensions are introduced that make generation of action sequences possible, thus paving the road for interesting applications in deductive planning. The extended formalism is encoded as a logic program that is able to realize a least commitment strategy that generates partial order plans in the context of both qualitative and quantitative temporal constraints.

Available from:
2009-10-10
Created:
2009-10-10
Last updated:
2011-02-20
Statistics:
48 hits