基于规则的一种新的推理方法及实现

摘要

给出规则推理的一种新方法及其实现，这种推理方法将推理转化为数学上的矩阵运算，其推理时间为Ｏ（ｎ＾４ｌｏｇ２ｎ）。