NR：一种数值推理方法

摘要

给出了一种数值推理方法。它将逐步匹配推理方法转化为逻辑值的计算。该模型的推理时间至多为Ｏ（ｎ＾２）。