不确定规划中扩展目标语义比较和观测信息约简.pdf

摘要 不确定规划中的扩展目标语义比较和观测信息约简 专业：计算机软件与理论 博上生：黄巍 导师：姜云飞 摘 要 不确定规划是目阮人工智能研究领域的一个热点。在完令叮观察性的条件F 对扩展目标作规划，以及在完全可观察性(或部分可观察性)的条件下对可达性 目标求握规划解(简称强解)是其中的两个重要的不确定规划问题。 在完全可观察性的条件下对扩展F1标作规划时，扩展目标常常体现为时态逻 “规划意图”和“对子目标的失败处理机制”的特点；但是，在表示扩疑目标的 语义层次上，有关CTL和EAGLE之间比较的研究还不多。本文根据有关CTL目 标公式和EAGLE目标公式的严格的语义描述，证明了：对于许多EAGLE目标公 式而苦，都存在着一个与之语义等价的CTL目标公式(在这些EAGLE日标公式 当中，还包括了一些原来被认为不可以用CTL目标公式表达的EAGLEEi标公式)。 另外，本文还分析指出了EAGLE目标公式与CTL目标公式相比在表达能力卜的 一些局限性。 在目前所有的关于求强规划解(无论是在完全可观察性还足郜分可观察性的 条件下)的研究中，观测变鼍的集合都被认为足固定的而且足强制性的。然而， 在许多现实的规划领域里，观测变釜的集合是变化的或者是，可选择的：另外， 某些观测信息对强解的执行也许是毫无用处的，但获得这哆观测信息却需要似 出一定的代价。为强解作观测信息约简(即在不影响相应的动作执行过程的情 况下，尽量简化伴随其阍的信息观测工作)是一个很有意义的研究内容，因为它 可以改善强解的质量并使其执行的代价减少。就我目前所知，这仍然是个待解决 的M题。本文首次提出了卡}I关『门J题，并给出了第一个对状态——动作表形式的强 解作观测信息约简的算法STRONG—FO—PO。输入某个状态——动作表形式的强解 尢F，算法STRONG．FO—PO会首先计算一个近似最小的在兀F执行期问可能有用的 摘要 观测变量集r‰。，然后把丌F转化为一个建立在％峙上的条件规划7tP。另外，本 文还证明了该算法是可终止的和合理的。 关键词：扩展目标，强规划解，完全可观察性，部分可观察性 Abstrant Semantic ofExtendedGoalsand Comparison for ObservationReduction Plans Strong Software and Major： Computer Theory Name： Wei Huang Supervisor：YunfeiJiang ABSTRACT Inrecent intclesthasbeendevotedto under years,increasing planning differentresearchlineshavebeca withextended uncertainty．and developed．Planning underfull underfull goals observability，and strongplanning observabilit