【面向Agent的行动推理研究】戈也挺.pdf

学 号:MG9833037 论文答辨日期:201年6月6 阵跳乾 指导教师:(签字)
南京人学计算机系硕十研究生毕业论文 摘要 行动推理和Agent技术是目前人工智能的重要研究领域。本文 对行动推理及其在Agent技术中的应用进行了研究.本文首先总结了行动推理的研究现状,包括形式化框架,主 要问题,元理论等方面的结果。随后本文总结了行动推理中三大 问题的解决方案,包括框架问题,结果问题和资格问题。其中较 为详细地研究了结果问题诸多解决方案.MaCain和Hudson提出了基于因果理论和可满足性测试的规划 理论。该方法具有形式简单,表达能力强等特点。本文对其进行 了扩充,将该理论适用的所谓“简单领域”的限制条件由三条减 少至两条。
南京人学计算机系硕十研究生毕业论文 第一章引言行动推理智能AGENT行动推理在AGENT中的应用1本文的工作和组织结构 t 第二章行动推理研究综述.2 行动推理中的三大问题2元理论的研究第三章行动推理技术的研究3框架问题的解决.3结果问题的解决方案3小结第四章基于行动理论的规划4 可满足性测试.4可满足性测试和规划 4因果理论 4基于因果理论的规划.4“简单”领域 