贵州大学逻辑学硕士点2009级研究生试题.docVIP

贵州大学 逻辑学专业2009级硕士研究生 《计算机科学理论与实践》考试试卷(A) 学号：____________姓名：___________成绩：___________ 一、试述计算科学学科特点、发展规律和趋势。（10分） 二、什么是人工智能？试述人工智能研究的基本内容。（10分） 三、为什么说数理逻辑和代数是计算机科学的主要基础。（10分） 四、把下列谓词公式化成子句集：（10分） ((x)((y)((z)(P(x,y)(Q(x,y)(R(x,z)) 五、用谓词表示法表示修道士和野人问题。（10分） 在河的左岸有三个修道士、三个野人和一条船，修道士们想用这条船将所有的人都运到河对岸，但要受到以下条件限制： (1)修道士和野人都会划船，但船一次只能装运两个人。 (2)在任何岸边，野人数不能超过修道士，否则修道士会被野人吃掉。 假定野人愿意服从任何一种过河安排，请你规划出一种确保修道士安全的过河方案。要求写出所用谓词的定义，并给出每个谓词的功能及变量的个体域。 六、假设张被盗，公安局派出5个人去调查。案情分析时，侦察员A说：“赵和钱中至少有一个人作案”；侦察员B说：“钱和孙中至少有一个人作案”；侦察员C说：“孙和李中至少有一个人作案”；侦察员D说：“赵和孙中至少有一个人与此案无关”；侦察员E说：“钱和李中至少有一个人作案”。如果这5个侦察员的话都是可信的，试用归结演绎推理求出谁是盗窃犯。（10分） 七、设有如下推理规则 r1: IF E1 THEN (2,0.00001) H1 r2: IF E2 THEN (100,0.0001) H1 r3: IF E3 THEN (200,0.001) H2 r4: IF H1 THEN (50,0.1) H2 已知: P(E1)=P(E2)=P(E3)=0.6，P(H1)=0.091,P(H2)=0.010 又由用户告知：P（E1|S1）=0.84,P(E2|S2)=0.68,P(E3|S3)=0.36 请用主观Bayes方法求：P（H2|S1,S2,S3）=？（15分） 八、设 U=V=W={1,2,3,4,5,6} 且有如下规则： IF x is F TNEN y is G IF y is G THEN z is H IF x is F THEN z is H 其中，F，G，H的模糊集分别 F=1/1+0.8/2+0.5/3+0.4/4+0.1/5 G=0.1/2+0.2/3+0.4/4+0.6/5+0.8/6 H=0.2/3+0.5/4+0.8/5+1/6 请分别对各种模糊关系（Rm、Rc、Rg）验证满足模糊三段论的情况。（15分） 九、试从人工智能角度看当代逻辑学的发展。（网络文献综述）（10分） （考试要求：答题请独立思考完成，否则按不及格处理。) - 1 -