Deductive Planning with Inductive Loops
2008 (English)In: Proceedings of the 11th International Conference on Principles of Knowledge Representation and Reasoning (KR), Menlo Park, CA, USA: AAAI Press , 2008, 528-534Conference paper (Refereed)
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.
National CategoryComputer Science
IdentifiersURN: urn:nbn:se:liu:diva-44571Local ID: 77114ISBN: 978-1-57735-384-3OAI: oai:DiVA.org:liu-44571DiVA: diva2:265433