逻辑编程导论

图书标准信息

• 作者 [美]迈克尔·吉内塞雷斯（Michael Genesereth）；[美]维奈·K.乔杜里（Vinay K. Chaudhri）
• 出版社 机械工业出版社
• 出版时间 2021-10
• 版次 1
• ISBN 9787111691815
• 定价 79.00元
• 装帧 其他
• 开本 16开
• 纸张 胶版纸
• 页数 192页
• 字数 133千字

【内容简介】

本书采用一种创新的模型论进行逻辑编程，从数据集的基本概念(即闭原子集)开始。沿着这一基本概念，我们引入视图(即虚拟关系)；我们将经典逻辑程序定义为视图定义集，使用传统的类似于Prolog的表示法编写，但语义是根据数据集而不是根据实现方式给出。然后介绍了一些闭原子操作，如“添加”和“删除。

【作者简介】

:
    维奈·K.乔杜里（Vinay K.Chaudhri）前SRI International人工智能中心项目主管，目前就职于斯坦福大学计算机科学系。他在加拿大多伦多大学获得计算机科学博士学位，是人工智能领域的著名专家，其专长包括知识表示和推理、问答系统、本体论和知识获取。在斯坦福大学，他积极促进中学逻辑教育，研究用于快速获取正式知识的技术，以及编制智能教科书。他为金融业提供可计算合同和知识图谱方面的咨询，还教授有关知识表示、推理和逻辑编程的课程。

【目录】

译者序

前言

部分　逻辑编程的介绍

第1章　概述3

1.1　逻辑编程3

1.2　逻辑程序作为可运行规范3

1.3　逻辑编程的优点4

1.4　逻辑编程的应用5

1.5　基本逻辑编程6

1.6　历史笔记7

第2章　数据集9

2.1　引言9

2.2　概念化9

2.3　数据集的定义10

2.4　示例—女生联谊会12

2.5　示例—亲属关系13

2.6　示例—积木世界14

2.7　示例—食物世界16

2.8　重组16

2.9　习题18

第二部分　查询的更新

第3章　查询23

3.1　引言23

3.2　查询语法24

3.3　查询语义25

3.4　安全性26

3.5　预定义概念27

3.6　示例—亲属关系28

3.7　示例—地图着色29

3.8　习题30

第4章　更新33

4.1　引言33

4.2　更新语法33

4.3　更新语义34

4.4　同步更新35

4.5　示例—亲属关系36

4.6　示例—颜色37

4.7　习题40

第5章　查询评估43

5.1　引言43

5.2　评估真值查询43

5.3　匹配44

5.4　用变量评估查询47

5.5　计算分析48

5.6　习题49

第6章　视图优化51

6.1　引言51

6.2　子目标排序51

6.3　子目标移除53

6.4　规则移除55

6.5　示例—密码算术55

6.6　习题57

第三部分　视图的定义

第7章　视图定义61

7.1　引言61

7.2　语法62

7.3　语义63

7.4　半正程序66

7.5　分层程序68

7.6　习题71

第8章　视图评估73

8.1　引言73

8.2　基础目标和规则的自顶向下处理74

8.3　合一75

8.4　非基础查询和规则的自顶向下处理79

8.5　习题81

第9章　示例83

9.1　引言83

9.2　示例—亲属关系83

9.3　示例—积木世界84

9.4　示例—模运算86

9.5　示例—有向图87

9.6　习题88

第10章　列表、集合、树91

10.1　引言91

10.2　示例—皮亚诺公理91

10.3　列表93

10.4　示例—排序列表94

10.5　示例—集合95

10.6　示例—树96

10.7　习题96

第11章　动态系统99

11.1　引言99

11.2　表示100

11.3　仿真101

11.4　计划103

11.5　习题104

第12章　元知识105

12.1　引言105

12.2　自然语言处理105

12.3　布尔逻辑107

12.4　习题108

第四部分　操作的定义

第13章　操作113

13.1　引言113

13.2　语法113

13.3　语义115

13.4　习题118

第14章　动态逻辑程序121

14.1　引言121

14.2　响应式系统121

14.3　封闭系统122

14.4　混合主动124

14.5　同时动作124

14.6　习题126

第15章　数据库管理127

15.1　引言127

15.2　约束更新127

15.3　物化视图维护128

15.4　通过视图更新129

15.5　习题130

第16章　交互式工作表131

16.1　交互式工作表简介131

16.2　示例132

16.3　网页数据133

16.4　手势134

16.5　操作定义135

16.6　视图定义136

16.7　语义建模137

第五部分　结论

第17章　其他类型的逻辑程序设计143

17.1　引言143

17.2　逻辑生产系统143

17.3　约束逻辑编程144

17.4　析取逻辑编程145

17.5　存在逻辑编程146

17.6　回答集编程147

17.7　归纳逻辑编程149

附录A　EpilogJS中的预定义概念151

附录B　Sierra161

参考文献182