关键词abstract argumentation frameworks
搜索结果 - 5
- 论辩的防御语义：重访
通过引入新的语义 —— 防御语义，本文研究了 Dung 的抽象论证框架，并提出了两种类型的防御、防御等价性以及接受论证的两种理由，进而定义了摘要的根等价性。
- MM基于时间并发语言的交错语义用于建模辩论和对话游戏
本文介绍一种语言，可用于建模智能体之间的并发交互，并允许指定特定操作发生的时间间隔，以及演示了如何使用该语言建模辩论和对话游戏。
- 非扁平 ABA 是二极心论的一个实例
本文提出了一种双极 AF 语义，借鉴了推理支持的概念，用于实例化 general ABAFs 概念，并证明了在此概念下具有所需的关系。
- 重新审视抽象论证中的初始集合
本研究通过迭代选择初始集，对非空最小可接受集合（initial sets）的结构提供了新的洞察和简单的非确定性构造原则，并将很多现有的可接受性语义通过该构造原则予以解释；同时，研究了与 initial sets 相关的某些计算复杂性问题。
- MM抽象论证和答案集编程：纳尔逊逻辑的两面
本文提出非矛盾推理与强化封闭世界假设两个原则，将逻辑编程和抽象论证框架都用 Nelson 构造逻辑 N4 予以说明，并将它们以一种模块化的方式翻译成构造逻辑，从而形成一种新的蕴涵连接，支持攻击表示通过将这个新的蕴涵与强否定相结合。