计算机科学
計算機科學
계산궤과학
COMPUTER SCIENCE
2009年
12期
223-226
,共4页
真值流推理%还原性%相似度%权重
真值流推理%還原性%相似度%權重
진치류추리%환원성%상사도%권중
Truth-valued-flow inference%Consistency%Similarity measure%Weight
研究了真值流推理算法在各种推理模式下的还原性,证明了真值流推理算法在单一规则下是具有还原性的.但是,在采用常用的推理模型进行推理时,真值流推理算法并不具有多重多维情形下的还原性.为了解决这个问题,提出了一种带权重的真值流推理算法,并证明了该新算法具有多重多维情形下的还原性.
研究瞭真值流推理算法在各種推理模式下的還原性,證明瞭真值流推理算法在單一規則下是具有還原性的.但是,在採用常用的推理模型進行推理時,真值流推理算法併不具有多重多維情形下的還原性.為瞭解決這箇問題,提齣瞭一種帶權重的真值流推理算法,併證明瞭該新算法具有多重多維情形下的還原性.
연구료진치류추리산법재각충추리모식하적환원성,증명료진치류추리산법재단일규칙하시구유환원성적.단시,재채용상용적추리모형진행추리시,진치류추리산법병불구유다중다유정형하적환원성.위료해결저개문제,제출료일충대권중적진치류추리산법,병증명료해신산법구유다중다유정형하적환원성.
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 Truth-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.