基于矩阵运算的基于归结原理的自动推理算法

摘要：

基于归结原理的自动推理足人工智能领域中较为活跃的研究方向，基于归结原理的自动推理算法已经取得了一系列的研究成果。本文研究了经典命题逻辑系统P(X)中基于矩阵运算的归结算法，在引入子句集的(-1-0-1)表示向量、表示矩阵、表示矩阵问的加法，以及可零化行等定义后，给出了基于表示矩阵运算的一系列归结算法合理性的分析和证明，最后给出了基于矩阵运算的算法。

关键词： 人工智能 自动推理 归结原理 矩阵运算

作者: 孟丹 徐扬

作者单位: 西南交通大学智能控制开发中心 四川 成都 610031

会议类型: 国内会议

会议名称: 中国人工智能学会第10届全国学术年会

会议地点: 广州

会议语种:中文

页码: 172-176

在线出版日期: 2003-09-21（万方平台首次上网日期，不代表论文的发表时间）