计算机科学 ›› 2020, Vol. 47 ›› Issue (2): 201-205.doi: 10.11896/jsjkx.190100101

• 人工智能 • 上一篇    下一篇

基于可能回答集程序的多Agent信念协调

吴甜甜,王洁   

  1. (北京工业大学信息学部 北京100124)
  • 收稿日期:2019-01-13 出版日期:2020-02-15 发布日期:2020-03-18
  • 通讯作者: 王洁(wj@bjut.edu.cn)
  • 基金资助:
    国家自然科学基金(61876010)

Belief Coordination for Multi-agent System Based on Possibilistic Answer Set Programming

WU Tian-tian,WANG Jie   

  1. (Faculty of Information Technology,Beijing University of Technology,Beijing 100124,China)
  • Received:2019-01-13 Online:2020-02-15 Published:2020-03-18
  • About author:WU Tian-tian,born in 1992,postgradutate.Her main research interests include answer set programming and multi-agent system;WANG Jie,born in 1972,Ph.D,asso-ciate professor.Her main research inte-rests include logic programming and multi-agent system.
  • Supported by:
    This work was supported by the National Natural Science Foundation of China (61876010).

摘要: 多Agent系统(Multi-Agent System,MAS)是人工智能领域的一个非常活跃的研究方向。在多Agent系统中,由于Agent之间信念的差异,会不可避免地造成行动冲突。Sakama等提出的严格协调方法只适用于各Agent之间有共同信念的情境,当不存在共同信念时,此协调方法无解。针对该问题,文中提出了一种基于可能回答集程序(Possibilistic Answer Set Programming,PASP)的信念协调方法。首先,针对各Agent的不同信念集,基于加权定量的方法计算PASP的回答集相对Agent信念的满足度,以此来弱化某些信念,并且引入缺省决策理论推理得到Agent信念协调的一致解。然后,根据一致解建立一致的协调程序,将其作为Agent共同认同的背景知识库。最后,以dlv求解器为基础实现了多Agent信念协调算法,使Agent之间可以自主完成信念协调。文中以旅游推荐系统为例,说明该算法能够打破严格协调方法的局限,有效解决各Agent之间无共同信念时的协调问题。

关键词: 多Agent系统, 加权定量, 可能回答集程序, 缺省决策理论, 协调程序

Abstract: Multi-agent system MAS is a very active research direction in the field of artificial intelligence.In multi-agent systems,action conflicts will inevitably occur due to the difference in beliefs between agents.The rigorous coordination method proposed by Sakama et al.is only applicable to situations where there is a common belief among agents.When there is no common belief,this coordination method has no solution.In order to solve this problem,this paper proposed a belief coordination method based on possiblistic answer set programming (PASP).Firstly,according to different belief sets of agents,the weighted quantitative method is used to calculate the satisfaction degree of PASP’s answer set relative to Agent’s belief,so as to weaken some beliefs,and the default decision theory is introduced to deduce the consis-tent solution of Agent’s belief coordination.Then,a consistent coordination program is constructed according to the consistent solution,which serves as the background knowledge base commonly recognized by agents.Finally,the multi-agent belief coordination algorithm is implemented to enable the belief coordination among agents to be completed auto-nomously based on the DLV solver.The example of tourism recommendation system shows that this algorithm can break the limitations of rigorous coordination method and effectively solve the coordination problem when there is no common belief among all agents.

Key words: Coordination program, Default decision theory, Multi-agent system, Possibilistic answer set programming, Weighted quantitative

中图分类号: 

  • TP301
[1]WANG J,LIU C.Agent-Oriented Probabilistic Logic Programming with Fuzzy Constraints[C]∥Pacific Rim International Workshop on Multi-agents.Springer Berlin Heidelberg,20064088:664-671.
[2]CARRERA,ÁLVARO,IGLESIAS C A,et al.A real-life application of multi-agent systems for fault diagnosis in the provision of an Internet business service[J].Journal of Network & Computer Applications,2014,37(1):146-154.
[3]JIA X,DOU C,BO Z,et al.Application of multi-agenttechnology in micro-grid system[C]∥International Conferenceon Advanced Power System Automation & Protection.2011:16-20.
[4]ZOUHAIER H,SAID L B.An Application Oriented Multi-Agent Based Approach to Dynamic Truck Scheduling at Cross-Dock[C]∥International Conference on Parallel & Distributed Computing.IEEE,2016,1:233-239.
[5]ABE J M,REIS N F D,CRISTINA C D O,et al.A Logical Framework for Imprecise and Conflicting Knowledge Representation for Multi-agent Systems[C]∥Ifip International Conference on Advances in Production Management Systems.Springer International Publishing,2015,459:202-210.
[6]STAVROPOULOS T G,RIGAS E S,KONTOPOULOS E,et al.AMulti-agent Coordination Framework for Smart BuildingEnergy Management[C]∥International Workshop on Databaseand Expert Systems Applications.IEEE,2014:126-130.
[7]MANZOOR S,CHOI Y.Multi-agent coordination using limitcycles in dynamic environment[C]∥International Conference on Control.IEEE,2017.
[8]EITER T,WANG K.Semantic forgetting in answer set programming[J].Artificial Intelligence,2008,172(14):1644-1672.
[9]SAKAMA C,INOUE K.Coordination in Answer Set Programming[J].Acm Transactionson Computational Logic,2008,9(2):1-30.
[10]NIEVES J C,OSORIO M,CORTÉ S U.Semantics for Possibilistic Disjunctive Programs[J].Theory and Practice of Logic Programming,2013,13(1):33-70.
[11]CONFALONIERI R,PRADE H.Using possibilistic logic for modeling qualitative decision:Answer Set Programmingalgorithms[J].Elsevier Science Inc.,2014,55(2):711-738.
[12]MAIA G,ALCÂNTARA J.Reasoning about Trust and Belief in Possibilistic Answer Set programming[C]∥Brazilian Conference on Intelligent Systems.IEEE Computer Society,2016:217-222.
[13]SON T C.Answer set programming and its applications in planning and multi-agent systems[C]∥International Conference on Logic Programming and Nonmonotonic Reasoning.Springer,Cham,2017,10377:23-35.
[14]ROSSI S,NAPOLI C D,BARILE F,et al.A Multi-Agent Systemfor Group Decision Support Based on Conflict ResolutionStyles[M]∥Conflict Resolution in Decision Making.2017:134-148.
[15]LU F F,WANG J.An improved method for processing inconsistent answer set program [J].Computer Science,2015,42(S1):542-545.
[16]AN X M,ZHANG Y Y,WANG J,et al.Optimization of the product configuration solution based on the weighted quantitative method [J].Computer Engineering & Science,2010,32(8):145-148.
[17]WANG J,ZHANG T T.Research on context-aware in smart space based on ASP [J].Computer Applications and Software,2017,34(2):20-26.
[18]XU B S.Research on conflict and deadlock in smart space [D].Beijing:Beijing University of Technology,2015.
[19]FACCIN J,NUNES I.BDI-Agent Plan Selection Based on Prediction of Plan Outcomes[C]∥2015 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology (WI-IAT).ACM,2015.
[20]ZHU Y,TRUSZCZYNSKI M.On Optimal Solutions of AnswerSet Optimization Problems[C]∥International Conference on Logic Programming and Nonmonotonic Reasoning.Springer Berlin Heidelberg,2013:556-568.
[1] 许子熙, 毛新军, 杨亦, 卢遥.
知识问答社区及其激励机制的建模与仿真分析
Modeling and Simulation of Q&A Community and Its Incentive Mechanism
计算机科学, 2020, 47(6): 32-37. https://doi.org/10.11896/jsjkx.191000088
[2] 马丁,庄雷,兰巨龙.
可重构信息通信基础网络端到端模型的研究与探索
Research on End-to-End Model of Reconfigurable Information Communication Basal Network
计算机科学, 2017, 44(6): 114-120. https://doi.org/10.11896/j.issn.1002-137X.2017.06.020
[3] 冯翔,张进文.
行为建模及其在多Agent系统中的应用
Behavior Modeling and its Application in Multi-agent System
计算机科学, 2015, 42(9): 214-219. https://doi.org/10.11896/j.issn.1002-137X.2015.09.041
[4] 郭艳燕,童向荣,刘其成,龙宇,李晔.
基于博弈论的网络信息传播模型的研究
Models of Network Information Propagation Based on Game Theory
计算机科学, 2014, 41(3): 238-244.
[5] 陈志远,黄少滨,韩丽丽.
现代模态逻辑在计算机科学中的应用研究
Research on Applications of Modern Modal Logic in Computer Science
计算机科学, 2013, 40(Z6): 70-76.
[6] 裘杭萍,覃垚,胡汭,管留.
多Agent系统中基于改进合同网模型的任务分配研究
Study on the Task Allocation Based on Improved Contract Net in Multi-agent System
计算机科学, 2012, 39(Z6): 279-282.
[7] 王万良,艘约庆,赵燕伟.
基于Meta平衡的多Agent Q学习算法研究
Research on Multi-agent Q Learning Algorithm Based on Meta Equilibrium
计算机科学, 2012, 39(Z6): 261-264.
[8] 毛新军.
面向Agent软件工程:现状、挑战与展望
State-of-the-Art,Challenges and Perspectives of Agent-oriented Software Engineering
计算机科学, 2011, 38(1): 1-7.
[9] 赵杰,杨柳,李树平.
资源受限的多Agent系统通信研究
Communicating in Resource-constrained Multi-Agent Systems
计算机科学, 2010, 37(6): 271-272.
[10] .
基于Agent联盟的协作学习系统研究

计算机科学, 2009, 36(6): 125-128.
[11] 严建峰 李伟华.
MAS故障诊断系统中的任务分解与分配

计算机科学, 2008, 35(7): 115-118.
[12] .
HUNTBot-第一人称射击游戏中NPC的结构设计

计算机科学, 2008, 35(11): 290-292.
[13] .
Agent技术在Web服务中的应用探讨

计算机科学, 2008, 35(1): 140-143.
[14] .
基于面向自治计算的Agent系统动态重构模型

计算机科学, 2007, 34(5): 147-151.
[15] 肖正 吴承荣 张世永.
多Agent系统合作与协调机制研究综述

计算机科学, 2007, 34(5): 139-143.
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
No Suggested Reading articles found!