一种基于逻辑程序的重复协商框架

作     者：陈武 张明义 CHEN Wu;ZHANG Ming-yi

作者机构：贵州大学计算机科学与技术学院 贵州科学院贵阳550001 

基　　金：国家自然科学基金(60573009) 贵州省长基金(2005(12))资助 

出 版 物：《计算机科学》 (Computer Science)

年 卷 期：2008年第35卷第5期

页      码：209-212,239页

摘      要：本文从基于信念修改的角度提出了两个AGENT之间的一个重复协商框架。在这个框架中,一个逻辑程序被当作一个协商的AGENT,每一个AGENT(逻辑程序)选择自己的一个回答作为自己最初的协商需求。两个A- GENT之间的协商过程就是两个逻辑程序之间相互更新的过程,这个过程是通过协商的每一方接受对方的部分(或全部)需求和放弃自己部分协商需求来实现的。本文设计了协商双方必须遵守的一些协商规则,根据这些规则对这个协商框架进行了形式化描述,并给出了协商的终止条件。

主 题 词：AGENT 协商 扩展逻辑程序 

学科分类：12[管理学] 1201[管理学-管理科学与工程类] 081104[081104] 08[工学] 0835[0835] 0811[工学-水利类] 0812[工学-测绘类] 081202[081202] 

核心收录：

D　O　I：10.3969/j.issn.1002-137X.2008.05.057

馆 藏 号：203125537...