作者	John F.Sowa
出版社
出版时间	2003-05-01

特色：
本书强调了作为人工智能，数据库设计和面向对象编辑的各种技术和表示法基础的逻辑原理。因为这是一门叉学科，所以书中还包含了大量的哲学和语言学的知识。每种新思想在**次提到时都会给出定义。所有的形式体系都在正文中讨论或在附录中综述。

这本经典教材提供了知识表示方面广泛的知识，作为这一领域的公认权威著作，Sowa在介绍新思想的同时捕捉到这一学科的*新成就，并且将逻辑学、哲学、语言学和计算机科学结合到知识及其可计算形式转化的过程中。本书强调了作为人工智能，数据库设计和面向对象编辑的各种技术和表示法基础的逻辑原理。因为这是一门叉学科，所以书中还包含了大量的哲学和语言学的知识。每种新思想在**次提到时都会给出定义。所有的形式体系都在正文中讨论或在附录中综述。