中图网文创礼盒,买2个减5元
欢迎光临中图网 请 | 注册
> >
中国院士文库-人工智能

中国院士文库-人工智能

作者:陆汝钤
出版社:上海科学技术文献出版社出版时间:2023-02-01
开本: 其他 页数: 1182
中 图 价:¥164.0(5.9折) 定价  ¥278.0 登录后可看到会员价
加入购物车 收藏
运费6元,满69元免运费
?快递不能达地区使用邮政小包,运费14元起
云南、广西、海南、新疆、青海、西藏六省,部分地区快递不可达
本类五星书更多>

中国院士文库-人工智能 版权信息

  • ISBN:9787543982529
  • 条形码:9787543982529 ; 978-7-5439-8252-9
  • 装帧:一般胶版纸
  • 册数:暂无
  • 重量:暂无
  • 所属分类:>

中国院士文库-人工智能 内容简介

本书是人工智能专业*基础*全面的高校教材,作者陆汝钤院士系 中国科学院数学与系统科学研究院数学研究所研究员。在知识工程和基于知识的软件工程方面做了系统的、创造性的工作,是我国该领域研究的开拓者之一。倡导并主持完成了以软件的机械化生成和移植为目标的系列软件计划(XR计划),推动了当时国产机软件缺乏问题的解决。本书首次把异构型DAI和机器辩论引进人工智能领域。研究出基于类自然语言理解的知识自动获取方法,把ICAI生成技术推进到以自动知识获取为特征的第三代,并开发出基于知识的应用软件自动生成技术。在形式语义学方面研究了逻辑语义、代数语义和分布式语义,证明了任意Horn子句集的模型论语义和*小不动点语义的等价性;给出了能描述动态控制结构的基调式代数语义;把平面的Petri网扩展成多页的Petri/Riemann网(P/R网)作为进程模型,获得了演算的优选真并发结构。

中国院士文库-人工智能 目录

上册
引言
**部分 知识表示
**章 演绎系统
1.1 谓词演算
1.2 自然演绎系统
1.3 与或句演绎系统
1.4 子句演绎系统
习题
第二章 产生式系统
2.1 绪论
2.2 产生式系统的基本特征
2.3 产生式的知识元
2.4 推理的方向
2.5 框架问题
2.6 非确定性匹配
2.7 匹配冲突的解决
习题
第三章 框架结构
3.1 事物的属性
3.2 框架
习题
第四章 语义网络
4.1 命题语义网络
4.2 数据语义网络
4.3 语言语义网络
4.4 几种特殊的语义网络
4.5 网络上的推理
习题
第五章 过程性知识
5.1 状态空间
5.2 时序框架
5.3 概念依赖理论和剧本
5.4 说明性表示中的过程知识
习题
第二部分 搜索技术
第六章 无变量盲目搜索算法
6.1 状态空间的盲目搜索
6.2 问题空间的盲目搜索
习题
第七章 带变量盲目搜索算法
7.1 通代算法
7.2 带变量的状态空间盲目搜索
7.3 带变量的问题空间盲目搜索
习题
第八章 启发式搜索算法
8.1 单值有序搜索和多值有序搜索
8.2 H*算法和A*算法
8.3 估值函数的选择
8.4 B算法和B'算法
8.5 双向启发式搜索
习题
……
下册
第三部分 非经典逻辑和非经典推理
第四部分 定理机器证明
第五部分 机器学习
第六部分 自然语言理解
第七部分 知识工程
参考文献
展开全部

中国院士文库-人工智能 作者简介

陆汝钤,计算机科学家,中国科学院院士。陆汝钤以人工智能、知识工程和基于知识的软件工程为主要研究方向,是中国该领域研究的开拓者之一。

商品评论(0条)
暂无评论……
书友推荐
本类畅销
编辑推荐
返回顶部
中图网
在线客服