人工智能逻辑讲义【李小五编著】-PDF电子版

书籍名称：人工智能逻辑讲义

页数：550

作者：李小五编著

出版时间：2005

ISBN：7306025872

出版社：广州：中山大学出版社

简介：人工智能逻辑是用逻辑方法和成果研究智能主体如何处理知识的学问，主要研究主体的常识推理。这种推理具有非单调性和信息不完备性。本讲义分别介绍了三种主要的人工智能逻辑：缺省逻辑、非单调模态逻辑和限定逻辑，内容丰富，知识面广，表达严谨，例题习题丰富。

前部分目录

目录——1
第0章　预备知识——1
§1　集合论初步——2
§2　句子逻辑初步——13
§3　谓词逻辑初步——23
第1章　一般缺省逻辑——36
§1　经典句子逻辑中的单调推理规则——37
§2　缺省推理与缺省理论的基本性质——45
§3　缺省理论的扩张——55
§4　缺省规则的良序化——86
§5　弱扩张与部分扩张——102
§6　量化逻辑——117
第2章　子缺省逻辑——125
§1　正规缺省逻辑——126
§2　半正规缺省逻辑——159
第3章　缺省逻辑的变种（上）——175
······
······
······