TALplanner: A Temporal Logic-Based Planner

Authors

  • Patrick Doherty
  • Jonas Kvarnstram

DOI:

https://doi.org/10.1609/aimag.v22i3.1581

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

Downloads

Published

2001-09-15

How to Cite

Doherty, P., & Kvarnstram, J. (2001). TALplanner: A Temporal Logic-Based Planner. AI Magazine, 22(3), 95. https://doi.org/10.1609/aimag.v22i3.1581

Issue

Section

Articles