首页> 外文会议>International Conference on Algorithmic Decision Theory >Verification in Argument-Incomplete Argumentation Frameworks
【24h】

Verification in Argument-Incomplete Argumentation Frameworks

机译:验证参数 - 不完整的论证框架

获取原文

摘要

Incomplete knowledge in argumentation frameworks may occur during the single steps of an elicitation process, when merging different beliefs about the current state of an argumentation framework, or when it is simply not possible to obtain complete information. The semantics of argumentation frameworks with such incomplete knowledge have previously been modeled in terms of an incomplete attack relation among the given arguments by Cayrol et al. [12] or when adding an argument that interacts with already present arguments [14]. We propose a more general model of argument-incomplete argumentation frameworks with a variable set of arguments, and we study the related verification problems for various semantics in terms of their computational complexity.
机译:在诱导过程的单个步骤期间,在诱导过程的单个步骤中可能发生故事框架中的不完整知识,当涉及论证框架的当前状态时,或者当根本无法获得完整信息时,在不同的信念。具有此类不完整知识的论证框架的语义以前在Cayrol等人的给定参数之间的不完全攻击关系方面进行了建模。 [12]或添加与已经存在的参数交互的参数[14]。我们提出了一种具有变量参数集的参数 - 不完整的论证框架的更一般模型,我们在计算复杂性方面研究了各种语义的相关验证问题。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号