| 摘要: |
| BDI(belief, desire, intention)是基于Agent计算的理论模型,BDI语义关系着Agent计算的发展.通过把相信划分为主观相信和客观相信,把可能世界理解为认知的不同阶段,给出具有进化特征的BDI语义.该语义既能描述Agent,又避免了"逻辑全知"问题. |
| 关键词: Agent计算 BDI 语义 模态算子 认知 |
| DOI： |
| 分类号: |
| 基金项目:国家自然科学基金资助项目(69773026) |
|
| BDI Semantic of Avoiding Logical Omniscience Problem |
|
CHENG Xian-yi,SHI Chun-yi
|
| Abstract: |
| BDI (belief, desire, intention) is a theoretical model based on agent computing, while its semantic is the key to the development of agent computing. The new BDI semantic is presented to have an evolution character by dividing B into subjective belief and objective belief, and by regarding possible world as a temporal stage of recognition procedure, which can describe agent and avoid the logical omniscience problem. |
| Key words: agent computing BDI semantic modal operator recognition Received June 19 2000 accepted May 9 2001 Supported by the National Natural Science Foundation of China under Grant No |
