人工智能（中国院士文库）

国家教委计算机软件专业教材编委会推荐教材之一

人工智能作为独立的学科已经有了几十年的历史，最近10年发展尤为迅速。本书较为全面地介绍了人工智能的各个分支，全书分上、下两册。

上册集中介绍当代人工智能的两大支柱：知识表示和搜索技术。前者以演绎系统、产生式系统、框架结构、语义网络和过程性知识表示为中心；后者涉及盲目搜索、启发式搜索、博弈树搜索以及状态空间搜索、问题空间搜索等多个方面。下册介绍非经典逻辑、机器学习、自然语言理解、知识工程等内容。

本书首次把异构型DAI和机器辩论引进人工智能领域。研究出基于类自然语言理解的知识自动获取方法，把ICAI生成技术推进到以自动知识获取为特征的第三代，并开发出基于知识的应用软件自动生成技术。

在形式语义学方面研究了逻辑语义、代数语义和分布式语义，证明了任意Horn子句集的模型论语义和最小不动点语义的等价性；给出了能描述动态控制结构的基调式代数语义；把平面的Petri网扩展成多页的Petri/Riemann网（P/R网）作为进程模型，获得了演算的最大真并发结构。

本书内容全面，涉及人工智能的大部分分支；取材新颖，从内容到形式力求中国化，叙述深入浅出，各章后附有习题。适于作为计算机科学系本科生及研究生教材，亦可供有关科技人员阅读。对于希望学习了解人工智能基础知识和算法的读者，又非常基础而全面的帮助。

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