人工智能基于谓词的逻辑推理.pptVIP

第五章 基于谓词的逻辑推理 谓词逻辑亦称为经典逻辑推理,含命题逻辑与一阶谓词逻辑推理,其真值只有“真”和“假”两种，因此它是一种精确推理，或称为确定性推理。 第五章 基于谓词的逻辑推理 第五章 基于谓词的逻辑推理 第五章 基于谓词的逻辑推理 按照某种策略由已知的知识/判断推出另一知识/判断的思维过程。 含两种判断： 1、已知的判断：KB中知识及关于问题的已知事实。 2、由已知判断推出的新判断，即推理的结论。 推理是由程序实现，称为推理机。 第五章 基于谓词的逻辑推理 1、按照推理的途径分： 1）演绎推理：从已知的判断出发，通过演绎推出结论，即结论就蕴含在已知的判断中，上一般到个别的推理。 　　常用形式是“三段论式”：包括大前提、小前提和结论。 例如：Ａ）音乐系的学生至少会弹奏一种乐器。（大前提） 　　　Ｂ）李某是音乐系的一名学生。（小前提） 　　　Ｃ）李某至少会弹奏一种乐器。（结论） 第五章 基于谓词的逻辑推理 2）归纳推理：从个别到一般的推理。 　　Ａ）按特殊事例的考察范围分： 　　　　完全归纳推理和不完全归纳推理。 　　Ｂ）按推理所使用的方法分： 　　　　枚举归纳推理和类比归纳推理。 3）默认推理：亦称缺省推理。在知识不完全的情况下假设某些条件已经具备所进行的推理。 第五章 基于谓词的逻辑推理 2、按照知识的确定性分： 1）确定性推理：亦称精确性推理，知识、结论都是精确的，其真值或为“真”，或为“假”。 2）不确定性推理：推理时用的知识不是精确的，其结论也不完全是肯定的，其真值是介于“真”与“假”之间。 第五章 基于谓词的逻辑推理 3、按照知识是否单调性分： 　　注：“单调性”是指随着推理的向前推进及新知识的加入，推出的结论是否越来越接近最终目标。 第五章 基于谓词的逻辑推理 1）单调性推理：随着推理的向前推进及新知识的加入，推出 的结论呈单调增加的趋势。即结论呈单调增加的趋势，其越来越接近最终目标。 　　基于谓词逻辑的演绎推理等经典逻辑的演绎推理属于此类。 2）非单调性推理：新知识的加入，不仅没有加强已推出的结论，反而否定它，使得推理再回到前面的某一步，重新开始。 　　默认推理属于此类。 第五章 基于谓词的逻辑推理 4、是否有启发性分： 注：“启发性”是指在推理中，是否利用了与待解问题 有关的知识进行推理。 1）启发式推理 2）非启发式推理 　　另外有：基于知识的推理、统计的推理、直觉推理等。 第五章 基于谓词的逻辑推理 　 即求解问题的策略。 　　含推理的效果、推理的效率、推理路线、推理方向、求解策略、冲突消解策略、限制策略、有哪些信誉好的足球投注网站策略等。 1、推理的效果 　　指若问题有解，控制策略应能保证经过推理得到解。若有多个解，能选出最优解，并能终止推理过程。 第五章 基于谓词的逻辑推理 2、推理的效率 　　指推理时尽量使用与问题本身有关的启发性信息。 3、推理路线（亦推理策略） 　　初态到目态所启用的知识形成了一个推理链，称之为推理路线。 第五章 基于谓词的逻辑推理 4、推理方向：即推理的驱动方式。 　　1）正向推理：亦称数据驱动推理、前件推理。以初始证据作为出发点。 　　2）反向推理：亦称目标驱动推理、后件推理。以假设结论作为出发点。 　　3）混合推理：正向、反向推理结合起来。又分： 　　　　Ａ）先正向后反向的混合推理。 　　　　Ｂ）先反向后正向的混合推理。 　　4）双向推理：正向、反向推理同时进行。 第五章 基于谓词的逻辑推理 5、冲突消解策略 1)　按就近原则排序； 2)　按知识特殊性排序； 3)　按上下文限制排序； 4)　按知识的新鲜性排序； 5)　按知识的差异性排序； 6)　按领域问题的特点排序； 7)　按规则的次序排序； 8)　按前提条件的规模排序； 第五章 基于谓词的逻辑推理 6、求解策略 　　指推理是求一个解，还是求所有解以及最优解等。 7、限制策略 防止无穷的推理。 8、有哪些信誉好的足球投注网站策略 第五章 基于谓词的逻辑推理 　　对于两个知识模式的比较与耦合，即它们是否完全一致/近似一致。 如：命题公式 谓词公式 语义网络等 1、可匹配的：两者完全一致/近似一致。否则为不可匹配。 2、只有模式匹配，才能从KB中选出适当的知识 ，进而推理。 3、确定性匹配/完全匹配/精确匹配：两知识模式完全一致，或经过变量代换完全一致。 第五章 基于谓词的逻辑推理 4、变量代换 无论是确定性匹配还是不确定匹配，在进行匹配时一般都需要进行变量的代换。 定义1：代换是形如： {t1/x1， t2/x2