知识工程与机器发现

　　本书分两篇。第一篇讨论形式系统理论，介绍了一阶形式系统理论基础、哥德尔不完全性定理以及形式系统的判定问题;第二篇探讨了知识工程中的两个核心问题：机器推理与机器发现（机器学习）如何形式化。

暂缺《知识工程与机器发现》作者简介