知识与知识表示的概念
- 知识:把有关信息关联在一起所形成的信息结构称为知识。知识表示:将人类知识形式化或者模型化。
一阶谓词逻辑表示法
了解概念:命题、谓词、谓词公式(连接词、量词、量词的辖域)
- 判断命题:首先判断是否为陈述句、再判断他是否有唯一的真值。
- 连接词:非、析取、合取、蕴涵(注意谓词逻辑真值表中蕴涵Q的真值)、等价;
- 注意连接词的优先级
- 量词的辖域:辖域内与量词同名的变元称之为约束变元,不受约束的变元称之为自由变元。注意当对量词辖域内的约束变元更名时,必须把同名的约束变元都统一改成相同的名字,并且不能与域内的自由变元同名,当对辖域内的自由变元改名时,不能改成与约束变元相同的名字。
谓词公式的性质
- 谓词公式的解释:对各个命题变元的一次真值指派
- 谓词公式的永真性、可满足性、不可满足性(对于谓词公式P,如果至少存在一个解释使得公式P在此解释下的真值为T,则称公式P是可满足的,否则,公式是不可满足的)
- 谓词公式的等价性(若对共同的个体域D上的任何一个解释,谓词公式P与Q的取值都相同,则公式P和Q在域D上是等价的;如果D是任意个体域,则称P和Q是等价的)
- 谓词公式的主要等价式:
- 谓词公式的永真蕴涵
一阶谓词逻辑知识表示方法
步骤:①定义谓词和个体;②为谓词中的变元赋予特定的值;③根据语义用适当的连接符号将各个谓词连接起来。