Agent主动目标的形式化模型

作者:吴骏; 王崇骏; 骆斌; 陈世福
来源:软件学报, 2008, 19(07): 1644-1653.
DOI:10.3724/SP.J.1001.2008.01644

摘要

在agent结构中,主动目标是一个功能上自含且有自己独立控制流的实体.给出了主动目标相关的语法定义以及主动目标运行的操作语义,而且主动目标驱动下的BDI agent结构也被形式化地定义出来.区别于以往的一些BDI agent结构,目标不是隐含地表示而是作为实体显式地表示在agent结构中,使agent结构很自然地支持并行的目标,这被认为是agent理性行为的一个重要方面.此外,对目标的显式定义也为agent在动态的环境中对承诺的重新考虑带来了方便.

  • 单位
    南京大学; 计算机软件新技术国家重点实验室

全文