一种意向驱动式面向agent程序设计语言
作者:
基金项目:

Supported by the National Natural Science Foundation of China under Grant No.60003010 (国家自然科学基金); the National Research Foundation for the Doctoral Program of Higher Education of China under Grant No.97028428 (国家教育部博士点基金)

  • 摘要
  • | |
  • 访问统计
  • |
  • 参考文献 [21]
  • |
  • 相似文献 [20]
  • |
  • 引证文献
  • | |
  • 文章评论
    摘要:

    提出了一种意向驱动式面向agent程序设计语言--AOPLID(agent-oriented programming language with intention driver).该语言基于开放式情景演算OSC(open situation calculus),吸收了GOLOG的合理成分,加入对信念、意向、能力、策略等agent心智成分的处理,使用信念修正原语处理通信交互以及事件响应等外因行动,并采用了一种新颖的离线规划和在线执行相结合的运行方式,从而解决了GOLOG语言在应用于面向agent程序设计时不能有效地描述处理agent心智状态,无法处理外因行动等问题.给出了AOPLID语言语法结构,基于OSC的AOPLID程序语义以及AOPLID程序实例.

    Abstract:

    An agent-oriented programming language with intention driver is proposed, which is called AOPLID. Based on open situation calculus, AOPLID can be regarded as an improvement of GOLOG that is based on situation calculus. AOPLID can formalize some elements of the agent’s mental state, namely belief, intention, capability and strategy. A belief revision operator is introduced in AOPLID to deal with the communication and exogenous events. AOPLID solves the problems GOLOG faces, such as inconvenience of describing the agent’s mental state, lack of communication. The syntax of the AOPLID and its semantic under the OSC are presented. An example program of AOPLID that describes the coffee machine is given too.

    参考文献
    [1]Shoham, Y. Agent-Oriented programming. Artificial Intelligence, 1993,60(1):51~92.
    [2]Thomas R. The PLACA agent programming language. In: Wooldridge M, Jenings N, eds. Intelligent Agents. LNAI 890, Springer-Verlag, 1994. 355~370.
    [3]Levesque H, Reiter R, Lespérance Y, Lin F, Scherl R. GOLOG: a logic programming language for dynamic domains. Journal of Logic Programming, 1997,31(1):59~84.
    [4]McCabe F, Clark K. April-Agent based systems. In: Wooldridge M, Jenings N, eds. Intelligent Agents. LNAI 890, Springer-Verlag, 1994. 293~317.
    [5]Poggi A. DAISY: an object-oriented system for distributed artificial intelligence. In: Wooldridge M, Jenings N, eds. Intelligent Agents. LNAI 890, Springer-Verlag, 1994. 341~354.
    [6]Wooldridge M. MYWORLD: the logic of an agent-oriented DAI testbed. In: Wooldridge M, Jenings N, eds. Intelligent Agents. LNAI 890, Springer-Verlag, 1994. 160~178.
    [7]Labrou Y, Finin T. A proposal for a new KQML specification. Technique Report, TRCS-97-03, University of Maryland Baltimaore County, 1997.
    [8]Hu SL, Shi, CY. Agent-BDI logic. Journal of Software, 2000,11(10):1353~1360 (in Chinese with English Abstract).
    [9]Guo L, Zhang DM, Li B. A feasible solution to the frame problem. Pattern Recognition and Artificial Intelligence, 2000,13(2): 121~127 (in Chinese with English Abstract).
    [10]Zhang DM. A general framework for belief revision. In: Bai S, ed. Proceedings of the 4th International Conference for Young Computer Scientists. Beijing: Peking University Press, 1995. 574~581.
    [11]Zhang DM. Belief revision by sets of sentences. Journal of Computer Science and Technology, 1996,11(2):1~19.
    [12]Guo L. Studies on the situation calculus and belief revision . Department of Computer Science and Technology, Nanjing: Nanjing University, 2002 (in Chinese with English Abstract).
    [13]Liu, DY, Yang, K, Chen, JZ. Agents: present status and trends. Journal of Software, 2000,11(3):315~321 (in Chinese with English Abstract).
    [14]Levesque HJ. What is planning in the presence of sensing? In: Weld D, Clancey B, eds. Proceedings of the 13th National Conference on Artificial Intelligence (AAAI'96). 1996. 1139~1146.
    [15]Shapiro S, Lespérance Y, Levesque HJ. Goals and rational action in the situation calculus-a preliminary report. In: Working Notes of the AAAI Fall Symposium on Rational Agency: Concepts, Theories, Models, and Applications. Cambridge, MA: AAAI Press, 1995.
    [16]Lakemeyer G, Levesque HJ. AOL: a logic of acting, sensing, knowing, and only knowing. In: Cohn AG, Schubert LK, Shapiro SC, eds. Principles of Knowledge Representation and Reasoning: Proceedings of the 6th International Conference (KR'98). 1998. 316~329.
    [17]Shapiro S, Lespérance Y, Levesque HJ. Specifying communicative multi-agent systems with ConGolog. In: Traum D, ed. Working Notes of the AAAI Fall 1997 Symposium on Communicative Action in Humans and Machines. Cambridge, MA: AAAI Press, 1997. 75~82.
    [18]胡山立,石纯一.Agent BDI逻辑.软件学报,2000,11(10):1353~1360.
    [19]郭磊,张东摩,李斌.框架问题的一种可行解.模式识别与人工智能,2000,13(2):121~127.
    [20]郭磊.情景演算与信念修正的研究及其应用[博士学位论文].南京:南京大学计算机科学与技术系,2002.
    [21]刘大有,杨鲲,陈建中.Agent研究现状与发展趋势.软件学报,2000,11(3):315~321.
    引证文献
    网友评论
    网友评论
    分享到微博
    发 布
引用本文

郭磊,戈也挺,陈世福,张东摩.一种意向驱动式面向agent程序设计语言.软件学报,2003,14(3):383-391

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

京公网安备 11040202500063号