首页 | 本学科首页   官方微博 | 高级检索  
     

一种基于逻辑程序的重复协商框架
引用本文:陈武,张明义. 一种基于逻辑程序的重复协商框架[J]. 计算机科学, 2008, 35(5): 209-212
作者姓名:陈武  张明义
作者单位:贵州大学计算机科学与技术学院,贵阳,550025;西南大学计算机与信息科学学院,重庆,400715;贵州科学院,贵阳,550001
基金项目:国家自然科学基金 , 贵州省省长基金
摘    要:本文从基于信念修改的角度提出了两个AGENT之间的一个重复协商框架.在这个框架中,一个逻辑程序被当作一个协商的AGENT,每一个AGENT(逻辑程序)选择自己的一个回答作为自己最初的协商需求.两个AGENT之间的协商过程就是两个逻辑程序之间相互更新的过程,这个过程是通过协商的每一方接受对方的部分(或,全部)需求和放弃自己部分协商需求来实现的.本文设计了协商双方必须遵守的一些协商规则,根据这些规则对这个协商框架进行了形式化描述,并给出了协商的终止条件.

关 键 词:AGENT  协商  扩展逻辑程序

A Repeated Negotiation Framework Based on Logic Programs
CHEN Wu,ZHANG Ming-yi. A Repeated Negotiation Framework Based on Logic Programs[J]. Computer Science, 2008, 35(5): 209-212
Authors:CHEN Wu  ZHANG Ming-yi
Affiliation:CHEN Wu~(1,2) ZHANG Ming-yi~3 (School of Computer Science , Technology,Guizhou University,Guiyang 550025,China)~1(School of Computer , Information Science,Southwest University,Chongqing 400715,China)~2(Guizhou Academy of Sciences,Guizhou 550001,China)~3
Abstract:An extended logic program is regarded as a negotiating agent.The negotiation process between two agents is then modelled as repeated encounters between two extended logic programs,each of which selects an answer set as its initial demand.The overall dynamics can be regarded as mutual updates between two extended logic programs.We de- sign some negotiation rules which both extended logic programs must follow during the negotiation.These rules can guarantee the termination of the negotiation.On the basis of t...
Keywords:AGENT  Negotiation  ELP(Extended Logic Program)  
本文献已被 CNKI 维普 万方数据 等数据库收录!
点击此处可从《计算机科学》下载全文
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号