Planning with Observations and Knowledge
Planning with Observations and Knowledge
复制标题
根据观察和知识进行规划
DOI：
--
复制
发表时间：
1996
期刊：
影响因子：
--
通讯作者：
L. Pryor
中科院分区：
文献类型：
--
作者：
R. Goldman;M. Boddy;L. Pryor
Robert P. Goldman和Mark S. Boddy and Louise Pryor{goldman，boddy} @src.honeywell.comlouisep@aisb.艾德.ac. uk引言我们关心的是增加计划方法的表达能力，以处理观察和一致性执行。在以前的工作中，我们中的两个人已经讨论过，如果没有明确区分世界上什么是真的和代理人知道（相信）什么是真的，就不能正确地构建这样一个规划器（Goldman &：Boddy 1994 b）1。同样在以前的工作中，我们中的一个人创造了一个计划者，卡桑德拉，它似乎在没有这样的代表的情况下，用有条件的经验和知识收集来构建灵活的计划（普赖尔和柯林斯，1995）。为了解决这两个结果之间的矛盾，我们提出了一种基于命题动态逻辑（PDL）的动作形式化方法WCPL。我们选择动态逻辑作为框架，因为它已经有了我们需要的结构，比如条件句和不确定性动作。PDL也更接近动作表示的种类（例如，
Robert P. Goldman and Mark S. Boddy and Louise Pryor{goldman,boddy} @src.honeywell.comlouisep@aisb.ed.ac.ukIntroductionWe are concerned with increasing the expressivenessof planning methods to handle observations and con-ditional execution. In previous work, two of us haveargued that one cannot correctly construct such a plan-ner without an explicit distinction between what is truein the world and what the agent knows (believes) be true (Goldman &: Boddy 1994b)1. Also in previouswork, one of us has created a planner, Cassandra, thatappears to construct flexible plans with conditional ex-ecution and knowledge-gathering without such a repre-sentation (Pryor & Collins 1995). The work describedhere was done to address the tension between these tworesults.To address these issues, we have developed a formal-ization of action, WCPL, based on propositional dy-namic logic (PDL). We have chosen dynamic logic as framework because it already has constructs we need,like conditionals and nondeterministic actions. PDL isalso closer to the kinds of action representation (e.g.,