【作者】 孙兆豪； 李昂； 刘坤起； 解建军；

【Author】 Sun Zhaohao~1,Li Ang~2,Liu Kunqi~3,Xie Jianjun~1 1 College of Mathematics and Information Science,Hebei Normal University Shijiazhuang 050016,China, 2 Mathematics Department,University of California,Riverside,CA 92521,USA 3 University of Economics Shijiazhuang,College of Information Engineering,Shijiazhuang,050031

【机构】 河北师范大学数学与信息科学学院计算机系； Mathematics Department,University of California,Riverside,CA 92507,USA； 石家庄经济学院信息工程学院；

【摘要】 代数与逻辑的关系在数学中是众所周知的,逻辑与智能系统的关系在计算机科学中已有深入的研究,但代数、逻辑和智能系统的统一的对应关系在计算机科学教学和研究中尚未引起注意。本文将通过研究代数、逻辑和智能系统的对应关系,建立它们的统一模型来填补上述缺陷。本文提出的方法将有利于计算机科学和人工智能中的逻辑学以及智能系统的研究与教学。更多还原

【Abstract】 The relationship between algebra and logic is well known in mathematics.The relationship between logic and intelligent systems has been studied deeply in artificial intelligence.However, the relationship among algebra,logic and intelligent systems has not been drawn significant attention in research and teaching of computer science and technology.This paper will fill this gap by examining the relationships between them,and proposes a unified model for algebra,logic and intelligent systems.The proposed approach will facilitate research and teaching of computer science and artificial intelligence.更多还原