知識工程與機器發(fā)現(xiàn)

　　本書分兩篇。第一篇討論形式系統(tǒng)理論，介紹了一階形式系統(tǒng)理論基礎、哥德爾不完全性定理以及形式系統(tǒng)的判定問題;第二篇探討了知識工程中的兩個核心問題：機器推理與機器發(fā)現(xiàn)（機器學習）如何形式化。

暫缺《知識工程與機器發(fā)現(xiàn)》作者簡介