人工智能初步(第一讲)命题逻辑与谓词逻课件.pptVIP

* 人工智能数学基础（一） ——命题逻辑与谓词逻辑 人类智能在计算机上的模拟就是人工智能，而智能的核心是思维，因而如何把人们的思维活动形式化、符号化，使其得以在计算机上实现，就成为人工智能研究的重要课题。在这方面，逻辑的有关理论、方法、技术起着十分重要的作用。 人工智能中用到的逻辑可以概括地分为两大类： 一类是经典逻辑和一阶谓词逻辑，其特点是任何一个命题的真值或者为“真”，或者为“假”，二者必居其一。 另一类是泛指除经典逻辑外地那些逻辑，主要包括三值逻辑、多值逻辑、模糊逻辑、模态逻辑及时态逻辑等。 命题逻辑与谓词逻辑是最先应用于人工智能的两种逻辑，对于知识的形式化表示，特别是定理的证明发挥了重要作用。谓词逻辑是在命题逻辑基础上发展起来的，命题逻辑可看作是谓词逻辑的一种特殊形式。下面我们来讨论谓词逻辑的主要概念及有关定理。 定义1、命题是具有真假意义的语句。 命题代表人们进行思维时的一种判断，若命题的意义为真，称它的真值为真，记作T；若命题的意义为假，称它的真值为假，记作F。一个命题不能同时既为真又为假，但可以在一定条件下为真，在另一种条件下为假。没有真假意义的语句（如感叹句、疑问句等）不是命题。 例如：“北京是中华人民共和国首都”；