MARC状态:订购 文献类型:中文图书 浏览次数:17
- 题名/责任者:
- 当代形式逻辑及其在人工智能中的应用理论研究/龚启荣等著
- 出版发行项:
- 北京:电子工业出版社,2011
- ISBN及定价:
- 978-7-121-12407-5/CNY58.00
- 载体形态项:
- 42,435页;23cm
- 个人责任者:
- 龚启荣 著
- 学科主题:
- 形式逻辑-研究-人工智能-应用
- 学科主题:
- 形式逻辑-研究
- 中图法分类号:
- B812
- 中图法分类号:
- TP18
- 提要文摘附注:
- 半个世纪来获得迅速发展的外延电子数字计算机最根本的特征决定了其不可能具有从已知得出新知这种作为人类智能基本机制的功能。未来的真正的人工智能的基础装置的核心元件是从根本上区别于与、或、非门,输入与输出之间不是任何函数关系的“必然门”,而与、或、非门仅仅是起大量存储快速检索信息这种辅助作用的次要组成元件。当代形式逻辑清晰地刻划了必然门的逻辑性质,为研制必然门从而进一步设计、制造内涵智能机提供了重要逻辑理论基础。
- 使用对象附注:
- 相关研究人员
全部MARC细节信息>>