TALPLANNER A Temporal Logic-Based Planner
Patrick Doherty, Jonas Kvarnström · 2001
Talplanner is a forward-chaining planner which 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. TAL has been developed independently as a formalism for specifying agent narratives and reasoning about them. In the recent AIPS’00 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. This article is an invited submission to AI magazine,