关键词: 真值流推理，还原性，相似度，权重

Abstract: The property of being consistent of Truth valued-flow inference algorithm was investigated. First the property of being consistent for one rule of Truth-valued-flow inference algorithm was proved,and then an example was given to show that I}ruth-valued-flow inference algorithm is not consistent for multiple rules. Finally, a weighted Truth-valued-flow inference algorithm was proposed, which was proved to be consistent for multiple rules.

Key words: Truth-valued-flow inference, Consistency, Similarity measure, Weight