制约逻辑与计算机科学相关问题的探讨  

Probing into the Relating Problems between Restriction Logic and Computer Science

作　　者：汪学明[1] 

机构地区：[1]贵州大学计算机科学与技术学院,贵州贵阳550003

出　　处：《毕节学院学报（综合版）》2007年第1期33-36,共4页Journal of Bijie University

摘　　要：新兴的逻辑领域——制约逻辑与计算机发展关系密切。这主要体现在内涵智能机和量子计算机两个方面。“正统”数理逻辑已不适应智能机和量子计算机的发展需要,而制约逻辑却为此提供了新的理论依据。Restriction logic, a rising field, is closely related to computer development. This mainly reflects in two aspects of connotation intelligence computer and quantum computer. The orthodox mathematical logic is not suitable for the need of intelligence computer and quantum computer, but restriction logic supplies it with a new theoretical foundation.

关 键 词：制约逻辑 制约关系 内涵智能机 制约门 人工智能 量子计算机 

分 类 号：B812[哲学宗教—逻辑学]