一种结合环境状态的Agent语义模型

MODELING AGENTS COMBINED WITH THE STATE OF ENVIRONMENT

在 Agent模型的研究中 ,大部分工作集中在基于 Agent的思维状态 (BDI)的模型 ,没有考虑外部环境的影响 ,或者仅仅将外部环境和内部思维状态笼统混在一起进行分析 ,没有考虑到它们之间的内在联系 .将 Agent的BDI思维属性模型与外部环境状态相结合 ,给出了在部分可观察环境下 ,结合外部环境状态的 MAS语言语法、语义模型 ,考虑了 Agent的可见算子、观察算子和信念算子之间的关系 ,并通过机器人足球赛的例子 ,对该语义系统加以具体描述 .这些研究推广了 Kaelbling。

In recent research of modeling agents,most of the work is based on the single mental state,without considering the effect of environment,or are analyzed by just mixing them without considering their internal connection. The mental state of BDI agents is related to the environment state, developing the language and its syntax to describe the multi agent system which is combined with the environment state under the partial observable environment. The relationship among the visible operator, observe operator and belief operator is considered and the formal semantics of the language are given in terms of a general model of multi agent systems, closely related to the interpreted systems of epistemic logic. Finally, a real example of robot soccer is given to show the description power of this language. The future work includes giving more perfect semantic model,describing the relationship between joint belief and joint observation, and developing the dynamic revise semantic from the single mental state.