人工智能知识表示方法谓词逻辑70.pptxVIP

人 工 智 能 Artificial Intelligence (AI);第2章 知识表示方法 2.1 谓词逻辑法 2.2 状态空间法 2.3问题归约法;2.1 谓词逻辑法 数理逻辑〔符号逻辑〕是用数学方法研究形式逻辑的一个分支。它通过符号系统来表达客观对象以及相关的逻辑推理。常用的是命题逻辑和谓词逻辑;谓词逻辑是数理逻辑的根本形式，是基于谓词分析的一种形式化〔数学〕语言 人工智能中的谓词逻辑法是指用一阶谓词来描述问题求解和定理证明〔限于本课程〕;2.1.0 命题逻辑的复习 ;例： 雪是白的。〔陈述句，T〕 雪是可蓝的。〔陈述句，F〕 雪是黑的。〔陈述句，F〕 他是学生。〔陈述句，他泛指，无法判断真假〕 你今天上课没有？〔疑问句〕 请坐校车！〔祈使句〕 ;命题逻辑是研究命题及命题之间关系的符号逻辑系统。 在命题逻辑中，表示单一意义的命题，称之为原子命题。 原子命题通过 “联结词〞 构成 复合命题。;五个联结词： ;④ “?〞 表示 “蕴含〞 复合命题“P?Q〞为假，当且仅当P为真且Q为假。 ;⑤ “?〞 表示 “等价〞 复合命题“P?Q〞为真，当且仅当P、Q同时为真、或者同时为假。 ;真值表 ;命题变元：用符号P、Q等表示的不具有固定、具体含义的命题。它可以表示具有“真〞、“假〞含义的各种命题。 命题变元可以利用联结词构成所谓的适宜公式。 ;适宜公式的定义 ①假设P为