TALplanner: A Temporal Logic-Based Planner

Patrick Doherty, Jonas Kvarnstram

Abstract


TALplanner is a forward-chaining planner that utilizes domain-dependent knowledge to control search in the state space generated by action invocation. The domain-dependent control knowledge, background knowledge, plans, and goals are all represented using formulas in a temporal logic called tal, which has been developed independently as a formalism for specifying agent narratives and reasoning about them. In the Fifth International Artificial Intelligence Planning and Scheduling Conference planning competition, TALplanner exhibited impressive performance, winning the Outstanding Performance Award in the Domain-Dependent Planning Competition. In this article, we provide an overview of TALplanner

Full Text:

PDF


DOI: http://dx.doi.org/10.1609/aimag.v22i3.1581

Copyright © 2014, Association for the Advancement of Artificial Intelligence (www.aaai.org). All rights reserved.