5 推理技术.pptxVIP

推理示例：5个房间问题有5个不同颜色的房间，每间有个不同国籍的人，每人有自己喜欢的饮料、香烟和宠物。已知信息：英国人在红房间中西班牙人有一条狗挪威人住在左边第一间房里黄房间中的人在抽库尔斯牌香烟抽切斯菲尔德牌香烟的人是养了一只狐狸的人的邻居挪威人住在蓝房间隔壁抽温斯顿牌香烟的人有一只蜗牛抽幸运牌香烟的人喝橘子汁乌克兰人喝茶日本人抽国会牌香烟抽库尔斯牌烟的房间在有匹马的房间隔壁绿房间中的人喝咖啡绿房间在白房间的左边中间房间的人喝牛奶问题：斑马在哪个房间中？哪个房间中的人喝水？4.黄房间中的人在抽库尔斯牌香烟11.抽库尔斯牌烟的房间在有匹马的房间隔壁2.西班牙人有一条狗8.抽幸运牌香烟的人喝橘子汁9.乌克兰人喝茶10.日本人抽国会牌香烟3.挪威人住在左边第一间房里6.挪威人住在蓝房间旁边14.中间房间的人喝牛奶1.英国人在红房间中7.抽温斯顿牌香烟的人有一只蜗牛12.绿房间中的人喝咖啡14.绿房间在白房间的左边8.抽幸运香烟的人喝橘子汁9.乌克兰人喝茶5.抽切斯菲尔德牌香烟的人的是养了一只狐狸的人的邻居房间号12345颜色国籍香烟饮料宠物挪威人乌克兰英国人日本人西班牙库尔斯温斯顿国会幸运切斯菲尔德水茶牛奶咖啡橘子汁狐狸马蜗牛斑马狗求解推理 (Reasoning)中南大学 刘丽珏OutlineWhat is reasoning?Inference in first-order logicSubstitutions and Unification ResolutionRule Based DeductionProduction-rule System(产生式系统)What is reasoning ?Ability and Process of making decision based on facts and knowledge.Mechanism According to logicl basis：Deduction（演绎） vs. Induction（归纳）According to the certainty of knowledge：Reasoning under certainty（确定） vs. uncertainty（不确定）According to the monotony of reasoning process：Monotonic（单调） vs. Non-monotonic（非单调）Control StrategyControl Strategies in Reasoning推理方向(Inference Direction)Facts → Conclusions (Forward chain, Data-driven)Facts ← Conclusions (Backward chain, Goal-driven)Facts ? Conclusions (Bi-directional)冲突消解(Conflict Resolution)Sort knowledge for improving reasoning efficiencySearchInference in first-order logic推理是如何进行的？推理过程多种多样例1：如果今天不下雨，我就去你家今天没有下雨例2：小王说他下午或者去图书馆或者在家休息小王没去图书馆计算机如何选择？鲁滨逊消解原理（归结原理）美国数学家鲁滨逊 提出消解原理（1965年） 基本的出发点：要证明一个命题为真都可以通过证明其否命题为假来得到 将多样的推理规则简化为一个——消解消解式什么叫消解消解式是亲本子句的逻辑结论P ? Q﹁P ? R亲本子句Q ? R消解只能在仅含否定和析取联接词的公式（子句）间进行必须先把公式化成规范的形式（范式，子句集）什么叫消解例1：小王说他下午或者去图书馆或者在家休息小王没去图书馆R——小王下午去图书馆S——小王下午在家休息R ? S?S﹁R例2：如果今天不下雨，我就去你家﹁ P→Q今天没有下雨﹁ P?P ? Q 置换与合一 化为子句集含变量的消解例：苏格拉底论断凡人都会死. ?x (Man (x) ? Mortal (x))苏格拉底是人. Man (Socrates)如何得到结论：苏格拉底会死.Mortal(Socrates)要完成消解还面临几个问题“?”和“ ?”必须去掉Man (x) ? Mortal (x) ??Man (x) ? Mortal “?”怎么办？如果能去掉“?”，?Man (x) 和Man (Socrates)也不能构成互补对，形式不一样，怎么办？Substitutions and Unifiers(置换与合一)要把消解推理规则推广到含有变量的子句，必须找到一个作用于亲本子句的置换，使亲本子句含有互补文字当子句之间可以找