TALplanner: A Temporal Logic-Based Planner
TALplanner: A Temporal Logic-Based Planner
复制标题
TALplanner：基于时间逻辑的规划器
DOI：
10.1609/aimag.v22i3.1581
复制
发表时间：
2001
期刊：
影响因子：
--
通讯作者：
Jonas Kvarnström
中科院分区：
文献类型：
--
作者：
P. Doherty;Jonas Kvarnström
TALplanner 是一个前向链接规划器，它利用与领域相关的知识来控制由动作调用生成的状态空间中的搜索。领域相关的控制知识、背景知识、计划和目标都使用称为 tal 的时间逻辑中的公式来表示，tal 是作为一种形式主义独立开发的，用于指定代理叙述并对其进行推理。在第五届国际人工智能规划与调度大会规划竞赛中，TALplanner表现出色，荣获领域相关规划竞赛优秀表现奖。在本文中，我们概述了 TALplanner
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