论文标题
关于在信仰基础上使用证据理论的使用
On the use of evidence theory in belief base revision
论文作者
论文摘要
本文介绍了信念基础修订，这是一种信念变化的形式，包括将新事实纳入由有限的命题公式所代表的代理人信念中。为了在进行修订时保证对实际应用的更可靠性和合理性，我们建议使用证据理论提供的合适的工具来定义两个基于公式的修订运营商，以定义两个新的基于公式的修订操作员。这些操作员在[9]中以与他人的同样精神统一呈现，源于对信誉的最大基础，而不是设定包容性和心脏性。此外，在这两个极端操作员之间，证据理论让我们阐明了妥协的操作员避免在可能的最大程度上失去初始信念。它的想法捕获了最大一致的集合，这些集合来自最大一致的子基础的所有可能交集。所有这些操作员的例证以及与他人的比较的例子是由示例归类的。
This paper deals with belief base revision that is a form of belief change consisting of the incorporation of new facts into an agent's beliefs represented by a finite set of propositional formulas. In the aim to guarantee more reliability and rationality for real applications while performing revision, we propose the idea of credible belief base revision yielding to define two new formula-based revision operators using the suitable tools offered by evidence theory. These operators, uniformly presented in the same spirit of others in [9], stem from consistent subbases maximal with respect to credibility instead of set inclusion and cardinality. Moreover, in between these two extremes operators, evidence theory let us shed some light on a compromise operator avoiding losing initial beliefs to the maximum extent possible. Its idea captures maximal consistent sets stemming from all possible intersections of maximal consistent subbases. An illustration of all these operators and a comparison with others are inverstigated by examples.
