×

用合理性和可行性约束来保证抽象论证框架的可接受性。 (英语) 兹伯利07451581

摘要:本文考虑的问题是,在什么情况下,聚合规则保证了可接受的参数集,这些参数集代表了几个扩展之间的良好折衷,即由不同个人提供的抽象论证框架的参数集。首先,我们证明了Dung的可容许性、分次可容许性和强可容许性在扩展集合期间的保持结果是否定的。为了克服这些负面结果,我们定义了一个扩展聚合模型,该模型明确区分了个人应该满足的约束和集体决策必须满足的约束。利用该模型,我们证明了多数规则保证了轮廓上满足Dung可容许性变体的可容许集,以及具有某些特定特征的扩张轮廓。

MSC公司:

03月XX日 数学逻辑和基础
68倍 计算机科学
PDF格式BibTeX公司 XML格式引用
全文: 内政部