(042第四章推理技术谓词逻辑.pptVIP

* * * * * * * * * * * * * * * * * * * * * * 图3-2 例3.22 归结演绎树 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 练习1 证明子句集{P∨乛Q,乛P, Q}是不可满足的。 练习2 某公司招聘工作人员，有A,B,C三人应聘，经面试后，公司表示如下想法： （1）三人中至少录取一人 （2）如果录取A而不录取B,则一定录取C （3）如果录取B,则一定录取C 试用归结原理求证：公司一定录取C Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 第一步：将问题用谓词公式表示 前提：（1）三人中至少录取一人 ： A∨ B ∨ C （2）如果录取A而不录取B,则一定录取C： (A∧乛B)→C （3）如果录取B,则一定录取C ： B→C 结论：公司一定录取C