T007172 人工智能导论
何华灿主编。 西北工业大学出版社1988年6月版。50．8万字。以作者提出的广义问题求解为中心，著重讨论人工智能中的三大基本技术：知识表示技术、机械化推理技术和系统构成技术。内容包括：知识表示技术的两种最基本的方法，各种搜索策略及其性质，王浩算法和消解原理、机械化推理技术，最基本的系统构成技术及其应用，复杂系统中的知识表示技术、推理技术和系统技术及李太航的意识胞思维模型，LISP语言、PROLOG语言、人工智能机器、系统构成技术等。还介绍了人工智能的最新进展，主要是非精确推理和机器学习。 |