林　颖，张晓君

(1.宁德师范学院 经济管理系, 福建 宁德　352100；2.四川师范大学 信息与逻辑研究所, 成都　610066)



信念-愿望-意图逻辑探析

林颖1，张晓君2

(1.宁德师范学院 经济管理系, 福建 宁德352100；2.四川师范大学 信息与逻辑研究所, 成都610066)

摘要：在理性主体寻求达成其目的的过程中，信念、愿望和意图起着重要的作用。由Rao和Georgeff提出的信念-愿望-意图逻辑是建立在分支时间可能世界模型的基础之上的。说明了该逻辑框架对意图的重要成分(比如：信念、愿望、意图和承诺)是如何进行形式化的。另外，不同类型的理性主体可以通过添加特定的条件来进行建模。

关键词：信念；愿望；意图；承诺；BDI逻辑

一、引言

做知识级分析的系统被称为Agent(多译为 “主体”“智能主体”“智能体”“真体”等，在本文中采用“主体”这一译法。比如：人、具有智能的高级动物、仿人机器人等都可视为Agent)[1]。Agent强调理性作用，是描述机器智能、动物智能和人类智能的统一模型[2]14，而这些智能则是构成社会智能的主要成分。作为认知型智能的Agent，其典型的行为模型就是BDI(Belief-Desire-Intension，简称BDI)逻辑框架[3]。BDI逻辑主要探讨信念、愿望、意图与Agent行为的关系及其形式化描述[4]。

主体和多主体系统的研究是系统工程、分布式人工智能等领域研究的重点和热点问题之一[5]，它在电子商务、自主移动机器人、面向主体的软件工程、军事仿真等诸多领域有着广泛的应用。20年多来，一些学者提出的理论和结构为多Agent系统提供了形式支持[6]。其中，影响最为广泛的形式系统则是Rao和Georgeff[7]建立的BDI逻辑系统，此系统能够帮助设计者根据Agent的信念、愿望和意图对系统所期望的行为进行推理和决策[8]232。……