《内涵智能机的基础理论——制约逻辑通俗读本》

一书 出版

由贵州制约逻辑学会理事长、国际符号逻辑协会会员龚启荣教授主持，学会会员参加，申报并获得贵州省科协立项项目优秀科普作品奖励，今年11月在天马出版有限公司出版了科普著作《内涵智能机的基础理论——制约逻辑通俗读本》。

本科普著作以深入浅出、通俗易懂的形式重点介绍两方面的内容：

（1）作为基础理论部分，主要介绍制约逻辑语义学、语构学和语用学理论。重点介绍与逻辑思维说、逻辑符号说构成世界三大学派的以辩证唯物论为指导思想的“逻辑客体说”新理论。

本科普著作还简要介绍两个堪称真正逻辑科学当代发展的现代形式化公理系统，揭举并证明两个无穷多条与数理逻辑定理完全不同的客观世界的逻辑定律（现行传统逻辑迄今只有用手工业方式上收集的几十条逻辑定理）。

（2）本科普著作还介绍制约逻辑在人工智能中的应用理论。

①国际人工智能界“认知模拟”、“人机合一”的方针绝对不可实施。迄今，国际人工智能研究经历了两个阶段：“认知模拟”（用机器来模拟人的思维功能）阶段和“人机合一”（将人的大脑与计算机连接）阶段。但是，以美国为首的人工智能界已经看到，这两个方针的前景十分渺茫。

②制约逻辑是人工智能最合适的理论基础。我们已经证明了：数理逻辑、传统逻辑以及形形色色的非古典逻辑不是人工智能的逻辑理论基础。未来的真正的人工智能的基础装置的核心元件是从根本上区别于与、或、非门，输入与输出之间不是任何函数关系的“制约门”，制约逻辑刻划清楚了制约门的逻辑性质，为研制制约门从而进一步设计、制造内涵智能机提供了作为重要基础理论的逻辑理论基础。

我们希望通过这本通俗读本向亿万读者发出呼吁：记取英法联军火烧圆明园的历史教训，排除干扰，对第五代工具——内涵智能机迅速投入力量，广大读者都来参与发明创造，研制制约门，争取早日付诸工程实施，在我国首先研制出第一台内涵智能机，使我国在经济、军事实力上发生质的变革，取得国际先进地位。我们期望着中华民族首先进入智能时代、真正扬眉吐气的那一天的到来！制约逻辑的应用前景、社会的和经济的效益是不可估量的。