目录 1
第一章 专家系统技术与智能型机械CAD系统 1
§1-1对人工智能技术的探求 1
§1-2专家系统技术和知识工程 4
§1-3机械设计专家系统与智能CAD 17
第二章 LISP程序设计基础 29
§2-1LISP语言入门 29
§2-2LISP语言的数据类型及数据结构 35
§2-3MACRO-LISP的基本函数 41
§2-4定义用户函数 55
§2-5LISP程序设计 66
§2-6用LISP实现产生式专家系统的实例 78
第三章 知识的获取和知识的表示 97
§3-1知识的获取 97
§3-2知识表示的方法 103
§3-3基于一阶谓词逻辑的知识表示 105
§3-4基于规则的知识表示 116
§3-5基于框架的知识表示 126
§3-6语义网络 142
§3-7关于知识库设计的若干问题 147
第四章 知识的利用——推理方法与控制策略 150
§4-1专家系统控制策略的基本任务与基本要求 150
§4-2问题的表示方法 152
§4-3搜索 156
§4-4规划 171
§4-5推理 183
§4-6不精确推理 186
§4-7适合于工程设计专家系统的控制策略 191
第五章 建立机械设计专家系统 193
§5-1机械设计专家系统的特点 193
§5-2设计问题的概念化与形式化 196
§5-3机械设计专家系统的控制策略 202
§5-4机械设计专家系统的推理机设计 208
§5-5机械设计专家系统的规则库设计 222
§5-6机械设计专家系统的框架系统设计 231
§5-7机械设计专家系统的评价子系统 256
§5-8机械设计专家系统的测试与考核 259
§5-9建立机械设计专家系统的组织和管理工作 265
第六章 工程设计专家系统示例 269
§6-1XCON 269
§6-2TURD 278
§6-3WLGS 283
§6-4DAMSES 286
§6-5ZJCAD 289
参考文献 293