![[!--oldtitle--] PDF电子书下载](/d/file/efpub/2026/08-21/doe05kjeq5c.jpg)
当代形式逻辑及其在人工智能中的应用理论研究
温馨提示：电子书为虚拟商品，一经发货概不退换，请谨慎购买。3小时内发货(节假日除外)，发货时效不超过24小时，急单慎拍！
内容简介
书名：当代形式逻辑及其在人工智能中的应用理论研究
作者：龚启荣[等]著
ISBN：978-7-121-12407-5
出版社：电子工业出版社
出版日期：2011.01
半个世纪来获得迅速发展的外延电子数字计算机最根本的特征，决定了其不可能具有从已知得出新知这种作为人类智能基本机制的功能。未来的真正的人工智能的基础装置的核心元件是从根本上区别于与、或、非门，输入与输出之间不是任何函数关系的“必然门”，而与、或、非门仅仅是起大量存储快速检索信息这种辅助作用的次要组成元件。当代形式逻辑清晰地刻划了必然门的逻辑性质，为研制必然门从而进一步设计、制造内涵智能机提供了重要逻辑理论基础。
作者：龚启荣[等]著
ISBN：978-7-121-12407-5
出版社：电子工业出版社
出版日期：2011.01
半个世纪来获得迅速发展的外延电子数字计算机最根本的特征，决定了其不可能具有从已知得出新知这种作为人类智能基本机制的功能。未来的真正的人工智能的基础装置的核心元件是从根本上区别于与、或、非门，输入与输出之间不是任何函数关系的“必然门”，而与、或、非门仅仅是起大量存储快速检索信息这种辅助作用的次要组成元件。当代形式逻辑清晰地刻划了必然门的逻辑性质，为研制必然门从而进一步设计、制造内涵智能机提供了重要逻辑理论基础。