Speculative Computation Based on Master Agent Belief Revision and Its Resource Negotiation
Affiliation:

  • Article
  • | |
  • Metrics
  • |
  • Reference [12]
  • |
  • Related [20]
  • |
  • Cited by [2]
  • | |
  • Comments
    Abstract:

    Abduction-Based speculative computation is a process which uses default hypothesis as tentative answer and continues computation when resources information cannot be obtained in time. In a computing process, if response is not consistent with belief, master Agent will revise its belief. To achieve goals, get the more accurate result of computation and reduce risks of decision under time constraints, the master Agent in speculative computation should make efforts to obtain more information via negotiation, so the negotiation is a key measure in reducing risks of decision. In this paper, basic theories of abduction and speculative computation are introduced. Based on these theories, a framework extended from the speculative computation with belief revision based on time constraints is presented, and the further negotiation framework based on time constraints and negotiation algorithm with belief revision are presented. The algorithm is embedded in speculative computation to make the master Agent revise its belief during negotiation. Finally, three experiments on goods transportation are given. The experimental results indicate that the algorithm can improve the accuracy of result of the speculative computation and reduce the risk of the result.

    Reference
    [1]Satoh K,Yamamoto K.Speculative computation with multi-agent belief revision.In:Arabnia HR.Proc.of the 1st Int'l Joint Conf.on Autonomous Agents and Multi-Agents Systems.New York:ACM Press,2002.897-904.
    [2]Hayashi H,Cho K,Ohsuga A.Speculative computation and action execution in multi-Agent system.Electronic Notes in Theoretical Computer Science,2002,70(5):1-14.
    [3]Satoh K,Inoue K,Iwanuma K,Sakama C.Speculative computation by abduction under incomplete communication environments.In:Proc.of IEEE Int'l Conf.on Multi-Agent Systems.Boston:IEEE Press,2000.263-270.
    [4]Sadri F,Toni F,Torroni P.Logic Agents,dialogues and negotiation:An abductive approach.In:Schroeder M,Stathis K,eds.Proc.of the Conf.on Artificial Intelligence and Simulation of Behavior (AISB 2001).York,2001.31-38.
    [5]Sadri F,Toni F,Torroni P.Dialogues for negotiation:Agent varieties and dialogue sequences.In:Maher JJ,ed.Intelligent AgentsⅧ.LNAI2333,Heidelberg:Springer-Verlag,2002.405-421.
    [6]Sadri F,Toni F.Abduction with negation as failure for active and reactive rules.In:Lamma E,Mello P,eds.Proc.of the AI*IA 99,the 6th Congress of the Italian Association for Artificial Intelligence.LNAI 1792,Heidelberg:Springer-Verlag,2000.49-60.
    [7]Fung TH,Kowalski RA.The IFF proof procedure for abductive logic programming.Journal of Logic Programming,1997,33(2):151-165.
    [8]Kowalski A,Sadri F.From logic programming to multi-Agent systems.Annals of Mathematics and Artificial Intelligence,1999,25(3 -4):391-419.
    [9]Wang LM,Chai YM,Huang HK.Model for distributed data mining based on multi-Agent.Computer Engineering & Application,2004,40(9):197-199 (in Chinese with English abstract).
    [10]Wang LM,Huang HK:Multi-Agent resource negotiation in speculative computation.Journal of North Jiaotong University.2004,28(2):17-21 (in Chinese with English abstract).
    [9]王黎明,柴玉梅,黄厚宽.基于多Agent的分布式数据挖掘模型.计算机工程与应用,2004,40(9):197-199.
    [10]王黎明,黄厚宽.推测计算中的多Agent资源协商.北方交通大学学报,2004,28(2):17-21.
    Comments
    Comments
    分享到微博
    Submit
Get Citation

王黎明,黄厚宽.基于主Agent信念修正的推测计算及其资源协商.软件学报,2005,16(11):1920-1928

Copy
Share
Article Metrics
  • Abstract:3947
  • PDF: 4904
  • HTML: 0
  • Cited by: 0
History
  • Received:May 06,2004
  • Revised:May 09,2005
You are the first2045302Visitors
Copyright: Institute of Software, Chinese Academy of Sciences Beijing ICP No. 05046678-4
Address:4# South Fourth Street, Zhong Guan Cun, Beijing 100190,Postal Code:100190
Phone:010-62562563 Fax:010-62562533 Email:jos@iscas.ac.cn
Technical Support:Beijing Qinyun Technology Development Co., Ltd.

Beijing Public Network Security No. 11040202500063