证据理论在信念基修正中的应用
人工智能
2020-09-25 v1
摘要
本文处理信念基修正，这是一种信念变更形式，由将新事实并入智能体信念组成，该信念由一组有限命题公式表示。为保证实际应用中执行修正时更多的可靠性与合理性，我们提出可信信念基修正的思想，进而利用证据理论提供的合适工具定义两个新的基于公式的修正算子。这些算子以[9]中其他算子的相同精神统一呈现，源于关于可信性（而非集合包含与基数）极大的相容子基。此外，在这两个极端算子之间，证据理论使我们阐明了一个折中算子，尽可能最大避免丢失初始信念。其思想捕获源自极大相容子基所有可能交集的极大相容集。通过例子研究所有这些算子的说明并与其他算子进行比较。
引用
@article{arxiv.2009.11640,
title = {On the use of evidence theory in belief base revision},
author = {Raïda Ktari and Mohamed Ayman Boujelben},
journal= {arXiv preprint arXiv:2009.11640},
year = {2020}
}