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