
| 本书强调了作为人工智能,数据库设计和面向对象编辑的各种技术和表示法基础的逻辑原理。因为这是一门叉学科,所以书中还包含了大量的哲学和语言学的知识。每种新思想在第一次提到时都会给出定义。所有的形式体系都在正文中讨论或在附录中综述。
|
| John F.Sowa于麻省理工学院获得数学学士学位。于哈佛大学获得应用数学硕士学位,于布鲁塞尔自由大学获得博士学位。他在IBM从事研究和项目开发工作30年,并有7年的教学和著书经验。在此期间,还为ANIS和ISO概念模型和知识分享方面的项目做出过贡献。他以其概念图理论而著名,是美国人工智能学会的会员,出版和编辑了多本人工智能方面的书籍,并发表了大量论文。
|
| Preface XIII Logic I Ontology Knowledge Representations Processes Purposes,Contexts,and Agents Knowledge Soup Knowledge Acquisition and Sharing Summary of Notations Sample Ontology Extended Example Anowers to Selected Exercises Bibliography Name Index Subject Index Special Symbols |
商品评论(0条)