雅理技术 必逻辑是人脑恩维的规律，从而也是推理的理论基础 必谓词逻辑 必非标准逻辑，由谓词逻辑扩充和发展 语义扩充：多值逻辑、模糊逻辑 语构扩充：模态逻辑、时态逻辑 它研究必然、可能及其相关概念的逻辑性质 把合有时态动词的语句形式化，并且把含有这种语句 的推理系统化 推理与逻辑相辅相成，推理为逻辑提出课题，逻辑为 推理奠定基础
16 推理技术 逻辑是人脑思维的规律，从而也是推理的理论基础 谓词逻辑 非标准逻辑，由谓词逻辑扩充和发展 语义扩充：多值逻辑、模糊逻辑 语构扩充：模态逻辑、时态逻辑 它研究必然、可能及其相关概念的逻辑性质 把含有时态动词的语句形式化，并且把含有这种语句 的推理系统化 推理与逻辑相辅相成，推理为逻辑提出课题，逻辑为 推理奠定基础
搜索技术 必所谓搜索，就是为了达到某一“目标”，而连续地 进行推理的过程。搜索就是对推理进行引导和控制 的技术。 必问题求解实质上就是在显式或者隐式的问题空间上 进行搜索的过程。 必如盲目搜索，启发式搜索等
17 搜索技术 所谓搜索，就是为了达到某一“目标”，而连续地 进行推理的过程。搜索就是对推理进行引导和控制 的技术。 问题求解实质上就是在显式或者隐式的问题空间上 进行搜索的过程。 如盲目搜索，启发式搜索等