人工智能——归结推理
归结推理思考题归结演绎推理谓词公式的范式前束型范式Skolem范式（斯克林范式）谓词公式G化为Skolem标准型的步骤子句与子句集谓词公式分别化成子句集归结推理方法命题逻辑中的归结原理归结原理谓词逻辑的归结原理归结原理利用归结原理进行定理证明“快乐学生”问题利用归结原理进行定理证明应用归结原理进行问题求解归结原理的特点思考题问题：设A，B，C三人中有人从不说真话，也有人从不说假话。某人向这三人分别提出同一个问题：谁是说谎者？A答：“B和C都是说谎者”；B答：“A和C都是说谎者”；C答：“A和B中至少有一个是说谎者”。求谁是老实人，谁是说谎者？
答案：C是老实人，A、B是说谎者。
归结演绎推理鲁滨逊归结原理把永真性的证明转化为关于不可满足性的证明。反证法：P⇒Q，当且仅当P∧～Q⇔F，即Q为P的逻辑结论，当且仅当P∧～Q是不可满足的。海伯伦(Herbrand)定理为自动定理证明奠定了理论基础。鲁滨逊(Robinson)提出的归结原理使机器定理证明成为现实。谓词公式的范式前束型范式Skolem范式（斯克林范式）谓词公式G化为Skolem标准型的步骤子句与子句集谓词公式分别化成子句集归结推理方法命题逻辑中的归结原理归结原理谓词逻辑的归结原理归结原理利用归结原理进行定理证明应用归结原理进行定理证明的步骤如下：
设要被证明的定理可用谓词公式表示为如下的形式：A1∧A2∧…∧An⇒B首先否定结论B，并将否定后的公式～B与前提公式集组成如下形式的谓词公式：G=A1∧A2∧…∧An∧～B。求谓词公式G的子句集S。应用归结原理，证明子句集S的不可满足性，从而证明谓词公式G的不可满足性。这就说明对结论B的否定是错误的，推断出定理的成立。“快乐学生”问题利用归结原理进行定理证明应用归结原理进行问题求解问题求解步骤：
把已知前提条件用谓词公式表示出来，并化成相应的子句集，设该子句集的名字为S1S_{1}S1。把待求解的问题也用谓词公式表示出来，然后将其否定，并与一谓词ANSWER构成析取式。谓词ANSWER是一个专为求解问题而设置的谓词，其变量必须与问题公式的变量完全一致。把问题公式与谓词ANSWER构成的析取式化为子句集，并把该子句集与S1合并构成子句集S。对子句集S应用谓词归结原理进行归结，在归结的过程中，通过合一置换，改变ANSWER中的变元。如果得到归结式ANSWER，则问题的答案即在ANSWER谓词中。归结原理的特点【人工智能导论】第2讲 一阶谓词逻辑知识表示法
【实例分割｜Detectron2】MaskR-CNN预测超过100个实例码字的蜗牛ls:博主你好，这个参数哪个文件修改的？
【Gazebo_Bug】Nopgainspecifiedforpid（已解决）ros小白:注意缩进，这个/gazebo……需要跟上面的标签joints同一个位置的。虽然不报错栏，但是机器人进入到gazbeo中一直处于瘫软的状态，并且不断抖动，与下面的评论一样。
【Ubuntu16.04_Bug】打开Jupyternotebook报错：UnicodeDecodeError:‘ascii‘codeccan‘tdecodebyte……HardHardHardenna:有用！
【LaTex】Reference`xxx‘onpagexundefined.已成功解决该警告Dawn1212:请问怎么改呀没有看懂呢，注释掉什么？
ROS入门学习笔记9：创建工作空间与功能包dingjinxinfangyu:MakeErrorat/opt/ros/noetic/share/catkin/cmake/catkinConfig.cmake:83(find_paCMakeckage):Couldnotfindapackageconfigurationfileprovidedby"topic"withanyofthefollowingnames:topicConfig.cmaketopic-config.cmake请问这是怎么回事
人工智能一阶谓词逻辑表示法
一阶谓词逻辑表示法是一种重要的知识表示方法，它以数理逻辑为基础，是到目前为止能够表达人类思维活动规律的一种最精准形式语言。它与人类的自然语言比较接近，又可方便存储到计算机中去，并被计算机进行精确处理。因此，它是一种最早应用于人工智能中的表示方法。
知识的谓词逻辑表示法
人类的一条知识一般可以由具有完整意义的一句话或几句话表示出来，而这些知识要用谓词逻辑表示出来，一般是一个谓词公式。所谓谓词公式就是用谓词联接符号将一些谓词联接起来所形成的公式。
用谓词公式既可以表示事物的状态、属性和概念等事实性的知识，也可以表示事物间具有确定因果关系的规则性知识。对事实性知识，谓词逻辑的表示法通常是由以合取符号（∧）和析取符号（∨）联接形成的谓词公式来表示。例如，对事实性知识“张三是学生，李四也是学生”，可以表示为：
ISSTUDENT（张三）∧ISSTUDENT（李四）
这里，ISSTUDENT（x）是一个谓词，表示x是学生；对规则性知识，谓词逻辑表示法通常由以蕴涵符号（→）联接形成的谓词公式（即蕴涵式）来表示。例如，对于规则：
如果x，则y
可以用下列的谓词公式进行表示：
x→y