人工智能(第4版)
"本书本书第3版被评为“首届全国优秀教材二等奖”,首批入选“十二五”普通高等教育本科国家级规划教材。本书是在第3版基础上修订后的新版。北京大学、清华大学、浙江大学使用该书做教材。 "

作者:贲可荣、张彦铎、卢涛、张献

丛书名:高等学校计算机教育系列教材

定价:79.9元

印次:4-3

ISBN:9787302697510

出版日期:2025.08.01

印刷日期:2026.02.04

图书责编:张瑞庆

图书分类:教材

电子书
在线购买
分享
内容简介
作者简介
前言序言
资源下载
查看详情 查看详情 查看详情

"本书介绍人工智能的理论、方法、技术及其应用,除了讨论那些仍然有用的和有效的基本原理和方法之外,着重阐述一些新的和正在研究的人工智能方法与技术。此外,本书使用比较多的篇幅论述了人工智能的应用,包括新增的预训练模型、基于LLM的Agent等内容。 本书包括下列内容: ①人工智能的起源与发展,人工智能的研究与应用领域; ②知识表示与推理、不确定推理、因果推理等; ③盲目搜索、启发式搜索、博弈搜索、贪婪局部搜索、模拟退火算法、遗传算法等搜索技术; ④Agent、基于大模型的Agent、卷积神经网络、循环神经网络、QLearning算法、深度强化学习等人工智能技术和方法; ⑤智能规划、自然语言处理、信息搜索、语言翻译、语音识别、阅读理解、ChatGPT、群体智能、机器人等应用; ⑥人工智能伦理与安全、人工智能治理。 本书适用于高等学校计算机类专业本科生和非计算机专业研究生人工智能课程教学,也可作为科技人员深入学习人工智能的参考书。 "

"贲可荣,海军工程大学电子工程学院教授、博士生导师,长期从事人工智能、软件工程等方面的教学科研工作。主编《人工智能》入选“十二五”普通高等教育本科国家级规划教材,评为首届全国优秀教材建设奖全国优秀教材二等奖。指导毕业58名硕士研究生和13名博士研究生。发表学术论文180余篇,出版编著译著20余部。担任大学人工智能专家组组长、大学MOOC专家组组长、大学研究生教学督导。CCF理论计算机科学专委副主任、软件工程专委委员、CCF杰出会员。《计算机科学与探索》《计算机工程与科学》等编委。《海军新军事变革丛书》编委会副主任、《人工智能应用丛书》编委会副主任。担任军委装发国家安全重大基础研究项目专家组专家,军委装发人工智能装备应用基础技术专业组成员,军委装发海军人工智能装备应用专业组副组长。被评为教育部骨干教师、首届湖北省优秀研究生导师、海军名师工作室领衔名师、第三届大学教学名师,获军队院校育才奖金奖。张彦铎,湖北文理学院党委副书记、院长,博士生导师,教授,国务院政府特殊津贴获得者,湖北省有突出贡献的中青年专家,国家一流本科专业建设点“智能科学与技术”专业负责人,湖北优秀教学团队“新一代人工智能新工科教学团队”负责人。长期从事智能控制理论研究与智能系统研发等工作。创建了湖北省第一支机器人足球队,连续获得14项冠军。主编教材《人工智能(第3版)》获得首届全国教材建设奖全国优秀教材二等奖,获得第九届湖北省高等学校教学成果一等奖1项。卢涛,武汉工程大学计算机科学与工程学院人工智能学院教授,博士生导师。长期从事模式识别、智能机器人和机器视觉等方面的科研与教学工作。发表学术80余篇,出版专著2部,获得第九届湖北省教学成果一等奖1项,二等奖1项。张献,海军工程大学电子工程学院讲师。从事军事智能、软件质量保证等方面教学科研工作,主讲人工智能、人工智能应用实践、神经网络与深度学习等课程。先后参与国家自然科学基金、国防973、海军重大专项等科研项目10余项,发表SCI/EI等学术论文20余篇;参与编写《人工智能(第3版)》等教材4部,译著1部。指导学生获国家级学科竞赛特等奖1项、一等奖1项等。先后获得全国和全军征文评比一等奖各1项、全国教学案例比赛二等奖2项,CCF武汉地区首届“青年教师学术风采展示论坛”二等奖1项,荣获个人三等功2次、“四有”优秀个人1次,入选学校人才托举工程。"

前言 我和本教材主编贲可荣教授与人工智能的缘分有一段类似的经历。我们都是本科学习数学,硕士期间学习数理逻辑和计算机科学理论。攻读博士学位期间,又共同师从陈火旺院士,开展人工智能与软件工程交叉研究。贲可荣教授博士论文研究采用自动推理技术证明程序正确性,属于AI4SE,我的博士论文研究面向智能体的人工智能程序设计语言,属于SE4AI,我们在人工智能方面的“童子功”都属于符号主义学派的范畴。虽然在我们研究生期间,Hopfield网络模型的出现激起了连接主义人工智能的一朵浪花,但符号主义人工智能的主导地位不可撼动,我和贲可荣教授对自己能够在当时的人工智能主航道上学习和工作倍感荣幸。然而,很快我和贲可荣教授共同经历了之后人工智能由热转冷的全过程。后来,我们又作为研究生导师,共同见证了因深度学习带来的连接主义人工智能的再次兴起,符号主义学派似乎被冷落了,大语言模型热潮又一次唤起人们对通用人工智能的憧憬。 学派分野带来的学科区分在人工智能领域十分明显,导致三种人工智能学派你方唱罢我登场。可以预见,自主机器人和具身智能将带来行为主义人工智能的大发展。实现具身智能的关键在于具身智能体对环境的感知、互动、适应、决策和行动,需要有效连接思考、感知与行动三大智能空间,从而推动全自主无人系统的具身智能技术发展。未来人工智能发展需要三种人工智能学派的大合唱,取长补短,走向融合和集成,共同为人工智能的发展做出贡献。为此亟须破解人工智能学科交叉问题,以及复合型人工智能人才培养问题,这里既包括融合三种人工智能学派的知识体系,也包括人工智能对人类未来发展的新挑战新认知。令人敬佩的是,贲可荣教授始终保持...

目录
荐语
查看详情 查看详情
目录

第1章绪论1

1.1人工智能的定义与概况1

1.2人类智能与人工智能5

1.2.1智能信息处理系统的假设6

1.2.2人类智能的计算机模拟7

1.2.3弱人工智能与通用人工智能9

1.3人工智能各学派的认知观10

1.4人工智能的研究与应用领域12

1.4.1智能感知12

1.4.2智能推理15

1.4.3智能决策18

1.4.4智能行动21

1.5人工智能发展展望26

1.5.1新一轮人工智能的发展特征26

1.5.2未来30年的人工智能问题27

1.5.3新一代人工智能发展规划31

习题32

第2章知识表示和推理34

2.1概述34

2.1.1知识和知识表示34

2.1.2知识策略智能35

2.1.3人工智能对知识表示方法的要求36

2.1.4知识的分类37

2.1.5知识表示语言问题37

2.1.6现代逻辑学的基本研究方法38

2.2命题逻辑40

2.2.1语法40

2.2.2语义41

2.2.3命题演算形式系统42人工智能(第4版)目录2.3谓词逻辑44

2.3.1语法44

2.3.2语义45

2.3.3谓词逻辑形式系统48

2.3.4一阶谓词逻辑的应用50

2.4归结推理50

2.4.1命题演算中的归结推理50

2.4.2谓词演算中的归结推理53

2.4.3谓词演算归结反演的合理性和完备性58

2.4.4案例: 一个基于逻辑的财务顾问61

2.5因果推理61

2.5.1概述62

2.5.2因果推断的三个渐进层级63

2.5.3推断引擎的结构64

2.5.4因果增强的... 查看详情

"本书第3版被评为“首届全国优秀教材二等奖”,首批入选“十二五”普通高等教育本科国家级规划教材。本书是在第3版基础上修订后的新版。

本书立足时代背景,力求形成“以不变的基本理论与方法为主体,充分反映人工智能技术发展水平,以培养学生具备继续学习能力为目标”的教学思路,使学生学习和掌握人工智能核心基础知识,筑牢基础。

本书介绍人工智能的理论、方法、技术及其应用,除了讨论仍然有用的和有效的基本原理与方法之外,着重阐述新的和正在研究的人工智能方法与技术,特别是近期发展起来的方法与技术。此外,用比较多的篇幅论述人工智能的应用,包括人工智能新的应用研究。本书注重基础,知识体系完整,知识点前沿,强化实践。内容的可读性好,语言简练,深入浅出,通俗易懂。力图体现三方面特点:一是“基础性”;二是“实践性”;三是“前瞻性”。

本书是作者多年来在高等学校一线从事人工智能课程建设和教学实践的结晶。适用于国内大多数普通高校计算机及相关专业,以及不同教学条件学校的人工智能课程教学的需要。

理论授课注重案例式教学和启发式教学,以便为实践做好铺垫。上一版附录给出的28个人工智能课程大作业,本书以案例及思考题的方式给出。本书附录介绍了人工智能编程语言Python和手写体识别案例。提供了丰富的导学资源(电子书、慕课视频、案例程序等),设置了具有挑战性的人工智能实验,并对实验提出了较高的自主完成要求。

"


查看详情