试题详情
- 多项选择题基于规则的逆向演绎系统对事实、规则和目标的化简过程（）
A、用Skolem函数（对偶形）消去目标公式中的全称量词，化简的公式受存在量词的约束。
B、用Skolem函数消去事实表达式中的存在量词，化简的公式受全称量词的约束。
C、对规则的处理同（*）式。
D、用Skolem函数消去事实表达式中的存在量词，化简的公式受全称量词的约束。（*）
- A,C,D
关注下方微信公众号，在线模考后查看
热门试题
- 谓词逻辑是一种表达能力很强的形式语言，其
- 求取子句集的步骤包括以下步骤：消去“蕴含
- 一条路径的耗散值等于连接这条路径各节点间
- 当某个算符被认为是问题求解的决定步骤时，
- 全局择优搜索A算法描述？
- （）以一套规则建立人的长期存储器模型。
- 两个具有不同填充色和不同边线色的封闭图形
- 人工智能有哪些应用领域或课题？试举例说明
- 选中相应的动作，单击Actions调板中
- 下列关于工具箱中“钢笔工具”（Pen&#
- 设P是谓词公式，对于P的任何论域，存在P
- 如果一个产生式系统可以分解为几个子问题，
- 用鼠标单击工具箱上的Eyedropper
- 基于规则的逆向演绎系统对事实、规则和目标
- 什么是人工智能？试从学科和能力两方面加以
- 请解释框架表示法的结构性、继承性、自然性
- 两个具有不同填充色和不同描边色的封闭对象
- 在Adobe Illustra
- 下列哪些操作可用来进行对象的精确移动？（
- 在工具箱中，单击右下角有黑三角的工具，可