摘要
给出规则推理的一种新方法及其实现。这种推理方法将推理转化为数学上的矩阵运算,其推理时间为O(n4log2n)。
A new approach and solution conceming regualar induction are given. It convertsinduction to mathe operation, the the of the induction is O(n4log2n)
出处
《黑龙江大学自然科学学报》
CAS
1997年第1期38-41,共4页
Journal of Natural Science of Heilongjiang University