数理逻辑又称符号逻辑、理论逻辑。它既是数学的一个分支，也是逻辑学的一个分支。是用数学方法研究逻辑或形式逻辑的学科。其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。数理逻辑是数学基础的一个不可缺少的组成部分。虽然名称中有逻辑两字，但并不属于单纯逻辑学范畴。

浙江大学高济 人工智能讲义 全课程分三个部分：绪论，基础篇，提高篇。绪论即第一章，阐述 人工智能研究的发展和基本原则。基础篇由五章构成，第二、三章介绍 人工智能的基本概念、方法和技术，包括搜索、归约和逻辑推理等问题 求解的基本方法以及知识表示的理论和方法；第四、五、六章讨论人工 智能技术的主要应用，包括基于知识的系统，自动规划和配置，以及机 器学习和知识发现。提高篇由七、八、九三章组成，旨在拓广人工智能 的研究和应用，包括非单调推理、不确定推理、模糊推理、神经网络等 新型问题求解技术，自然语言

模糊控制是以模糊集理论、模糊语言变量和模糊逻辑推理为基础的一种智能控制方法，它是从行为上模仿人的模糊推理和决策过程的一种智能控制算法。模糊控制首先将操作人员或专家经验编成模糊规则，然后将来自传感器的实时信号模糊化，将模糊化后的信号作为模糊规则的输入，完成模糊推理，将推理后得到的输出量加到执行器上。         模糊控制的过程如下图所示。         上图中，包括了模糊控制的主要过程。关于模糊控制的基本原理，在很多文章中都有介绍，但一般介绍都比较抽象，读者不容易理解。在本文中，我们通过一

模糊控制是以模糊集理论、模糊语言变量和模糊逻辑推理为基础的一种智能控制方法，它是从行为上模仿人的模糊推理和决策过程的一种智能控制算法。模糊控制首先将操作人员或专家经验编成模糊规则，然后将来自传感器的实时信号模糊化，将模糊化后的信号作为模糊规则的输入，完成模糊推理，将推理后得到的输出量加到执行器上。         模糊控制的过程如下图所示。         上图中，包括了模糊控制的主要过程。关于模糊控制的基本原理，在很多文章中都有介绍，但一般介绍都比较抽象，读者不容易理解。在本文中，我们通过一