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