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

关键词: 代数递归 逻辑理论 知识表示 知识获取 人工智能