代数递归逻辑与人工智能
作者机构：北方交通大学计算机系北京100044
出 版 物：《计算机科学》 (Computer Science)
年 卷 期：1995年第22卷第3期
页 面：25-31页
核心收录：
学科分类：12[管理学] 1201[管理学-管理科学与工程(可授管理学、工学学位)] 081104[工学-模式识别与智能系统] 08[工学] 0835[工学-软件工程] 0811[工学-控制科学与工程] 0812[工学-计算机科学与技术（可授工学、理学学位）]
基 金：国家自然科学基金
摘 要：融合代数和递归函数理论,本文建立了一个可以刻画知识表示、知识获取和自动推理的逻辑理论,给出了从示例中获取知识的多项式复杂性算法和自动推理的多项式复杂性算法。作为代数速归逻辑的应用,本文给出了人工智能中的约束满足问题的处理方案,探讨了人工智能的基本问题。
维普期刊数据库
同方期刊数据库