文献类型：期刊文章

作　　者：赖贤伟[1,2] 胡山立[1,3]

机构地区：[1]福州大学计算机科学与技术系,福州350002 [2]福建农业大学计算机科学与技术系,福州350002 [3]中国科学院计算机科学重点实验室,北京100080

出　　处：《计算机研究与发展》

基　　金：国家自然科学基金项目(60373079,60573076)

年　　份：2006

卷　　号：43

期　　号：z1

起止页码：41-45

语　　种：中文

收录情况：AJ、BDHX、BDHX2004、CSA-PROQEUST、CSCD、CSCD2011_2012、EI、IC、JST、RCCSE、SCOPUS、ZGKJHX、核心刊

摘　　要：改进并发博弈结构,给出了一个新模型.消除了不同Agent不准执行相同动作这个与常识不符的假定.给出了5个动作相关函数,使得对Agent、动作与状态三者之间的关系在社会法律约束下的深入考察成为可能.在语法层面同时表述动作和社会法律,提高了多Agent合作逻辑的灵活性和表达能力.在多Agent合作逻辑中引入信念算子和意图算子;考察了两种个体意图和两种群体意图;给出了对命题的个体意图的多子集语义,并把它拓展到对命题的群体意图的语义.

关 键 词：多Agent合作逻辑  动作  意图 多子集语义  

分 类 号：TP18]