当代形式逻辑及其在人工智能中的应用理论研究
当代形式逻辑及其在人工智能中的应用理论研究
基本信息
作 者：龚启荣 等 著出 版 社：电子工业出版社ISBN：9787121124075出版时间：2011-01-01版 次：1页 数：435装 帧：平装开 本：16开所属分类：图书 > 计算机与互联网 > 计算机理论、基础知识
内容简介
《当代形式逻辑及其在人工智能中的应用理论研究》在人工智能中的应用理论完全不同于以美国为代表的国际人工智能理论。著作提出并回答了一系列属于人工智能的逻、辑理论的重大问题；指出了人工智能的根本使命；完成了古典逻辑和形形色色非古典逻辑以及传统形式逻辑不能作为人工智能的逻辑理论基础的论证；充分证明了，当代形式逻辑向人类提供了从已有知识获取新知识的推理工具，因而是人工智能最合适的逻辑工具。著作清晰地刻画了必然门的逻辑性质，为研制必然门从而进一步设计、制造内涵智能机提供了重要逻辑理论基础，其研究深度可以说几乎达到了呼之欲出的程度。著作严格证明并严肃地指出，在刚过去的半个世纪内，国际人工智能界的两个方针（“认知模拟”、“人机合一”）是方向性、路线性的失误。这种局面为我国在新世纪迎来超越国际先进水平提供了绝好机遇。该项研究对我国在经济、军事实力上发生质的变革，取得国际先进地位具有重要意义，其应用前景是不可估量的。