第五代计算机及其认知逻辑方法

• 作者: 北大未名生物工程集团有限公司生物智能技术研究组
• 来源期刊: 前沿科学
• 关键词: 认知逻辑 NP问题 确定型图灵机 非确定型图灵机 NP机 双语言结构 人脑感-知双重结构 归约 演绎和反绎 认知逻辑形式语言 3-SAT可满足性问题
• 年，卷（期）: 2007,（1）
• 页码范围: 18-23
• 页数: 6页
• 字数: 7281字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-8128.2007.01.003

摘要

计算机的发展正在从顺序控制流逻辑方法飞跃进入第五代的认知逻辑方法.需要第五代计算机解决的一个关键问题是NP问题.NP机器的双语言结构与人脑的感一知双重结构相同.北大未名生物工程集团有限公司生物智能技术研究组根据人脑的结构和功能提出一套认知逻辑形式语言理论,并根据认知形式语言制成一个NP机,命名为"未名机".未名机正在进行NP问题的多项式时间测试.如果能解决NP问题,未名机将为第五代计算机提供逻辑实施方法.