| Agent主动目标的形式化模型 |
| |
| 引用本文： | 吴骏,王崇骏,骆斌,陈世福.Agent主动目标的形式化模型[J].软件学报,2008,19(7):1644-1653. |
| |
| 作者姓名： | 吴骏 王崇骏 骆斌 陈世福 |
| |
| 作者单位： | 南京大学,计算机软件新技术国家重点实验室,江苏,南京,210093;南京大学,计算机科学与技术系,江苏,南京,210093 |
| |
| 基金项目： | Supported by the National Natural Science Foundation of China under Grant No.60503021 (国家自然科学基金); the Natural Science Foundation of Jiangsu Province of China under Grant No.BK2005075 (江苏省自然科学基金); the High-Tech Research Program of Jiangsu Province of China under Grant No.BG2006027 (江苏省高技术研究计划) |
| |
| 摘 要： | 在agent结构中,主动目标是一个功能上自含且有自己独立控制流的实体.给出了主动目标相关的语法定义以及主动目标运行的操作语义,而且主动目标驱动下的BDI agent结构也被形式化地定义出来.区别于以往的一些BDI agent结构,目标不是隐含地表示而是作为实体显式地表示在agent结构中,使agent结构很自然地支持并行的目标,这被认为是agent理性行为的一个重要方面.此外,对目标的显式定义也为agent在动态的环境中对承诺的重新考虑带来了方便.
|
| 关 键 词： | 智能agent agent结构 agent编程语言 BDI模型 目标 |
A Formal Model for Agent Active Goals |
| |
| WU Jun,WANG Chong-Jun,LUO Bin,CHEN Shi-Fu,and CHEN Shi-Fu.A Formal Model for Agent Active Goals[J].Journal of Software,2008,19(7):1644-1653. |
| |
| Authors: | WU Jun WANG Chong-Jun LUO Bin CHEN Shi-Fu and CHEN Shi-Fu |
| |
| Abstract: | In agent architecture,an active goal is a functionally self-contained entity with independent control flow.The related syntax of active goal and the operational semantics of active goal execution are presented. Furthermore,the BDI agent architecture driven by active goals is formally specified.Different from some former BDI agent architectures,goals are explicitly represented in the agent architecture as active entities.Parallel goals are supported in the architecture level by a very natural fashion,which is considered to be an important aspect of the rational behavior of agent.What's more,the explicit definition of goals provides convenience to the reconsideration of commitments for agents situated in dynamic environments. |
| |
| Keywords: | intelligent agent agent architecture agent programming language BDI model goal |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
|
