第四章推理技术 4.1一阶谓词逻辑推理 4.2归结演绎推理推理技术概述 n 推理是人类求解问题的主要思维方法，即按照某种策略从已有事 实和知识推出结论的过程。按思维方式可分演绎推理、归纳推理 、类比推理等。 n 逻辑推理：按逻辑规则进行的推理。分为： 经典逻辑推理:主要指命题逻辑和一阶谓词逻辑推理，也称精确推理或确 定性推理； 非经典逻辑推理：主要指除经典逻辑之外，按多值逻辑、模糊逻辑、概 率逻辑等的推理，也称为非精确推理或非确定性推理。逻辑推理举例 经典推理：苏格拉底之死 如何判别谎言？ ABC三人都喜欢说谎话，偶尔也说真话。某天，A指责B说谎 话，B指责C说谎话，C说AB两人都在说谎话。问谁在说谎？ 有几条疯狗？ 村里有50户人家，每家都养了一条狗。现发现村子里面出现 了n只疯狗，村里规定，谁要是发现了自己的狗是疯狗，就要将自 己的狗枪毙。但问题是，村子里面的人只能看出别人家的狗是不 是疯狗，而不能看出自己的狗是不是疯的，如果看出别人家的狗 是疯狗，也不能告诉别人。于是大家开始观察，第一天晚上，没 有枪声，第二天晚上，没有枪声，第三天晚上，枪声响起（具体 几枪不清楚），问村子里有几
