4.3自然演绎推理（1）定义从一组已知为真的事实出发，直接运用经典逻辑中的推理规则推出结论的过程（2）三段论推理假言推理、拒取式推理和假言三段论在自然演绎推理中，需要避免两类错误：肯定后件的错误、否定前件的错误优点：定理证明过程自然，易于理解，并且有丰富的推理规则可用缺点：是容易产生知识爆炸，推理过程中得到的中间结论一般按指数规律递增，对于复杂问题的推理不利，甚至难以实现4.4归结演绎推理4.4.

2.4框架表示法2.4.1框架基本结构框架表示法是以框架理论为基础的一种结构化知识表示方法框架基本结构如下：槽值有以下几种类型：(1)具体值value。该值按实际情况给定(2)默认值default。该值按一般情况给定，对于某个实际事物，具体值可以不同于默认值(3)过程值procedure。该值是个计算过程，它利用该框架的其他槽值，按给定计算过程(或公式)进行计算得出具体值(4)另一框架名。当槽值是

4.3自然演绎推理（1）定义从一组已知为真的事实出发，直接运用经典逻辑中的推理规则推出结论的过程（2）三段论推理假言推理、拒取式推理和假言三段论在自然演绎推理中，需要避免两类错误：肯定后件的错误、否定前件的错误优点：定理证明过程自然，易于理解，并且有丰富的推理规则可用缺点：是容易产生知识爆炸，推理过程中得到的中间结论一般按指数规律递增，对于复杂问题的推理不利，甚至难以实现4.4归结演绎推理4.4.

4.3自然演绎推理（1）定义从一组已知为真的事实出发，直接运用经典逻辑中的推理规则推出结论的过程（2）三段论推理假言推理、拒取式推理和假言三段论在自然演绎推理中，需要避免两类错误：肯定后件的错误、否定前件的错误优点：定理证明过程自然，易于理解，并且有丰富的推理规则可用缺点：是容易产生知识爆炸，推理过程中得到的中间结论一般按指数规律递增，对于复杂问题的推理不利，甚至难以实现4.4归结演绎推理4.4.

2.4框架表示法2.4.1框架基本结构框架表示法是以框架理论为基础的一种结构化知识表示方法框架基本结构如下：槽值有以下几种类型：(1)具体值value。该值按实际情况给定(2)默认值default。该值按一般情况给定，对于某个实际事物，具体值可以不同于默认值(3)过程值procedure。该值是个计算过程，它利用该框架的其他槽值，按给定计算过程(或公式)进行计算得出具体值(4)另一框架名。当槽值是

1.1人工智能的定义1.1人工智能指有可能制造出真正能推理和解决问题的智能机器，并且这样的机器是有知觉的，有自我意识强人工智能：类人工智能（思考、推理像人一样）、非类人人工智能（和人不一样的知觉、意识、思维）弱人工智能：和强人工智能相反1.2人工智能的发展历史1.2.1孕育阶段1642年，法国数学家Pascal(帕斯卡)发明了第一台机械计算器——加法器，开创了机械时代。此后，德国数学家Leibni