计算机科学人工智能问答题每日一练(2019.12.02)

问答题
画出本问题的代价树。
答案：
代价树如下：
问答题
判断公式对是否可合一；若可合一，则求出最一般的合一。P（a，b），P（x，y）
答案：
问答题
什么是建造专家系统的工具？
答案：专家系统开发工具是一些比较通用的工具，作为设计和开发专家系统的辅助手段和环境，以求提高专家系统的开发效率、质量和自动化水...
问答题
简述鲁滨逊归结原理基本思想？
答案：首先把欲证明问题的结论否定，并加入子句集，得到一个扩充的子句集S’。然后设法检验子句集S’是否含...
问答题
简述基于规则的逆向演绎系统对事实、规则和目标的化简过程。
答案：（1）用Skolem函数（对偶形）消去目标公式中的全称量词，化简的公式受存在量词的约束；
（2）对规则的处理同...