1.(补充习题)判断以下公式对是否可合一若可合一,则求出最一般的合一 (3)P(f(x),y),P(y,f(b)) 解:令O=,S={p(f(x),y),P(y,f(b))} ①差异集为{f(x),y},做替换{f(x)/y},则 1=0of(x)y}={f(x)/y} S1 =S, ={P((x), f (x), P( f(x),(b)); ②差异集为{x,b},做替换{b/x},则

1.已知前提:(1)如果x与y是同班同学,则x的老师也是y的老师;(2)小李和小 张是同班同学;(3)王先生是小李的老师,运用自然演绎推理证明:王先生也是小张 的老师 证明:首先定义谓词: Teacher(x, y) x是y的老师 Classmates(x, y) x和y是同班同学 则已知的前提可以符号化为 (1)VxVyV=Teacher(x, y)A Classmates (, =)>Teacher(x, =))

7.1 不确定性及其类型 7.2 不确定性知识的表示 7.3 不确定性推理的一般模式 7.4 确定性理论（可信度方法） 7.5 证据理论、7.6 模糊理论

根据问题的实际情况不断寻找可利用的 知识,从而构造一条代价较少的推理路 线,使问题得到圆满解决的过程称为搜 索。搜索实用于:结构不良问题,无成 熟算法;或有算法,但问题复杂,如 博弈

4.1电子商务支付系统概述 4.2电子货币和电子钱包 4.3电子现金支付方式 4.4银行卡支付方式 4.5电子支票支付方式 4.6智能卡

二、小脑模型连接控制器(CMAC)网络 原理:从小脑活动只获取启发 （1)小脑从各种传感器获得信号、反馈和命令,构成地址,地址的内容形成各种所需的动作。 （2)输出的动作只限制在最活跃神经中的一个小子集,绝大多数神经元都受到抑制

（1)非线性 （2)分布处理 （3)学习并行和自适应 （4)数据融合 （5)适用于多变量系统 （6)便于硬件实现

近20年来,随着计算机技术的进步和微型计算机的普及,计 算机图形技术和CAD技术飞速发展。 如今的CAD技术不再仅仅局限于绘图设计阶段,它已形成了 一套完整的计算机辅助工程系统(CAE):从简单的绘图到智能 CAD系统的应用,从设计、分析到加工制作。 时代在发展,社会对人才的要求也在逐步提高,作为土木工 程专业的学生也要跟上社会的步伐

1.面向机器语言 机器语言和汇编语言 2.面向过程(数据加工过程)语言: $Ac, fortran, pascal, basic 3.面向对象语言:如c++ 4.智能化语言

第一节状态反馈控制 第二节预测控制 第三节解耦控制 第四节软测量和推断控制 第五节自适应控制和鲁棒控制 第六节时滞补偿控制 第七节智能控制 第八节监督控制 第九节故障检测诊断和容错控制 第十节综合自动化