机读格式显示(MARC)
- 000 01197nam0 2200253 450
- 010 __ |a 978-7-121-12407-5 |d CNY58.00
- 100 __ |a 20101223d2011 em y0chiy0120 ea
- 200 1_ |a 当代形式逻辑及其在人工智能中的应用理论研究 |A dang dai xing shi luo ji ji qi zai ren gong zhi neng zhong de ying yong li lun yan jiu |f 龚启荣等著
- 210 __ |a 北京 |c 电子工业出版社 |d 2011
- 215 __ |a 42,435页 |d 23cm
- 330 __ |a 半个世纪来获得迅速发展的外延电子数字计算机最根本的特征决定了其不可能具有从已知得出新知这种作为人类智能基本机制的功能。未来的真正的人工智能的基础装置的核心元件是从根本上区别于与、或、非门,输入与输出之间不是任何函数关系的“必然门”,而与、或、非门仅仅是起大量存储快速检索信息这种辅助作用的次要组成元件。当代形式逻辑清晰地刻划了必然门的逻辑性质,为研制必然门从而进一步设计、制造内涵智能机提供了重要逻辑理论基础。
- 606 0_ |a 形式逻辑 |A xing shi luo ji |x 研究 |x 人工智能 |x 应用
- 606 0_ |a 形式逻辑 |A xing shi luo ji |x 研究
- 701 _0 |a 龚启荣 |A gong qi rong |4 著
- 801 0_ |a CN |b 三新书业 |c 20101228