Open AccessTAL planner A Temporal Logic‐Based Planner
Author(s) -
Doherty Patrick,
Kvarnström Jonas
Publication year - 2001
Publication title -
ai magazine
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.597
H-Index - 79
eISSN - 2371-9621
pISSN - 0738-4602
DOI - 10.1609/aimag.v22i3.1581
Subject(s) - forward chaining , planner , computer science , automated planning and scheduling , formalism (music) , artificial intelligence , chaining , temporal logic , backward chaining , scheduling (production processes) , expert system , theoretical computer science , inference engine , mathematics , mathematical optimization , art , musical , psychology , visual arts , psychotherapist
TAL planner 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, TAL planner exhibited impressive performance, winning the Outstanding Performance Award in the Domain‐Dependent Planning Competition. In this article, we provide an overview of TAL planner .