规划中的不完全信息
人工智能
2007-05-23 v1
摘要
规划是行动与变化推理框架的自然应用领域。本文研究了语言 E 如何可为不完全信息下的规划提供基础。我们定义了两种类型的计划：弱计划和安全计划，并提出了一种称为 E-Planner 的规划器，通常能够在（显式）信息不完整的情况下，将初始的弱计划扩展为安全计划，例如当初始状态未被完全了解时。E-Planner 基于对语言 E 的论证术语重构以及由此产生的自然证明论。它通过反身法扩展该证明论，用于计划的生成，并采用论证基于的技术将弱计划扩展为安全计划。我们提供了代表性实例，说明了 E-Planner 的行为，特别是在流畅状态未被完全了解的情况下。
引用
@article{arxiv.cs/0003049,
title = {Planning with Incomplete Information},
author = {Antonis Kakas and Rob Miller and Francesca Toni},
journal= {arXiv preprint arXiv:cs/0003049},
year = {2007}
}
备注
Proceedings of the 8th International Workshop on Non-Monotonic Reasoning, April 9-11, 2000, Breckenridge, Colorado