证:
答案:
一、1、D 2、C 3、C 4、D 5、A
6、A 7、D 8、C 9、D 10、B
11、A 12、B 13、A.14、D 15、B
二、1、图林2、正向推理3、Artifical Intelligence
4、随机性,模糊性,不完全性,不一致性
5、纯文字,永真式,类含
6、-CF(A),min{CF(A1),CF(A2)},max{CF(A1),CF(A2)})
7、节点和有向边,或图,与或图8、最一般合一(MGU)
9、深蓝10、制造智能机器,实现机器智能
三、1、答:1)表示:命题“张三比较胖”2)解释为:如果患者有些头疼并且发高烧,则他患了重感冒。
2、答:1)产生式规则库:描述相应领域知识的产生式规则集
2)数据库:(事实的集合)存放问题求解过程中当前信息的数据结构(初始事实、外部数据库输入的事实、中间结果事实和最后结果事实)
3)推理机:(控制系统)是一个程序,控制协调规则库与数据库的运行,包含推理方式和控制策略。
3、答:
4、解:k=0;S0=S;δ0=ε;S0不是单元素集,求得差异集D0={g(A,y)},z},其中z是变元,g(A,y)是项,且z不在g(A,y)中出现。k=k+1=1
有δ1=δ0·{g(A,y)/z}=ε·{g(A,y)/z}={g(A,y)/z},
S1=S0·{g(A,y)/z}={P(f(x,g(A,y)),g(A,y))},S1是单元素集。
根据求MGU算法,MGU=δ1={g(A,y)/z}
5、证:①┓P(x)∨Q(x)...从F1变换
②┓P(y)∨R(y)`...从F1变换
③P(a)...从F2变换
④S(a)...从F2变换
⑤┓S(z)∨┓R(z)...结论的否定
⑥R(a)...②③归结{a/y}
⑦┓R(a)...④⑤归结{a/z}
⑧□...⑥⑦归结
得证。
四、1、答:谓词公式表示:
x(student(x)∧read(x,三国演义))
语义网络表示如图:
2、
3、证:现定义如下谓词
L(x,y)-—--—-某人x喜欢某物y;
P(y)———-——某物y是清洁的东西
(1)yx(P(y)→L(x,y))==>┓P(y)∨L(f(y),y)