智能体行动推理中的信念改变的研究

摘要

对于智能体而言，搜集世界信息的能力和搜集到新信息后修正原有信念的能力是非常重要的。信念改变包括信念更新和信念修正，是指改变智能体原有信念来接受更新，更准确，更可靠，并且有可能与原来信念不一致的信息的过程。行动推理的核心思想是任何引起系统状态变化的因素都可以看作是行动。信念改变和行动推理已成为人工智能领域研究的两个重要分支。
　　 在行动推理中允许智能体修正信念对行动推理系统而言是一种重要扩展，然而之前的相关工作却存在一些问题或不足。因此，本文从修正算法和行动推理系统两方面进行改进，然后将信念修正运用到行动推理中。主要工作和创新包括以下几点：
　　 (1)对现有的主要信念修正假设作了充分研究和分析，选择出适合指导信念改变算法的假设组合作为研究改变算法的基础。对目前主要的修正算法进行了研究，并指出了其存在的不足。
　　 (2)提出和实现了依赖信念改变算法。依赖信念改变算法是在依赖信念集的基础上，以恢复遗弃信念集的方式完成迭代信念修正和更新。更新算法满足Ind，C1，C2，KM假设，弥补了加强修正算法的不足。用实例验证了依赖信念改变算法满足假设的情况以及对加强修正算法的改进。
　　 (3)提出基于依赖信念改变的行动推理模型ARBC。该模型使用公式表示信念，用公式的集合表示信念集，用依赖信念修正算法进行信念修正，用依赖信念更新算法进行行动推理。在层次结构上，分为决策层、公理层和推理层，分别表示进行规划和设计时所采取的策略，运行所遵循的公理和进行基本推理的推理机制，通过实例验证了ARBC的可行性。

目录

文摘

英文文摘

声明

第一章绪论

1.1智能Agent

1.2行动推理

1.2.1 STRIPS

1.2.2情景演算

1.2.3事件演算

1.2.4流演算

1.2.5状态演算

1.3信念表达和修正概述

1.3.1信念逻辑

1.3.2非单调逻辑

1.3.3动态认知

1.3.4主体分类

1.3.5信念修正研究分类

1.4论文主要研究内容

第二章信念修正的假设和算法

2.1信念修正的框架和假设

2.1.1 AGM框架

2.1.2 KM假设

2.1.3 DP框架

2.1.4 Ind假没

2.2信念修正相关算法

2.2.1顺序条件函数修正算法

2.2.2自然修正算法

2.2.3基于认知牢固度的迭代修正算法

2.2.4动态信念修正算法

2.2.5加强修正算法

2.3信念修正与行动推理的结合

2.3.1情景演算中的信念修正

2.3.2流演算中的信念修正

2.4本章小结

第三章依赖信念改变

3.1符号介绍

3.2依赖信念改变相关定义

3.3依赖信念更新算法

3.4依赖信念修正算法

3.5定理与性质

3.6依赖信念修正和更新算法的实现

3.6.1命题证明的实现

3.6.2修正和更新算法的实现

3.7实例分析

3.8相关工作比较

3.9本章小结

第四章基于依赖信念改变的行动推理模型

4.1 ARBC基本概念

4.1.1信念、信念集

4.1.2动作、情景

4.1.3层次结构和推理流程

4.2 ARBC公理系统

4.2.1初始信念公理

4.2.2前提条件公理

4.2.3行动更新公理

4.2.4信念修正公理

4.3推理机制

4.4 ARBC模型的实现

4.5应用实例分析

4.6相关工作比较

4.7本章小结

第五章总结与展望

5.1本文工作总结

5.2进一步工作

致 谢

参考文献

在读期间所发表的论文