【摘要】 目前 MAS中思维状态的研究趋势是在个体模型中加入社会思维属性 ,研究社会承诺、依赖、联合意图的推理关系 .在 BDI模型中 ,以意图为中心的观点不适于描述社会 Agent.该文分析了以意图为中心的 Agent思维状态研究存在的问题 ,提出 MAS的分层模型 ,并提出以信念、愿望和义务作为基本思维属性 (简称 BDO)来描述Agent的思维状态和社会属性 ,给出了 BDO逻辑和语义模型 ,考虑了奖励、惩罚、承诺和承诺解除问题 ,并对队、组织、组织意图等群体现象给出了描述 .该文力图更自然地描述社会性 Agent的思维状态和群体概念 ,是对 Rao和Georgeff提出的 BDI模型的改进 .最后通过一个例子说明了 BDO的表达能力 .进一步的工作包括建立更为完善的语义模型、结合各个思维属性的动态修正语义给出 BDO Agent的动态模型以及给出基于 BDO逻辑框架的Agent/ MAS实现结构更多还原

【Abstract】 In recent research of mental state in MAS, researchers try to add social mental state attributes into individual model, and to study the reasoning rule of social commit, dependence, and joint intention. BDI model is applied in the specification and verification of practice system successfully, such as dMARS. But, there are many shortcomings with respect to the researches on BDI agent, such as the over domination of the intention centered methodology, inconvenience to the description of sociality in MAS, and the gap between theory and practice. This paper replaces intention by obligation, which is a social concept and more intuitive. Firstly, we review the research on mental state of agent, analyze the shortcomings of the intention centered methodology, present the layered conceptual model of MAS. In individual layer, agents memory and process belief, desire, and intention. In social mental layer, agents contact with other agent by memory and process commit, and obligation. The mental state of social layer is related with individual layer of agents. Then we point out that belief, desire and obligation (BDO) should be regarded as primitive attributes to describe agent’s mental state and various societal phenomenon. We develop BDO logic and its semantics, import reward, punish, commit and decommit, and give descriptions for such social concepts as team, organization, and organization intention. We also discuss the deductive relationship between obligation and other mental states. We regard BDO logic as an improvement of BDI logic presented by Rao and Georgeff, and as a more expressive framework for the description of social agents and societal concepts. At last, we give an example to show the description power of BDO logic. The future work include giving more perfect semantic model, proving the soundness and completeness of BDO logic, giving dynamic model of BDO agent by combining dynamic revise semantic of mental states, and presenting agent/MAS structure based on BDO logic frame.更多还原