文章编号 :1000-1506(2004)02-0017-05
推测计算中多
Agent
的资源协商
王黎明 ,黄厚宽
(北京交通大学 计算机与信息技术学院 ,北京 100044)
摘 要 :推测计算是在信息不完全的情况下 ,提前进行决策的一种计算过程 .它以假设推理为
基础 ,并利用缺省值对未来的问题进行计算 .事实上 ,在计算过程中 ,缺省值并不是唯一的基础
信息 .在时间允许的情况下 ,主
A gent
可以通过协商获得尽可能多的真实信息 ,信息越丰富 ,推
测计算的结果越精确 .为了强化协商 ,本文分析了假设推理和推测计算的基本理论 ,并以此为
基础给出了推测计算的扩展框架 ,定义了协商语言 ,提出了协商算法 ,并将其嵌入到了推测计
算中 ,从而可以提高推测计算的精确性 .
关键词 :计算机应用 ;推测计算 ;假设推理 ;协商对话 ;对话约束
中图分类号 :
TP
181 文献标识码 :
A
Multi_Ag e nt Resourc e Ne gotiation in Speculative Computation
WANG Li_ming
,
HUA NG Hou _ kuan
(
School of Computer and Information Technolo gy
,
Beijing Jiaotong Univ ersity
,
Beijing
100044 ,
Chi n a
)
Abstract
:
The speculativ e c omputation is a kind of c omputing pro cess that is used in d ecision _ mak
-
ing in a d va nc e under in compl ete inf orm a tion
.
It is ba s e d o n abd u cti on and utili z e s defaults to c o m
-
p ute the future pr o bl e m
.
In fact
,
in c o m puting proc ess
,
the defaults are not the only basic infor
-
m atio n
.
Under situation that time allow s
,
master agent can obtain real information as more as
p os sible vi a n eg oti ati o n
.
The more information is
,
th e m ore a c curate th e r esult is
.
To strengthe n
neg oti atio n
,
b as i c th e ori e s of a bd u ctio n and spe c ulativ e c o m putati on are i ntrod u c ed
,
based on
these theories
,
framework extend ed of speculative computation is presented
,
and ne gotiation lan
-
guage and ne gotiation algorithm are presented
,
and the algorithm is em bedded in sp eculative com
-
putation
.
Thus it can improve the accurac y of speculative computation
.
Key words
:
co m put er appli c atio n
;
speculative computation
;
abduction
;
n egotiation d ia l ogu e s
;
dia
-
logue constraint
协商对话(
negotiation dialogues
)是多
Agent
系
统的主要研究领域之一 .在多
Agent
系统中 ,每个
Agent
都是有目的的 ,在许多情况下 ,因为它们所在
的环境资源是有限的 ,所以
Agent
为了达到自己的
目的 ,它们之间需要协商对话来获得自己需要的资
源或数据 .在协商对话过程中 ,由于通讯、资源和数
据的不确定因素可能会影响
Agent
的计算 ,使它无
法实现目标或延迟目标的实现 .为了提高
Agent
的
执行效率 ,在信息或资源不完全的情况下 ,
Agen t
需
要提前做出决策 ,按照决策的策略继续计算下去 ,这
就需要推测计算(
s p eculative computati on
).
最近几年 ,逻辑计算不断发展 ,为实现
Agent
内
部机制的研究奠定了坚实的基础 ,主要表现在知识表
示、推理和交互 3 个方面 .假设逻辑程序设计(
Abduc_
收稿日期 :2 003-10-27
基金项目 :国 家“十 五”重 点 科 技 攻 关 项 目 ( 20 0 2
BA
407
B
)
作者简介 :王黎明(1963—) ,男 ,河南郑州人 ,副教授 ,博士生 .
email
:
cym wl m
@
zzu
.
edu
.
cn
黄厚宽(1940—) ,男 ,四川遂宁人 ,教授 ,博士生导师 .
第28卷第2期
2004 年 4 月
北 方 交 通 大 学 学 报
JO U RN AL OF N ORTHE RN JIA O TON G UNIVE RSITY
Vol
.2 8
No
.2
Apr
.2004