三角测量平差计算手册PDF电子书下载

目录 1

前言 1

对本手册有贡献者名单 1

第六章用于人工智能研究的程序设计语言 1

A．概述 1

B． LISP语言 15

C．人工智能程序设计语言的特点 35

C1．概述 35

C2．数据结构 39

C3．控制结构 52

C4．模式匹配 67

C5．程序设计环境 75

D．相关性和假设 82

第七章人工智能在科学技术方面应用的研究 89

A． 概述 89

B． TEIRESIAS系统 98

C1．化学分析 113

C．在化学方面的应用 113

C2．DENDRAL系统程序 117

C2a．启发式DENDRAL系统 117

C2b．CONGEN程序和它的扩充 122

C2c．Meta-DENDRAL系统 128

C3．CRYSALIS系统 136

C4．在有机合成中的应用 147

D．其他科学领域的应用 156

D1 MACSYMA系统 156

D2．SRI计算机咨询系统 164

D3 PROSPECTOR系统 169

D4．人工智能在数据库管理系统中的应用 177

第八章 人工智能在医学方面应用的研究 189

A． 概述 189

B．医疗系统 197

B1． MYCIN系统 197

B2． CASNET系统 207

B3． INTERNIST系统 212

B4． 当前的疾病程序 217

B5．洋地黄疗法咨询程序 222

B6． IRIS 228

B7． EXPERT 234

第九章人工智能在教育方面应用的研究 242

A．概述 242

B． ICAI系统设计 246

C． 智能CAI系统 255

C1． SCHOLAR 255

C2．WHY 261

C3． SOPHIE 267

C4．WEST 273

C5．WUMPUS 281

C6． GUIDON 288

C7． BUGGY 301

C8． EXCHECK 305

D．人工智能在教育方面的其它应用 314

第十章自动程序设计 319

A．概述 319

B．程序说明的方法 328

C．基本方法 334

D．自动程序设计系统 350

D1． PSI和CHI 350

D2． SAFE 359

D3．程序员的见习生 367

D4． PECOS 374

D5． DEDALUS 380

D6．Protosystem Ⅰ 389

D7． NLPQ 395

D8． LIBRA 400

文献目录 406

人名索引 426

汉英主题索引 432