人工智能原理与技术
出版时间:
2001-01
版次:
1
ISBN:
9787308012584
定价:
18.00
装帧:
平装
开本:
32开
纸张:
其他
页数:
469页
正文语种:
简体中文
12人买过
-
《人工智能原理与技术》的主要作者大部分是我校重点学科的学术带头人、博士导师。他们从事高水平的科研项目，他们的著作含有独特的见解，是科研成果的结晶，代表了学校的学术水平和发展趋势。
教学效果好。这套丛书的主要作者长期从事教育工作，他们有.着丰富的教学经验。这套教材既有作者个人长期不断倾注的心血，把纷繁的教材内容、教育改革的成果与自己的心得进行综合、提炼，以至升华成理论，又有师生集体日积月累洒下的汗水。
同时，这套丛书的出版，对于我国文化教育积累，科学技术的开拓，进而提高整个中华民族文化素质起着积极的作用。 引言
1Lisp语言基础
1.1符号表达式与表
1.2Lisp的程序结构及其特点
1.3表处理函数
1.4算术与逻辑运算函数
1.5赋值与求值函数
1.6控制函数
1.7函数定义
1.8性质表及其操作函数
1.9映射函数
1.10递归
1.11输入与输出
1.12原子的生成与分解函数
1.13例子
2一阶谓词逻辑
2.1命题及逻辑联结词
2.2命题公式的永宾性与等值
2.3对偶原理
2.4析取范式与合取范式
2.5逻辑推理
2.6命题演算的王浩算法
2.7一阶谓词逻辑的基本概念
2.8谓词公式的永真性与可满足性
2.9自由变元与约束变元
2.10谓词公式的等值
2.11前束范式
3归结原理
3.1斯柯伦标准型
3.2子句集的H全域
3.3基本定理
3.4D-只（Davis&Putnam）方法
3.5一致化算法
3.6归结方法
3.7归结方法的可靠性与完备性
3.8例子
3.9应用
3.10归结方法的Lisp实现
4Prolog语言简介
4.1Horn子句集归结
4.2Prolog语言
4.3内部谓词
4.4例子
5问题求解
5.1状态空间
5.2问题归约
5.3产生式系统
5.4约束满足法
5.5八数码问题的Lisp实现
6搜索
6.1状态空间的盲目搜索
6.2启发式搜索法
6.3A算法的可采纳性
6.4与／或树搜索
6.5与／或图的一种启发式搜索算法AO
6.6博弈树搜索
6.7一字棋博弈的Lisp实现
7知识表达与推理技术
7.1知识的特征描述
7.2框架
7.3语义网络
7.4脚本
7.5产生式规则
7.6评述
8专家系统
8.1专家系统的任务与特征
8.2专家系统脆弱性
8.3专家系统结构
8.4建立专家系统的步骤与方法
9神经元网络
9.1神经元网络简介
9.2简单的线性模型
9.3线性阈值网络
9.4反向传播网络-
9.5Hopfield网络模型
9.6Boltzmann机
9.7其它的神经元网络模型
9.8评述
9.9神经元网络的应用
10专家系统构造工具DIPS
10.1DIPS概述
10.2DIPS的知识表达
10.3DIPS的控制策略及推理机
10.4用DIPS建立专家系统
10.5DIPS的解释机制
11附录
附录1DIPS的系统函数
附录2DIPS的系统调用
12思考题
思考题一
思考题二
思考题三
思考题四
思考题五
思考题六
思考题七
思考题八
思考题九
参考文献
-
内容简介:
《人工智能原理与技术》的主要作者大部分是我校重点学科的学术带头人、博士导师。他们从事高水平的科研项目，他们的著作含有独特的见解，是科研成果的结晶，代表了学校的学术水平和发展趋势。
教学效果好。这套丛书的主要作者长期从事教育工作，他们有.着丰富的教学经验。这套教材既有作者个人长期不断倾注的心血，把纷繁的教材内容、教育改革的成果与自己的心得进行综合、提炼，以至升华成理论，又有师生集体日积月累洒下的汗水。
同时，这套丛书的出版，对于我国文化教育积累，科学技术的开拓，进而提高整个中华民族文化素质起着积极的作用。
-
目录:
引言
1Lisp语言基础
1.1符号表达式与表
1.2Lisp的程序结构及其特点
1.3表处理函数
1.4算术与逻辑运算函数
1.5赋值与求值函数
1.6控制函数
1.7函数定义
1.8性质表及其操作函数
1.9映射函数
1.10递归
1.11输入与输出
1.12原子的生成与分解函数
1.13例子
2一阶谓词逻辑
2.1命题及逻辑联结词
2.2命题公式的永宾性与等值
2.3对偶原理
2.4析取范式与合取范式
2.5逻辑推理
2.6命题演算的王浩算法
2.7一阶谓词逻辑的基本概念
2.8谓词公式的永真性与可满足性
2.9自由变元与约束变元
2.10谓词公式的等值
2.11前束范式
3归结原理
3.1斯柯伦标准型
3.2子句集的H全域
3.3基本定理
3.4D-只（Davis&Putnam）方法
3.5一致化算法
3.6归结方法
3.7归结方法的可靠性与完备性
3.8例子
3.9应用
3.10归结方法的Lisp实现
4Prolog语言简介
4.1Horn子句集归结
4.2Prolog语言
4.3内部谓词
4.4例子
5问题求解
5.1状态空间
5.2问题归约
5.3产生式系统
5.4约束满足法
5.5八数码问题的Lisp实现
6搜索
6.1状态空间的盲目搜索
6.2启发式搜索法
6.3A算法的可采纳性
6.4与／或树搜索
6.5与／或图的一种启发式搜索算法AO
6.6博弈树搜索
6.7一字棋博弈的Lisp实现
7知识表达与推理技术
7.1知识的特征描述
7.2框架
7.3语义网络
7.4脚本
7.5产生式规则
7.6评述
8专家系统
8.1专家系统的任务与特征
8.2专家系统脆弱性
8.3专家系统结构
8.4建立专家系统的步骤与方法
9神经元网络
9.1神经元网络简介
9.2简单的线性模型
9.3线性阈值网络
9.4反向传播网络-
9.5Hopfield网络模型
9.6Boltzmann机
9.7其它的神经元网络模型
9.8评述
9.9神经元网络的应用
10专家系统构造工具DIPS
10.1DIPS概述
10.2DIPS的知识表达
10.3DIPS的控制策略及推理机
10.4用DIPS建立专家系统
10.5DIPS的解释机制
11附录
附录1DIPS的系统函数
附录2DIPS的系统调用
12思考题
思考题一
思考题二
思考题三
思考题四
思考题五
思考题六
思考题七
思考题八
思考题九
参考文献
查看详情
-
九五品
北京市通州区
平均发货23小时
成功完成率86.62%
-
人工智能原理与技术
实拍图，高温消毒后发出，下午四点之前的订单一般当天发货 2024052300128990
九品
-
九品
河北省保定市
平均发货9小时
成功完成率93.49%
-
九品
河北省保定市
平均发货9小时
成功完成率91.07%
-
八五品
山东省滨州市
平均发货11小时
成功完成率91.75%
-
3
九品
山东省菏泽市
平均发货7小时
成功完成率96.02%
-
4
九品
河北省石家庄市
平均发货17小时
成功完成率90.32%
-
7
八五品
河南省新乡市
平均发货13小时
成功完成率95.58%
-
八五品
云南省昆明市
平均发货21小时
成功完成率91.6%
-
2
八品
内蒙古包头市
平均发货8小时
成功完成率96.64%
-
九品
天津市宝坻区
平均发货9小时
成功完成率89.65%
-
人工智能原理与技术
正版旧书，高温消毒，商品以实拍为准，15点前订单当天发货 2024052300128990
九品
河北省保定市
平均发货9小时
成功完成率93.3%
-
4
八五品
福建省泉州市
平均发货5小时
成功完成率94.54%
-
8
九品
北京市西城区
平均发货11小时
成功完成率93.55%
-
10
八五品
河北省保定市
平均发货11小时
成功完成率95.47%
-
2
九五品
山东省青岛市
平均发货12小时
成功完成率83.71%
-
全新
江西省吉安市
平均发货32小时
成功完成率80.6%
-
九五品
甘肃省兰州市
平均发货25小时
成功完成率100%
-
九品
-
4
八品
湖北省武汉市
平均发货3小时
成功完成率96.89%
-
2
九五品
占位居中
