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 Inductive Loops
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 11th International Conference on Principles of Knowledge Representation and Reasoning (KR)
Conference:
KR 2008
Place of publ.: Menlo Park, CA, USA Publisher: AAAI Press
Pages:
528-534
Year of publ.:
2008
URI:
urn:nbn:se:liu:diva-44571
Permanent link:
http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-44571
ISBN:
978-1-57735-384-3
Local ID:
77114
Subject category:
Computer Science
SVEP category:
Computer science
Abstract(en) :

Agents plan to achieve and maintain goals. Maintenance that requires continuous action excludes the representation of plans as finite sequences of actions. If there is no upper bound on the number of actions, a simple list of actions would be infinitely long. Instead, a compact representation requires some form of looping construct. We look at a specific temporally extended maintenance goal, multiple target video surveillance, and formalize it in Temporal Action Logic. The logic's representation of time as the natural numbers suggests using mathematical induction to deductively plan to satisfy temporally extended goals. Such planning makes use of a sound and useful, but incomplete, induction rule that compactly represents the solution as a recursive fixpoint formula. Two heuristic rules overcome the problem of identifying a sufficiently strong induction hypothesis and enable an automated solution to the surveillance problem that satisfies the goal indefinitely.

Available from:
2009-10-10
Created:
2009-10-10
Last updated:
2011-04-14
Statistics:
19 hits