CAJ | 학술논문

目前MAS中思维状态的研究趋势是在个体模型中加入社会思维属性，研究社会承诺、依赖、联合意图的推理关系.在BDI模型中，以意图为中心的观点不适于描述社会Agent.该文分析了以意图为中心的Agent思维状态研究存在的问题，提出MAS的分层模型，并提出以信念、愿望和义务作为基本思维属性(简称BDO)来描述Agent的思维状态和社会属性，给出了BDO逻辑和语义模型，考虑了奖励、惩罚、承诺和承诺解除问题，并对队、组织、组织意图等群体现象给出了描述.该文力图更自然地描述社会性Agent的思维状态和群体概念，是对Rao和Georgeff提出的BDI模型的改进.最后通过一个例子说明了BDO的表达能力.进一步的工作包括建立更为完善的语义模型、结合各个思维属性的动态修正语义给出BDO Agent的动态模型以及给出基于BDO逻辑框架的Agent/MAS实现结构.
목전MAS중사유상태적연구추세시재개체모형중가입사회사유속성，연구사회승낙、의뢰、연합의도적추리관계.재BDI모형중，이의도위중심적관점불괄우묘술사회Agent.해문분석료이의도위중심적Agent사유상태연구존재적문제，제출MAS적분층모형，병제출이신념、원망화의무작위기본사유속성(간칭BDO)래묘술Agent적사유상태화사회속성，급출료BDO라집화어의모형，고필료장려、징벌、승낙화승낙해제문제，병대대、조직、조직의도등군체현상급출료묘술.해문력도경자연지묘술사회성Agent적사유상태화군체개념，시대Rao화Georgeff제출적BDI모형적개진.최후통과일개례자설명료BDO적표체능력.진일보적공작포괄건립경위완선적어의모형、결합각개사유속성적동태수정어의급출BDO Agent적동태모형이급급출기우BDO라집광가적Agent/MAS실현결구.
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.