尼科斯·戈罗甘尼斯;马克·D·瑞恩。 使用BDD实现信念改变操作符。 （英语） Zbl 1004.68166号 螺柱日志。 70，第1期，131-156（2002）. 摘要：虽然信念改变理论吸引了研究人员的大量兴趣，但实现信念改变并将其实际应用于现实问题的工作仍然很少。本文提出了一种利用二元决策图（BDD）实现命题信念改变的方法。给出并讨论了算法的复杂度上限。该方法既适用于一般情况，也适用于文献中的特定信念改变算子。为了更好地理解所涉及算法的经验效率，提出、实现并评估了组合电路的故障诊断问题。 引用于三文件 MSC公司： 68立方英尺 知识表示 94C12号机组 故障检测；电路和网络测试 关键词：二元决策图 PDF格式BibTeX公司 XML格式引用 \textit{N.Gorogannis}和\textit{M.D.Ryan}，Stud.Log。70，第1号，131--156（2002；Zbl 1004.68166） 全文： 内政部