知识工程与机器发现

文档类型

价格(积分)

购买连接

试读

PDF格式

1、本站所有的书默认都是PDF格式，该格式图书只能阅读和打印，不能再次编辑。

2、除分上下册或者多册的情况下，一般PDF页数一定要大于标注页数才建议下单购买。【本资源217 ≥210页】

1、所有的电子图书为PDF格式，支持电脑、手机、平板等各类电子设备阅读；可以任意拷贝文件到不同的阅读设备里进行阅读。

2、电子图书在提交订单后一般半小时内处理完成,最晚48小时内处理完成。(非工作日购买会延迟)

3、所有的电子图书都是原书直接扫描方式制作而成。

目录第一章绪论——知识工程、形式系统理论与机器发现§1.1　知识工程对传统软件工程的挑战 1

§1.2 形式系统理论——知识工程的理论基础 3

§1.3　知识工程能从科学哲学中学习什么 5

§1.4　Lakatos的证伪方法论 8

第一篇一阶形式系统理论第二章　形式系统理论基础§2.1　谓词演算 12

§2.2　一阶理论 41

第三章　哥德尔不完全性定理§3.1 引论 68

§3.2　可表达性 70

§3.3　递归函数和递归关系 79

§3.4　哥德尔数 88

§3.5　不完全性的证明 93

第四章　可计算性和判定问题§4.1 图灵机 100

§4.2　判定 108

第二篇机器推理与机器发现第五章　机器定理证明§5.1　Herbrand定理 122

§5.2　归结原理 136

§5.3　一阶树推理方法 146

§5.4 一阶线性归结、Horn归结及PROLOG系统 158

第六章　机器定理发现§6.1 机器定理发现与机器定理证明 172

§6.2　二阶树推理系统 174

§6.3　二阶树推理与数学发现 179

§6.4　二阶线性归结 189

§6.5 二阶线性归结与逻辑程序自动设计 195

参考文献 209