问答题
简答题
简述谓词逻辑归结过程。
【参考答案】
写出谓词关系公式→用反演法写出谓词表达式→SKOLEM标准形→子句集S →对S中可归结的子句做归结→归结式仍放入S中，反......
(↓↓↓ 点击下方‘点击查看答案’看完整答案 ↓↓↓)
点击查看答案
相关考题
-
问答题
什么是博弈问题？ -
问答题
您认为《人工智能》课程的哪一部分内容对您的毕业设计或者您以后的工作特别有用？如果有，请叙述其原理；如果没有，请您谈谈人工智能的发展对人类有哪些的影响？ -
问答题
对于八数码难题按下式定义估价函数：f（x）=d（x）+h（x），其中，d（x）为节点x的深度；h（x）是所有棋子偏离目标位置的曼哈顿距离（棋子偏离目标位置的水平距离和垂直距离和），例如下图所示的初始状态S0：8的曼哈顿距离为2；2的曼哈顿距离为1；1的曼哈顿距离为1；6的曼哈顿距离为1；h（S0）=5。初始状态（S0）：目标状态：（1）用A*搜索法搜索目标，列出头三步搜索中的OPEN、CLOSED表的内容和当前扩展节点的f值。（2）画出搜索树和当前扩展节点的f值。
