论文部分内容阅读
该文首先总结了行动推理的研究现状,包括形式化框架,主要问题,元理论等方面的结果.随后该文总结了行动推理中三大问题的解决方案,包括框架问题,结果问题和资格问题.其中较为详细地研究了结果问题诸多解决方案.MaCain和Hudson提出了基于因果理论和呆满足性测试的规划理论.该方法具有形式简单,表达能力强等特点.该文对其进行了扩充,将该理论适用的所谓"简单领域的限制条件由三条减少至两条.最后该文利用规则和行动描述语言方面的研究结果,提出了一个面向Agent应用的推理框架并给出具体的处理流程.