第3章 确定性推理方法（导论）_latest.pptxVIP

第3章确定性推理方法;2;3;4;5;6;第3章确定性推理方法;8;9;10;11;12;13;14;15;16;17;18;19;20;21;22;23;3.1.3推理的方向;3.1.3推理的方向;26;27;28;29;30;31;32;33;34;;;;38;39;40;;;;44;45;46;;48;49;50;51;52;53;54;55;56;57;如果一个谓词公式符合下面条件，它就是前束范式

所有量词前面都没有联接词;

所有量词都在公式的左面；

所有量词的辖域都延伸到公式的末尾。;如果一个谓词公式符合下面条件，它就是前束范式

所有量词前面都没有联接词;

所有量词都在公式的左面；

所有量词的辖域都延伸到公式的末尾。;3.3谓词公式化为子句集的方法;3.3谓词公式化为子句集的方法;62;63;64;;66;67;68;69;70;71;72;3.4归结原理;74;3.5归结反演;;77;78;79;80;81;82;96;97;98;99;100;101;102