王老师:19139051760(微信同号) 13333709510
找答案
注册
登录
名词解释
所有科目
成人高考
成考院校
联大
青书学堂
文才
和学
现代兴业
安徽教育在线
超星
弘成
广东开放大学
国家开放大学
上海开放大学
含弘慕课
教育服务
成人高校
成考录取分数线
我要提升学历
提升学历的理由:
升职加薪、积分落户、考研、公务员考试、子女入学、出国留学
成人高考报名入口
当前位置:
首页
>
联大系统
>
信阳师范学院
>
信阳师范学院 人工智能
输入试题:
本题添加时间:2023/4/3 12:59:00
圆梦客服:王老师 19139051760(微信同号) 19139051760(微信同号)
[简答题,3.4分] 谓词公式G通过8个步骤所得的子句集合S,称为G的子句集。请写出这些步骤。
答案是:1)消去蕴含式和等价式→,<-> 2)缩小否定词的作用范围,直到其作用于原子公式: 3)适当改名,使量词间不含同名指导变元和约束变元。 4.)消去存在量词(形成Skolem标准型) 5)消去所有全称量词 6)化成合取范式 7).适当改名,使子句间无同名变元 8).消去合取词∧,用逗号代替,以子句为元素组成一个集合S
出自
信阳师范学院 人工智能
联大系统
信阳师范学院
更多试题>>>>
1、
[简答题,3.4分] 什么是产生式?产生式规则的语义是什么?
2、
[简答题,3.4分] 将下列自然语言转化为谓词表示形式: (1)所有的人都是要呼吸的。 (2)每个学生都要参加考试。 (3)任何整数或是正的或是负的。
3、
[简答题,3.4分] 简述模式识别系统的工作原理
4、
下列哪个系统属于新型专家系统?() A.多媒体专家系统 B.实时专家系统 C.军事专家系统 D.分布式专家系统
5、
下列搜索方法中不属于盲目搜索的是:() A.等代价搜索 B.宽度优先搜索 C.深度优先搜索 D.有序搜索
提升学历-成人高考报名入口
提升学历-成人高考院校名单