早教吧作业答案频道 -->其他-->
状态空间法、问题归约法、谓词逻辑法和语义网络法的要点是什么?
题目详情
状态空间法、问题归约法、谓词逻辑法和语义网络法的要点是什么?
▼优质解答
答案和解析
答：状态空间法是一种基于解答空间的问题表示和求解方法,它是以状态和操作符为基础的.在利用状态空间图表示时,从某个初始状态开始,每次加一个操作符,递增地建立起操作符的试验序列,直到达到目标状态为止.由于状态空间法需要扩展过多的节点,容易出现“组合爆炸”,因而只适用于表示比较简单的问题.
问题归约法从目标（要解决的问题）出发,逆向推理,通过一系列变换把初始问题变换为子问题集合和子子问题集合,直至最后归约为一个平凡的本原问题集合.这些本原问题的解可以直接得到,从而解决了初始问题,用与或图来有效地说明问题归约法的求解途径.
谓词逻辑法采用谓词合适公式和一阶谓词演算把要解决的问题变为一个有待证明的问题,然后采用消解定理和消解反演来证明一个新语句是从已知的正确语句导出的,从而证明这个新语句也是正确的.
语义网络是知识的一种图解表示,它由节点和弧线或链线组成.节点用于表示实体、概念和情况等,弧线用于表示节点间的关系.语义网络的解答是一个经过推理和匹配而得到的具有明确结果的新的语义网络.语义网络可用于表示多元关系,扩展后可以表示更复杂问题
问题归约法从目标（要解决的问题）出发,逆向推理,通过一系列变换把初始问题变换为子问题集合和子子问题集合,直至最后归约为一个平凡的本原问题集合.这些本原问题的解可以直接得到,从而解决了初始问题,用与或图来有效地说明问题归约法的求解途径.
谓词逻辑法采用谓词合适公式和一阶谓词演算把要解决的问题变为一个有待证明的问题,然后采用消解定理和消解反演来证明一个新语句是从已知的正确语句导出的,从而证明这个新语句也是正确的.
语义网络是知识的一种图解表示,它由节点和弧线或链线组成.节点用于表示实体、概念和情况等,弧线用于表示节点间的关系.语义网络的解答是一个经过推理和匹配而得到的具有明确结果的新的语义网络.语义网络可用于表示多元关系,扩展后可以表示更复杂问题
看了状态空间法、问题归约法、谓词逻...的网友还看了以下：
求一道逻辑题有两位盲人相约去商场买衣服,他们都各自买了两件黑衣服和两件白衣服,衣服的布料、大小完全 2020-05-13 …
逻辑学和逻辑思维学有什么区别?在一篇论文上看到,关于逻辑学（形式逻辑,数理逻辑,辩证逻辑）已经有了 2020-05-14 …
形式逻辑的几道题求解（填空题和论述题）求大神帮助填空题11.逻辑学研究的核心课题,是.2.确定一对 2020-06-06 …
逻辑题和答案 2020-06-27 …
逻辑题.求救.有一辆火车以每小时15公里的速度离开洛杉矶开往42公里以外的纽约,另一辆火车以每小时 2020-06-27 …
逻辑判断逻辑问题“所有是”,的否命题,矛盾命题是什么?跟“并非所有是”什么关系?“有的是”跟“并非 2020-07-09 …
一道逻辑题,几个人说假话?一道逻辑题,题面是：洽沃央格神看到神树,预见了战争之后,来到岸国,希望阻 2020-07-11 …
求助lvm的增加逻辑卷和卷组的问题！创建一个逻辑卷逻辑卷database，属datastore卷组 2020-07-22 …
状态空间法、问题归约法、谓词逻辑法和语义网络法的要点是什么? 2020-12-01 …
逻辑题一个农夫带着一只狼,一只羊和一些菜过河.河边只有一条船,由于船太小,只能装下农夫和他一样东逻辑 2020-12-08 …