1、首先把由目标公式的否定产生的每个子句添加到目标公式否定之否定的子句中去。
2、然后按照反演树，执行和以前相同的消解，直至在根部得到某个子句为止。
3、最后用根部的子句作为一个回答语句。
如何通过消解反演求取问题的答案
通过消解反演求取问题答案的具体操作如下：1、首先把由目标公式的否定产生的每个子句添加到目标公式否定之否定的子句中去。2、然后按照反演树，执行和以前相同的消解，直至在根部得到某个子句为止。3、最后用根部的子句作为一个回答语句。
用消解反演证明:
~P(x)∨~B(x)∨~P(y)∨G(y)；B(x)_∨G(x)；P(u)∨~P(v)∨B(v)；P(O1)；~P(O2)；~G(w)}以下。1，2，3，4，5，6分别代表上面字句集中的第1-6个字句：7~P(v)∨B(v)3，58B(v)7，49~P(x)∨~P(y)∨G(y)8，1。反演规则实际上是定理6的推广，可通过定理6和...
状态空间法、问题归约法、谓词逻辑法和语义网络法的要点是什么?_百度...
谓词逻辑法采用谓词合适公式和一阶谓词演算把要解决的问题变为一个有待证明的问题，然后采用消解定理和消解反演来证明一个新语句是从已知的正确语句导出的，从而证明这个新语句也是正确的。语义网络是知识的一种图解表示，它由节点和弧线或链线组成。节点用于表示实体、概念和情况等，弧线用于表示节点间的...
什么叫零和理论
零和理论可以消解所有精神和价值问题，它摧毁一切价值真理并揭露其语义本质和虚无表象，人类是宇宙秩序和历史的组成，无法逃脱基本的物质法则和历史轨迹。在这个时空的历史中，我们会遭遇无数的认知黑洞，人类的渺小视界无法超越自身，意义在这里坍塌。
人工智能及其应用的目录
16 数据挖掘与知识发展1.4.17 人工生命1.4.18 系统与语言工具1.5 本书概要习题1第2章 知识表示与推理2.1 知识表示的一般方法2.2 图搜索策略2.3 一般搜索与推理技术2.4 A算法2.5 消解原理2.5.1 子句集的求取2.5.2 消解推理规则2.5.3 含有变量的消解式2.5.4 消解反演...
人工智能原理与方法的目录
目 录第1章绪论1.1什么是人工智能1.1.1智能1.1.2人工智能1.1.3人工智能的发展简史1.2人工智能的研究目标及基本内容1.2.1人工智能的研究目标1.2.2人工智能研究的基本内容1.3人工智能的研究途径1.3.1以符号处理为核心的方法1.3.2以网络连接为主的连接机制方法1.3.3系统集成1.4人工智能的...
