检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
机构地区:[1]清华大学计算机科学与技术系,北京100084
出 处:《计算机研究与发展》2002年第12期1587-1591,共5页Journal of Computer Research and Development
基 金:国家自然科学基金 (69973 0 2 3 ;60 173 0 11);国家"八六三"高技术研究发展计划基金(2 0 0 1AA113 12 0 )资助
摘 要:在 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.
关 键 词:环境状态 AGENT 语义模型 思维状态 观察算子 信念 意图 人工智能
分 类 号:TP18[自动化与计算机技术—控制理论与控制工程]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.229