文档介绍：NurfürdenpersönlichenfürStudien,Forschung,zukommerziellenZweckenverwendetwerden第一章:(计算机)上实现的智能,或称机器智能第二章:P515.(1)有的人喜欢打篮球,有的人喜欢踢足球,有的人既喜欢打篮球又喜欢踢足球。定义谓词:LIKE(x,y):x喜欢y。PLAY(x,y):x打(踢)y。MAN(x):x是人。定义个体域:Basketball,er。($x)(MAN(x)→LIKE(x,PLAY(x,Basketball)))∨($y)(MAN(y)→LIKE(y,PLAY(y,er)))∨($z)(MAN(z)→LIKE(z,PLAY(z,Basketball))∧LIKE(z,PLAY(z,er))(2)并不是每个人都喜欢花。定义谓词:LIKE(x,y):x喜欢y。P(x):x是人定义个体词:flower¬("x)(P(x)→LIKE(x,flower))(3)欲穷千里目,更上一层楼。定义谓词:S(x):x想要看到千里远的地方。H(x):x要更上一层楼。("x)(S(x)→H(x)),其基本形式是:P→Q或者If P Then Q [ElseS] 其中,P是前件,用于指出该产生式是否可用的条件。Q是一组结论或者操作,用于指出当前提P满足时,应该得出的结论或者应该执行的操作。区别:蕴含式只能表示精确知识;而产生式不仅可以表示精确知识,还可以表示不精确知识。产生式中前提条件的匹配可以是精确的,也可以是非精确的;而谓词逻辑蕴含式总要求精确匹配。:规则集、全局数据库、控制策略。步骤:1)初始化全局数据库,把问题的初始已知事实送入全局数据库中2)若规则库中存在尚未使用的规则,而且它的前提可与全局数据库中的已知事实匹配,则转3),若不存在则转5)3)执行当前选中的规则,并对该规则做标记,把该规则执行后得到的结论送入全局数据库中。如果该规则的结论部分指出的是某些操作,则执行这些操作。4)检查全局数据库中是否已经包含了问题的解,若已经包含,则求解结束,否则转2)5)要求用户提供进一步的关于问题的已知事实,若能提供,则转2),否则求解结束。6)若规则库中不再有未使用过的规则,则求解过程结束。:<教师>姓名:单位(姓,名)年龄:单位(岁)性别:范围(男,女)缺省为男职称:范围(教授,副教授,讲师,助教)缺省我讲师部门:单位(系,教研室)住址:<地址框架>工资:<工资框架>开始工作时间:单位(年,月)截止时间:单位(年,月)缺省为现在框架名:<学生>姓名:单位(姓,名)年龄:单位(岁)性别:范围(男,女)缺省为男学院:单位(学院,系)班级:单位(年级,班级)入学时间:单位(年,月)截止时间:单位(年,月):P836.(1)由于("x)("y)(P(x,y)∧Q(x,y))已经是Skolem标准型,且P(x,y)∧Q(x,y)已经是合取范式,所以可直接消去全称量词、合取词,得{P(x,y),Q(x,y)}再进