注重体验与质量的电子书资源下载网站
分类于: 编程语言 其它
简介
人工智能 下册 豆 0.0分
资源最后更新于 2020-11-11 04:11:04
作者:陆汝钤
出版社:科学出版社
出版日期:1996-01
ISBN:9787030047854
文件格式: pdf
标签: 人工智能 数理逻辑 (旧版) 逻辑 软件 语义 计算机 科学
简介· · · · · ·
本书是国家教委计算机软件专业教材编委会推荐教材之一,
人工智能作为独立的学科已有近40年的历史,最近十几年已趋子成熟。本书较为全面地介绍了人工智能的各个分支,全书分上、下两册。上册集中介绍人工智能的两大支柱:知识表示和搜索技术。下册介绍非经典逻辑和推理,定理证明,机器学习,自然语言理解,知识工程等内容。
本书内容全面,涉及人工智能的大部分分支;取材新颖:反映了国际80年代末、9
目录
第三部分 非经典逻辑和非经典推理
第十一章 模态逻辑及其应用
11?1 模态逻辑
11?2 时序逻辑
11?3 基于区间的时间推理
习题
第十二章 知道逻辑和信念逻辑
12?1 知道逻辑
12?2 群体知道逻辑
12?3 信念逻辑
12?4 显式信念和隐式信念
12?5 信念和意识
习题
第十三章 定性推理
13?1 定性演算
13?2 基于状态的推理
13?3 定
第十一章 模态逻辑及其应用
11?1 模态逻辑
11?2 时序逻辑
11?3 基于区间的时间推理
习题
第十二章 知道逻辑和信念逻辑
12?1 知道逻辑
12?2 群体知道逻辑
12?3 信念逻辑
12?4 显式信念和隐式信念
12?5 信念和意识
习题
第十三章 定性推理
13?1 定性演算
13?2 基于状态的推理
13?3 定