一种带概率与效用算子的群体Agent联合思维模型.pdfVIP

一种带概率与效用算子的群体Agent 联合思维模型1 1，2 1 1 胡小建 ，杨善林 ，罗 贺 1 合肥工业大学计算机网络系统研究所，安徽合肥 （230009 ） 2 合肥工业大学材料学院，安徽合肥 （230009 ） E-mail ：xiaojianhu@ 摘 要： 形式化方法描述群组Agent 联合思维时需要考虑信念的不确定性与决策的效用性 要素。文章在经典的个体Agent 的BDGI 思维模型以及群组Agent 联合思维模型基础上，定 义了群组Agent 形式化语言，建立基于概率与效用算子的群组Agent 的联合思维模型，在此 模型中利用概率算子与效用算子对群组Agent 的联合信念、联合愿望、联合目标以及联合意 图等群组意识属性进行了定义。该模型能满足群组Agent 对逻辑理性、信念的不确定性与决 策理性的要求。 关键词：多Agent ，概率算子，效用算子，群组，联合思维 中图分类号：TP18 1. 引 言 由于个体Agent 能力的限制，在复杂的环境下个体Agent 很难独自完成复杂的决策任务， 需要多个 Agents 联合完成任务，因而群体 Agents 成为分布式人工智能的重要的研究领域。 多 Agents 群体思维状态的形式化研究[1]对于 Agent 群体理性、行为的一致性具有重要的意 义。 [2] [3] Agent 为了共同的目标走到一起，形成合作的群体 ，目前群组 Agent 联合思维 主要 研究内容是形式化描述群体 Agent 的联合信念（M-BEL ）、联合愿望（J-DES ）、联合目标 （J-GOAL ）、联合意图（J-INT ）等思维状态。这种研究是建立在个体Agent 的BDGI 形式 化模型基础上，采用模态逻辑刻画 Agent 的 B （belief ，信念）、D(desire.愿望) 、G （goal, 目标）、I(intention ，意图)等心智状态[4][5]，采用递归定义演算问题。 目前群体Agent 的联合思维形式化模型的研究存在以下问题：1）采用模态逻辑建立联 合思维状态逻辑模型，因而其联合信念要么“true ”，要么“false ”，并没有考虑 Agent 信 念的不确定性问题。而环境的不确定性决定着 Agent 对环境及其它 Agent 的看法与观点的不 确定性，这样 Agent 对环境及其它 Agent 的信念具有不同程度的认识。2 ）模态逻辑考虑了 逻辑理性，而没有考虑效用理性，Agent 是自主的同时又是自利的，群组 Agent 对复杂任务 及行为的决策应考虑自身的效用。 本文在经典的群组 Agent 的联合思维形式化模型基础上引入概率算子与效用算子，并利 用所引入的概率算子与效用算子定义联合信念（M-BEL ）、联合愿望（J-DES ）、联合目标 （J-GOAL ）、联合意图（J-INT ）等思维状态等语义，以满足 Agent 对逻辑理性、信念的不 确定性与决策理性的要求。 1 本课题得到国家自然科学基金（编号）、教育部博士点基金（编号：20040359004 ）、安徽省 自然科学基金（编号：070416241 ）资助。 - 1 - 2. 多 Agent 联合思维模型 2.1 语法 基本语法定义如下： 定义 1 语言 L 包括下列符号： 基本符号 包括基本逻辑符号∧（与）、∨（或）、¬ （非）、→（蕴涵）；基本集 合符号∈（属于）、∪（并）、∩（交）、⊂ （真子集）、⊆ （子集）；╳（卡氏积）， ≡∷（定义），∀ （全称量词）、∃ （存在量词）、（）等。 常量 invariable ∷=1 ，2 ，…，[0，1]，…，true, false。 动作变量 act-var ∷