计算机研究与发展
計算機研究與髮展
계산궤연구여발전
JOURNAL OF COMPUTER RESEARCH AND DEVELOPMENT
2006年
z1期
41-45
,共5页
多Agent合作逻辑%动作%意图%多子集语义
多Agent閤作邏輯%動作%意圖%多子集語義
다Agent합작라집%동작%의도%다자집어의
改进并发博弈结构,给出了一个新模型.消除了不同Agent不准执行相同动作这个与常识不符的假定.给出了5个动作相关函数,使得对Agent、动作与状态三者之间的关系在社会法律约束下的深入考察成为可能.在语法层面同时表述动作和社会法律,提高了多Agent合作逻辑的灵活性和表达能力.在多Agent合作逻辑中引入信念算子和意图算子;考察了两种个体意图和两种群体意图;给出了对命题的个体意图的多子集语义,并把它拓展到对命题的群体意图的语义.
改進併髮博弈結構,給齣瞭一箇新模型.消除瞭不同Agent不準執行相同動作這箇與常識不符的假定.給齣瞭5箇動作相關函數,使得對Agent、動作與狀態三者之間的關繫在社會法律約束下的深入攷察成為可能.在語法層麵同時錶述動作和社會法律,提高瞭多Agent閤作邏輯的靈活性和錶達能力.在多Agent閤作邏輯中引入信唸算子和意圖算子;攷察瞭兩種箇體意圖和兩種群體意圖;給齣瞭對命題的箇體意圖的多子集語義,併把它拓展到對命題的群體意圖的語義.
개진병발박혁결구,급출료일개신모형.소제료불동Agent불준집행상동동작저개여상식불부적가정.급출료5개동작상관함수,사득대Agent、동작여상태삼자지간적관계재사회법률약속하적심입고찰성위가능.재어법층면동시표술동작화사회법률,제고료다Agent합작라집적령활성화표체능력.재다Agent합작라집중인입신념산자화의도산자;고찰료량충개체의도화량충군체의도;급출료대명제적개체의도적다자집어의,병파타탁전도대명제적군체의도적어의.