4、答:(1)专家系统与一般的软件系统开发无异,其开发过程同样要遵循软件工程的步骤和原则,即也要进行系统分析、系统设计等几个阶段的工作。
(2)但由于它是专家系统,而不是一般的软件系统,所以,又有其独特的地方,主要包括以下几个步骤:
1) 系统总体分析与设计; 2) 知识获取;
3) 知识表示与知识描述语言设计; 4) 知识库设计、知识库管理系统设计; 5) 推理机与解释模块设计; 6) 总控与界面设计 7) 编程与调试 8) 测试与评价 9) 运行与维护
(3)可以看出它有如下特点:
1) 知识获取和知识表示设计是一切工作的起点; 知识表示与知识描述语言确定后,其他设计可同时进行;
5、答:所谓“图灵实验”,是为了判断一台机器是否具备智能的实验。实验由三个封闭的房间组成,分别放置主持人、参与人和机器。主持人向参与人和机器提问,通过提问的结果来判断谁是
人,谁是机器。如果主持人无法判断谁是人,谁是机器,则这台机器具备智能,即所谓的“智能机器”。
6、解:现定义如下谓词 F(x,y)------ x是y的父亲; G(x,z)------ x是y的祖父; 用谓词逻辑表示已知与求解: (1) F(x,y)∧F(y,z)→G(x,z) (2) F(L,D) (3) F(D,X)
(4) G(u,v),u=?,v=?
其中,L表示老李,D表示大李,X表示小李。 先证存在祖孙关系
① ~F(x,y)∨~F(y,z)∨G(x,z)...从(1)变换 ② F(L,D) ③ F(D,X) ④ ~G(u,v)
...从(2)变换 ...从(3)变换 ...结论的否定
⑤ ~F(D,z)∨G(L,z) ⑥ G(L,X) ⑦ □
...①②归结,置换{L/x,D/y} ...③⑤归结,置换{X/z}
...④⑥归结,置换{L/u,X/v}
得证,说明存在祖孙关系。 为了求解用一个重言式④
④ ~G(u,v)∨G(u,v) ...用重言式代替结论的否定,重言式恒为真 ⑤ ~F(D,z)∨G(L,z) ⑥ G(L,X) ⑦ G(L,X)
...①②归结,置换{L/x,D/y} ...③⑤归结,置换{X/z} ...④⑥归结,置换{L/u,X/v}
得结果:L是X的祖父,即老李是小李的祖父。 7、如下的知识可以帮助求解该问题:
(1)序列中,偶数在偶数位置,奇数在奇数位置; (2)第五个数为5。 综合数据库:
用一个1到9的序列表示:N = {x},其中x为1到9的数字之一。 规则集:
r1: IF len(N)=4 THEN {x}∪{5}
r2: IF len(N)为偶数and n=In(1, 3, 7, 9) THEN {x}∪{n} r3: IF len(N)为奇数and n=In(2, 4, 6, 8) THEN {x}∪{n}
其中len(N)为求序列的长度,In(a, b, c, d)为取a、b、c、d之一。 初始状态:{}
结束条件:得到的序列N前i个数组成的整数能被i整除