软件工程专业《人工智能》课件-谓词逻辑与归结原理.pdf

3 3 33 第 章谓词逻辑与归结原理 �命题逻辑的归结法 �谓词归结子句形 �归结原理 �归结过程的策略控制 A B C A B C AA BB CC 例、设 、 、 三人中有人从不说真话，也有人 从不说假话，某人向这三人分别提出同一个问题： A “B C ” B A “B C ” B 谁是说谎者？AA答：““BB和CC都是说谎者””；BB答： “A C ” C “A B “A C ” C “A B ““AA和CC都是说谎者””；CC答：““AA和BB中至少有一 ” ” 个是说谎者””。求谁是老实人，谁是说谎者？ 归结 推理 命题 谓词逻 Herbrand Herbrand HHeerrbbrraanndd 逻辑 辑 定理 数理 命题逻辑 基本 谓词逻辑 逻辑 归结 概念 归结原理 Skolem 合一和置换、 Skolem标准形、 SSkkoolleemm 子句集 控制策略 命题 �命题：能判断真假（不是既真又假）的陈述句。 简单陈述句描述事实、事物的状态、关系等性质。 1 1+1=2 1 1+1=2 11 11++11==22 例如： ． 2 ． 雪是黑色的。 2 22 3 3 ． 北京是中国的首都。 33 4 4 ． 到冥王星去渡假。 44 1 1 11 而例如： ． 快点走吧！ 2 2 22 ． 到那去？ 3 x+y10