构建问题解决器

第1章 前言

第2章 导引

第3章 传统问题求解

第3.1节 问题空间模型

第3.2节 CPS设计

从概念上来说, CPS由两部分构成: 一个是用户提供问题空间的接口, 另一个是搜索引擎. 我们从问题空间的接口开始. 显然我们需要操作状态和行动的能力. 那么哪些操作是我们需要的呢?

以下是三种我们需要能够对于状态施行的操作.

1. 目标检测: 确定状态是否满足目标要求.
2. 状态同一性判断: 判断两个对于状态的描述是否指的是同一个状态.
3. 状态展示: 产生对于给定状态的人类可读描述.

第3.3节 CPS实现的事项

第3.4节 CPS实现

第3.5节 Boston地铁导航

第3.6节 解决代数问题

第3.7节 搜索之荣光已逝?

第4章 模式导向的推理系统

第4.1节 模式导向的推理系统模型

第4.2节 TRE的设计

第4.3节 TRE的实现

第4.4节 自然演绎

第5章 扩展模式导向的推理系统

第6章 事实维护系统导引