论文部分内容阅读
该文首先通过对两种智能主体的介绍,分析当前智能主体研究处理非预期情况的两种主要途径,即反应式和慎思式,指出各自存在的问题。进而提出自适应BDI主体的基本框架,在此基础上,论述建立慎思式智能主体适应机制的必要性和可能性。通过引入原子以及公式的相关性,给出意图、目标的一个基于逻辑概念的形式刻画,进而给出"愿望保持性"和"承诺可传递性"的一个近似规范。基于这一规范,可以实现非预期情况下的愿望修正,并支持承诺调整,给出其若干关键问题的形式化结论。