人工智能初步命题逻辑和谓词逻辑.ppt

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