代数递归逻辑与人工智能

融合代数和递归函数理论，本文建了一个可以刻画知识表示、智能获取和自动推理的逻辑理论，给出了从示例中获得取知识的多项式复杂性算法和自动推理多项式复杂性算法。作为代数递归逻辑的应用，本文给出了人工智能中的约束满足问题的处理方案，探讨了人工智能的基本问题。