归结演绎

归结演绎推理

前置知识

image-20200920112127896

将谓词公式化为子句集

以例题演示步骤

image-20200920113258773 image-20200920113314011 image-20200920113335334 image-20200920113355104

谓词公式不可满足的充要条件是其子句集不可满足

子句集是不可满足的，等价于其全部子句的合取式是不可满足的

鲁滨逊归结原理

基本思想

image-20200920194032736 image-20200920194057459

定理

image-20200920194143946

例题

image-20200920194219665image-20200920194253302

image-20200920194433489

image-20200920194527143

归结反演

基本步骤

image-20200920194954415

例题

image-20200920195152580

image-20200920195428007image-20200920195445252

image-20200920195428007image-20200920195445252

posted @ 2020-09-20 19:58  盐盐盐の锅  阅读(362)  评论(0)  编辑  收藏  举报