人工智能 第2版 第3章 自动推理.pptxVIP

人工智能

ArtificialIntelligence

第三章;2024/2/27;自动推理是人工智能的核心内容之一，是专家系统、程序推导、程序正确性证明、智能机器人等研究领域的重要基础。自动推理早期的工作主要集中在机器定理证明。1930年希尔伯特（Herbrand）为定理证明建立了一种重要方法，他的方法奠定了机械定理证明的基础。机械定理证明的主要突破是1965年由鲁宾逊做出的，他建立了所谓归结原理，使机械定理证明达到了应用阶段。在本章，首先讨论三段论推理和搜索策略，然后讨论归结演绎推理、产生式系统，最后讨论非单调推理。;2024/2/27;三段论是一种常用的推理形式，它由三个性质命题组成，其中两个性质命题是前提，另一个性质命题是结论。

例如科学是不断发展的；(大前提)

智能科学是科学：(小前提)

所以，智能科学是不断发展的。(结论)

这就是一个三段论。前两个性质判断包含着一个共同项——“科学”，由这两个具有同项的判断推出一个新的性质判断：智能科学是不断发展的。;其中，结论中的主项叫做小项，用“S”表示，如上例中的“智能科学；

结论中的谓项叫做大项，用“P”表示，如上例中的“不断发展的；

两个前提中共有的项叫做中项，用“M”表示，如上例中的“科学。

在三段论中，含有大项的前提叫大前提，如上例中的“科学是不断发展的”；含有小项的