• Article
  • | |
  • Metrics
  • |
  • Reference [21]
  • |
  • Related
  • |
  • Cited by [6]
  • | |
  • Comments
    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.

    Reference
    [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.
    Related
Get Citation

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

Copy
Share
Article Metrics
  • Abstract:
  • PDF:
  • HTML:
  • Cited by:
History
  • Received:March 01,2002
  • Revised:May 24,2002
You are the first2032782Visitors
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