目录

第一章 专家系统技术与智能型机械CAD系统

§1-1对人工智能技术的探求

§1-2专家系统技术和知识工程

§1-3机械设计专家系统与智能CAD

第二章 LISP程序设计基础

§2-1LISP语言入门

§2-2LISP语言的数据类型及数据结构

§2-3MACRO-LISP的基本函数

§2-4定义用户函数

§2-5LISP程序设计

§2-6用LISP实现产生式专家系统的实例

第三章 知识的获取和知识的表示

§3-1知识的获取

§3-2知识表示的方法

§3-3基于一阶谓词逻辑的知识表示

§3-4基于规则的知识表示

§3-5基于框架的知识表示

§3-6语义网络

§3-7关于知识库设计的若干问题

第四章 知识的利用——推理方法与控制策略

§4-1专家系统控制策略的基本任务与基本要求

§4-2问题的表示方法

§4-3搜索

§4-4规划

§4-5推理

§4-6不精确推理

§4-7适合于工程设计专家系统的控制策略

第五章 建立机械设计专家系统

§5-1机械设计专家系统的特点

§5-2设计问题的概念化与形式化

§5-3机械设计专家系统的控制策略

§5-4机械设计专家系统的推理机设计

§5-5机械设计专家系统的规则库设计

§5-6机械设计专家系统的框架系统设计

§5-7机械设计专家系统的评价子系统

§5-8机械设计专家系统的测试与考核

§5-9建立机械设计专家系统的组织和管理工作

第六章 工程设计专家系统示例

§6-1XCON

§6-2TURD

§6-3WLGS

§6-4DAMSES

§6-5ZJCAD

参考文献