倾向型心态的表示和推理
| 摘要 | 第1-6页 |
| Abstract | 第6-8页 |
| 引言 | 第8-11页 |
| 第1章 绪论 | 第11-27页 |
| §1.1 理性主体 | 第11-14页 |
| §1.2 主体如何理性行动 | 第14-19页 |
| §1.3 BDI模型 | 第19-21页 |
| §1.4 基本出发点 | 第21-22页 |
| §1.5 心理状态 | 第22-24页 |
| §1.6 本文的工作 | 第24-27页 |
| 第2章 背景知识及相关工作 | 第27-47页 |
| §2.1 命题语言 | 第27-28页 |
| §2.2 模态逻辑 | 第28-30页 |
| §2.3 计算复杂性 | 第30-33页 |
| §2.4 行动的表示 | 第33-35页 |
| §2.5 反应式系统 | 第35-37页 |
| §2.6 人工智能规划 | 第37-39页 |
| §2.7 决策论 | 第39-41页 |
| §2.8 实用推理和BDI模型 | 第41-45页 |
| §2.8.1 BDI主体形式化 | 第41-43页 |
| §2.8.2 PRS | 第43-45页 |
| §2.9 小结 | 第45-47页 |
| 第3章 B2D主体框架 | 第47-67页 |
| §3.1 B2D框架 | 第48-60页 |
| §3.1.1 B2D主体规范 | 第48-52页 |
| §3.1.2 B2D主体形式化 | 第52-54页 |
| §3.1.3 B2D结构和执行算法 | 第54-56页 |
| §3.1.4 讨论 | 第56-60页 |
| §3.2 主体模型刻划 | 第60-65页 |
| §3.3 小结 | 第65-67页 |
| 第4章 有用性刻划 | 第67-107页 |
| §4.1 部分蕴涵语义 | 第69-94页 |
| §4.1.1 直观分析 | 第70-71页 |
| §4.1.2 部分蕴涵语义 | 第71-76页 |
| §4.1.3 部分蕴涵性质分析 | 第76-83页 |
| §4.1.4 复杂性分析 | 第83-94页 |
| §4.2 正相关和联合满足 | 第94-102页 |
| §4.2.1 正相关 | 第94-101页 |
| §4.2.2 联合满足 | 第101-102页 |
| §4.3 刻划有用性 | 第102-104页 |
| §4.4 小结 | 第104-107页 |
| 第5章 应用 | 第107-117页 |
| §5.1 B2D系统 | 第107-112页 |
| §5.2 新的B2D主体 | 第112-116页 |
| §5.2.1 反应式-规划主体 | 第112-114页 |
| §5.2.2 基于有用性形式化的B2D主体 | 第114-116页 |
| §5.3 小结 | 第116-117页 |
| 第6章 总结 | 第117-127页 |
| 致谢 | 第127-129页 |
| 论文发表情况 | 第129-130页 |
