文档介绍：经典逻辑推理
推理的基本概念
推理的逻辑基础
自然演绎推理
归结演绎推理
与/或型演绎推理
推理的基本概念
推理是按某种策略由已知判断推出另一判断的思维过程。
人工智能中的推理是由程序完成的-推理机。
已掌握的与求解问题有关的知识
关于问题的已知事实
结论
推理的方式及分类-演绎推理
演绎推理:由一般到具体(个别)的推理,演绎推理一般是三段论:
大前提:已知的一般性知识或假设。
小前提:关于所研究的具体情况或个别事实的判断。
结论:由大前提推出的适合小前提所示情况的新判断。
推理的方式及分类-演绎推理
例:
大前提:足球运动员身体是强壮的。
小前提:高波是足球运动员。
结论:所以高波的身体是强壮的。
推理的方式及分类-归纳推理
归纳推理是由个别到一般的推理过程。按归纳时所选事例的广泛性,可分为完全归纳和不完全归纳。
产品抽样检查
数学归纳法
默认推理(缺省推理)
在知识不完全的情况下,假设某些条件已经具备的情况下进行的推理。例如,A成立,在此条件下是否有B成立不清楚,假设A成立并且A→B成立,并利用其进行推理。
确定性推理和不确定性推理
确定性推理是指推理时使用的知识都是精确的,推出的结论也是确定的。本章主要研究此部分内容。
不确定性推理是指推理时所使用的知识有不精确或不确定的,推出的结论也不完全肯定。
人类的思维活动常常在知识不完全、不精确的情况下进行的,相对来说,不确定性推理更接近人类的思维过程。
单调推理和非单调推理
单调推理是指推理过程中,随着推理的向前推进及新知识的加入,推出的结论越来越接近最终目标。
非单调推理是指推理过程中,随着推理的向前推进及新知识的加入,不仅没有加强已有的结论,反而要否定它,使推理退回到前面的某一步。
推理的控制策略
推理方向。
搜索策略:第五章介绍。
冲突消解策略。
求解策略-求出一个解?求出所有的解?求出最优解?
限制策略-防止无穷推理过程。
推理方向-正向推理
从已知事实出发的一种推理,又称为数据驱动推理、前件推理,其基本思想为:
从用户提供的初始事实出发,在知识库KB中找出当前可适用的知识,构成可使用知识集KS,然后按某种冲突消解策略从KS中选择出一条知识进行推理,并将推出的结论作为新事实加入到数据库中作为下一步推理的已知事实。重复此过程直到求得所要求的解或知识库中无知识可用为止。