子句

子句

裴端卿-预测技术

2023年3月17日发(作者：双氯芬酸钠乳膏)

AI：谓词公式化为⼦句集

⽂章⽬录

定义

原⼦谓词公式：⼀个不能再分解的命题

如：花是红的、雪是⽩的

⽂字：原⼦谓词公式及其否定

P称为正⽂字，⾮P称为负⽂字，P和⾮P为互补⽂字

⼦句：任何⽂字的析取式称为⼦句，⽂字本⾝也是⼦句。

如：P或Q，P或(⾮Q)

空⼦句：不包含任何⽂字的⼦句，表⽰为NIL。

空⼦句是永假的，不可满⾜的

⼀般过程

1.消去蕴含和等价

2.移动否定符号

3.变量标准化

4.消去存在量词

5.化为前束型

6.化为Skolem标准型

7.略去全称量词

8.消去合取词，把母式⽤⼦句集表⽰

9.⼦句变量标准化

不同的⼦句⽤不同的变元