一种意向驱动式面向agent程序设计语言-软件学报.PDF

1000-9825/2003/14(03)0383 ©2003 Journal of Software 软 件 学 报 Vol.14, No.3 ∗ 一种意向驱动式面向 agent 程序设计语言 1 1 1+ 2 郭 磊 , 戈也挺 , 陈世福 , 张东摩 1(南京大学 计算机软件新技术国家重点实验室,江苏 南京 210093) 2(南京航空航天大学 计算机科学与工程系,江苏 南京 210016) An Agent-Oriented Programming Language with Intention Driver 1 1 1+ 2 GUO Lei , GE Ye-Ting , CHEN Shi-Fu , ZHANG Dong-Mo 1(State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing 210093, China) 2(Computer Science and Engineering, Nanjing University of Aeronautics and Astronautics, Nanjing 210016, China) + Corresponding author: E-mail: chensf@ Received 2002-03-19; Accepted 2002-05-24 Guo L, Ge YT, Chen SF, Zhang DM. An agent-oriented programming language with intention driver. Journal of Software, 2003,14(3):383~391. 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. Key words: agent-oriented programming; exogenous action; situation calculus; belief revision 摘 要: 提出了一