| 摘要: |
| 阐述了Agent的形式化描述应该采用含有正规和非正规模态算子的混合模态逻辑为逻辑工具 的观点.建立了Agent-BDI逻辑的代表系统A-BI,讨论了它的语法和语义.特别是给出了非正 规模态算子基于Kripke标准可能世界的新的语义解释,证明了A-BI逻辑系统不但是可靠的, 而且是完备的.A-BI逻辑系统恰当地刻画了信念与意图的本质与内在联系,可作为Agent形式 化研究的逻辑工具. |
| 关键词: Agent,Agent-BDI模型,模态逻辑,信念,意图. |
| DOI： |
| 分类号: |
| 基金项目:本文研究得到国家自然科学基金(Nos.69733020,69973023)资助. |
|
| Agent-BDI Logic |
|
HU Shan-li,HU Shan-li
|
| Abstract: |
| In this paper, it is demonstrated that the logic tool used in agent formalized d epiction should be the mixed modal logic which has both normal and non-normal m odal operators. Then a logic system A-BI is built for Agent-BDI logic and its semantics and axiom system are discussed. Especially for non-normal modal opera tors a new semantic interpretation based on Kripke's normal possible worlds is p resented. It is proved that A-BI logic system is sound and complete. A-BI logi c appropriately depicts the essence and relation of belief and intension, and ca n be used as logic tool in formalized research on agent. |
| Key words: Agent, Agent-BDI model, modal logic, belief, intention. |
