简介
本书是国家教委计算机软件专业教材编委会推荐教材之一，
人工智能作为独立的学科已有近40年的历史，最近十几年已趋子成熟。本书较为全面地介绍了人工智能的各个分支，全书分上、下两册。上册集中介绍人工智能的两大支柱:知识表示和搜索技术。下册介绍非经典逻辑和推理，定理证明，机器学习，自然语言理解，知识工程等内容。
本书内容全面，涉及人工智能的大部分分支;取材新颖:反映了国际80年代末、90年代初的研究水平;从内容到形式力求中国化，叙述深人浅出。各章后均附有习题。适于作为计算机科学系本科生及研究生教材，亦可供
目录
第三部分 非经典逻辑和非经典推理
第十一章 模态逻辑及其应用
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 定
人工智能.下册
- 名称
- 类型
- 大小
光盘服务联系方式: 020-38250260 客服QQ：4006604884
云图客服：
用户发送的提问，这种方式就需要有位在线客服来回答用户的问题，这种 就属于对话式的,问题是这种提问是否需要用户登录才能提问
Video Player
×
Audio Player
×
pdf Player
×
