第二章：知识表示与知识图谱

知识与知识表示的概念

• 知识：把有关信息关联在一起所形成的信息结构称为知识。知识表示：将人类知识形式化或者模型化。

一阶谓词逻辑表示法

了解概念：命题、谓词、谓词公式（连接词、量词、量词的辖域）

• 判断命题：首先判断是否为陈述句、再判断他是否有唯一的真值。
• 连接词：非、析取、合取、蕴涵（注意谓词逻辑真值表中蕴涵Q的真值）、等价；
• 注意连接词的优先级
• 量词的辖域：辖域内与量词同名的变元称之为约束变元，不受约束的变元称之为自由变元。注意当对量词辖域内的约束变元更名时，必须把同名的约束变元都统一改成相同的名字，并且不能与域内的自由变元同名，当对辖域内的自由变元改名时，不能改成与约束变元相同的名字。

谓词公式的性质

• 谓词公式的解释：对各个命题变元的一次真值指派
• 谓词公式的永真性、可满足性、不可满足性（对于谓词公式P,如果至少存在一个解释使得公式P在此解释下的真值为T,则称公式P是可满足的，否则，公式是不可满足的）
• 谓词公式的等价性（若对共同的个体域D上的任何一个解释,谓词公式P与Q的取值都相同,则公式P和Q在域D上是等价的;如果D是任意个体域,则称P和Q是等价的）
• 谓词公式的主要等价式：
• 
• 谓词公式的永真蕴涵
• 
• 

一阶谓词逻辑知识表示方法

步骤：①定义谓词和个体；②为谓词中的变元赋予特定的值；③根据语义用适当的连接符号将各个谓词连接起来。

相关例题：（待补充）

产生式表示法

框架表示法