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.

A Model for Learning and Acting Rationally in Multiagent System.

A Dynamic Model of Multi-Agent System

Modeling Mental States of Social Agent

A Formal Framework Of Coalition Formation And Rational Collaboration In Multi-Agent System

Modeling belief, capability and promise for cognitive agents – a modal logic approach

Towards a Unifying Model of Rationality in Multiagent Systems

Agent Model by Combining Logic with Decision Theoretical Approach

A Model of Mental States Combined with Utility for Agents

Novel Modeling Architecture and Framework of Agent

An Improved Multi-Agent Cooperative Solution Process

Modeling Agents Combined With Environment, Mental States And Utility

Multi-Agent Cooperation Via Reasoning About The Behavior Of Others

Toward a formal theory of belief, capability and promise incorporating temporal aspect

Multi-agent complex system model based on BDI

An Opponent Agent Model Based on BDI

The model of multi-agent cooperation in the dynamic environment

Interactive strategy model of multi-agent system

Language Models, Agent Models, and World Models: The LAW for Machine Reasoning and Planning

An Extended Agent BDI Model with Norms, Policies and Contracts

Modeling Social Agents in BDO Logic

A Formal Model of Multi-Agent Collaborative Systems