协商推理机制中的需求序关系研究  

The Demand Order in Negotiation Reasoning Mechanism

作　　者：陈武[1,2] 

机构地区：[1]西南大学计算机与信息科学学院,重庆400715 [2]西南大学逻辑与智能研究中心,重庆400715

出　　处：《西南大学学报（自然科学版）》2014年第4期146-151,共6页Journal of Southwest University(Natural Science Edition)

基　　金：国家自然科学基金资助项目(61003203);重庆市人文社会科学重点研究基地资助项目(09SKB35);中央高校基本科研业务费专项资金资助项目(XDJK2014C040);西南大学博士基金资助项目(SWU109003)

摘　　要：在多AGENT系统的协商推理机制设计中,协商需求的序一直扮演着重要角色.为了设计合理的协商推理机制,一些研究者基于经典命题逻辑提出协商需求的序需要满足逻辑限制,但是命题逻辑表达常识推理的能力有限.近年来,越来越多的研究者选择表达常识推理更为有效的回答集程序作为协商背景知识表示的工具.为了设计基于回答集程序的合理协商推理机制,首先将逻辑限制转换成命题逻辑的模型表示,形成等价的模型限制,然后将模型限制的思想应用到回答集程序中形成回答集限制.同时,也证明了研究者们提出的基于需求出现次数的序满足回答集限制.Demand order always plays an important role in negotiation reasoning mechanism design of multi-agent systems.In order to design rational negotiation reasoning mechanisms,some researchers, based on the classical propositional logic,put forward the order of negotiation demand,which needs to satisfy the logical constraint.However,the propositional logic has some limitations in representing commonsense reasoning.In recent years,more and more researchers select answer set program（ASP）,which can represent commonsense reasoning more effectively than the propositional logic,as a tool to represent negotiation background knowledge.In order to design rational negotiation reasoning mechanisms based on ASP,this paper firstly transforms Logical Constraint into equivalent Model Constraint,and then applies the idea of Model Constraint to ASP to form Answer Set Constraint.At the same time,this paper proves that the order based on occurrence quantity put forward by some researchers satisfies the Answer Set Constraint.

关 键 词：回答集 协商 序 限制 

分 类 号：B819[哲学宗教—逻辑学]