一种并发的BDI-Agent模型
作者:
基金项目:

Supported by the National Natural Science Foundation of China under Grant Nos.69973023, 60173011 (国家自然科学基金)


A Concurrent BDI-Agent Model
  • 摘要
  • | |
  • 访问统计
  • |
  • 参考文献 [16]
  • |
  • 相似文献 [20]
  • |
  • 引证文献
  • | |
  • 文章评论
    摘要:

    在区分宏观时间和微观时间的基础上,建立了分支时间结构的并发BDI-Agent模型,在微观时间上以交叠方式描述了宏观时间中的并行性.Agent的思维状态是建立在宏观时间上的,并发动作语义由相应的微观时间结构给出.为基于并发的多Agent合作和竞争提供了合适的逻辑基础,推进了Rao&Georgeff,Singh和Werner等人有关Agent模型方面的工作.

    Abstract:

    Based on macro-time and micro-time, a BDI-Agent model with branch time tree is defined. In this model, parallel actions in macro-time are interleaving in micro-time. The mental state of Agent is constructed on macro-time, and the semantics of concurrent actions are given in micro-time level. Thus, it can be a proper logic basis for describing multi-Agent cooperation and competition that involve concurrent, and it can advance the work in Agent models developed by Rao & Georgeff, Singh and Werner et al.

    参考文献
    [1]Cohen P, Levesque H. Intention is choice with commitment. Artificial Intelligence, 1990,42(2-3):213~261.
    [2]Rao AS, Georgeff MP. Modeling rational agents within a BDI-architecture. In: Allen J, Fikes R, Sandewall E, eds. Proceedings of the 2rd International Conference on Principles of Knowledge Representation and Reasoning. San Mateo, CA: Morgan Kaufmann Publishers, Inc., 1991. 473~484.
    [3]Hu SL, Shi CY. Agent-BDI logic. Journal of Software, 2000,11(10):1353~1360 (in Chinese with English Abstract).
    [4]Kang XQ, Shi CY. A BDI model for rational agents. Journal of Software, 1999,10(12):1268~1274 (in Chinese with English Abstract).
    [5]Haddadi AS. Communication and Cooperation in Agent Systems. Berlin: Springer-Verlag, 1996.
    [6]Ma GW, Xu JH, Shi CY. Modeling social agents in BDO logic. Chinese Journal of Computers, 2001,24(5): 521~528 (in Chinese with English Abstract).
    [7]Meyer JJC, van der Hoek W, van Linder B. A logical approach to the dynamics of commitments. Artificial Intelligence, 1999, 113(1,2):1~40.
    [8]Wooldridge M, Lomuscio A. Multi-Agent VSK logic. In: Ojeda-Aciego M, deGuzman IP, Brewka G, Pereira LM, eds. Logics in Artificial Intelligence: European Workshop, JELIA 2000. LNAI 1919, New York: Springer-Verlag, 2000. 300~312.
    [9]Schroeder M, Wagner G. Vivid agents: theory, architecture, and applications. Journal for Applied Artificial Intelligence, 2000,14(7):645~676.
    [10]Meyer JJC. Dynamic logic for reasoning about actions and agents. In: Minker J, ed. Logic-Based Artificial Intelligence. Boston: Kluwer Academic Publishers, 2000. 281~314.
    [11]Singh MP. Toward a model theory of actions: how Agents do it in branching time. Computational Intelligence, 1998,14(3): 287~305.
    [12]de Vries W, de Boer FS, van der Hoek W, ChMeyer JJ. A truly concurrent model for interacting agents. In: Yuan S-T, Yokoo M, eds. Intelligent Agents: Specification, Modeling, and Applications: the 4th Pacific Rim International Workshop on Multi-Agents (PRIMA 2001). LNAI 2132, New York: Springer-Verlag, 2001. 16~30.
    [13]Werner E. Logical foundations of distributed artificial intelligence. In: O'Hare GMP, Jennings NR, eds. Foundations of Distributed Artificial Intelligence. New York: John Wiley & Sons, Inc., 1996. 57~118.
    [14]胡山立,石纯一.Agen-BDI逻辑.软件学报,2000,11(10):1353~1360.
    [15]康小强,石纯一.一种理性Agent的BDI模型.软件学报,1999,10(12):1268~1274.
    [16]马光伟,徐晋晖,石纯一.社会Agent的BDO模型.计算机学报,2001,24(5):521~528.
    网友评论
    网友评论
    分享到微博
    发 布
引用本文

王一川,石纯一.一种并发的BDI-Agent模型.软件学报,2003,14(3):422-428

复制
分享
文章指标
  • 点击次数:3868
  • 下载次数: 5134
  • HTML阅读次数: 0
  • 引用次数: 0
历史
  • 收稿日期:2002-01-24
  • 最后修改日期:2002-06-10
文章二维码
您是第19783646位访问者
版权所有:中国科学院软件研究所 京ICP备05046678号-3
地址:北京市海淀区中关村南四街4号,邮政编码:100190
电话:010-62562563 传真:010-62562533 Email:jos@iscas.ac.cn
技术支持:北京勤云科技发展有限公司

京公网安备 11040202500063号