当代形式逻辑及其在人工智能中的应用理论研究 作者：龚启荣著出版时间： 2011年版内容简介　　《当代形式逻辑及其在人工智能中的应用理论研究》在人工智能中的应用理论完全不同于以美国为代表的国际人工智能理论。著作提出并回答了一系列属于人工智能的逻、辑理论的重大问题；指出了人工智能的根本使命；完成了古典逻辑和形形色色非古典逻辑以及传统形式逻辑不能作为人工智能的逻辑理论基础的论证...