agent-bdi逻辑

阐述了agent的形式化描述应该采用含有正规和非正规模态算子的混合模态逻辑为逻辑工具的观点.建立了agent-bdi逻辑的代表系统a-bi,讨论了它的语法和语义.特别是给出了非正规模态算子基于kripke标准可能世界的新的语义解释,证明了a-bi逻辑系统不但是可靠的,而且是完备的.a-bi逻辑系统恰当地刻画了信念与意图的本质与内在联系,可作为agent形式化研究的逻辑工具.