可能性论证。一种等式方法
Probabilistic Argumentation. An Equational Approach
摘要：
有一种通用的方法可以向系统添加任何新功能。它包括：1）识别构建系统的基本单元; 2）为每个基本单元引入新功能。在系统是论证并且特征是概率的情况下，我们有以下内容。基本单位是：a。所涉及的论点的性质; b.所述参数集合S中的成员关系; c.攻击关系;以及d.扩展的选择。一般地，向论证网络<S，R>添加新的方面（概率的、或模糊的、或时间的等）可以通过向每个组件a-d添加该特征来完成。这是一种蛮力方法，可能会产生不直观或有意义的结果。一个更好的方法是有意义地将对象系统转换为另一个目标系统，该目标系统确实具有所需的方面，然后让目标系统将方面赋予初始系统。在我们的例子中，我们将论证翻译成经典的命题逻辑，并从翻译中得到概率论证。当然，我们得到什么取决于我们如何翻译。事实上，在本文中，我们引入概率语义抽象论证理论的基础上的方程方法的论证网络。然后，我们比较我们的语义与现有的建议，在文献中，包括M。Thimm和A.猎人我们的方法一般讨论的结论。
英文摘要：
There is a generic way to add any new feature to a system. It involves 1) identifying the basic units which build up the system and 2) introducing the new feature to each of these basic units. In the case where the system is argumentation and the feature is probabilistic we have the following. The basic units are: a. the nature of the arguments involved; b. the membership relation in the set S of arguments; c. the attack relation; and d. the choice of extensions. Generically to add a new aspect (probabilistic, or fuzzy, or temporal, etc) to an argumentation network <S,R> can be done by adding this feature to each component a-d. This is a brute-force method and may yield a non-intuitive or meaningful result. A better way is to meaningfully translate the object system into another target system which does have the aspect required and then let the target system endow the aspect on the initial system. In our case we translate argumentation into classical propositional logic and get probabilistic argumentation from the translation. Of course what we get depends on how we translate. In fact, in this paper we introduce probabilistic semantics to abstract argumentation theory based on the equational approach to argumentation networks. We then compare our semantics with existing proposals in the literature including the approaches by M. Thimm and by A. Hunter. Our methodology in general is discussed in the conclusion.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
