Towards the Proof-theoretic Unification of Dung's Argumentation Framework: an Adaptive Logic Approach

CHRISTIAN STRAβER; DUNJA SESELJA

首页> 外文期刊>Journal of logic and computation >Towards the Proof-theoretic Unification of Dung's Argumentation Framework: an Adaptive Logic Approach

【24h】

Towards the Proof-theoretic Unification of Dung's Argumentation Framework: an Adaptive Logic Approach

机译：走向Dung论证框架的证明理论统一：一种自适应逻辑方法

获取原文

获取原文并翻译 | 示例

掌桥外文数据库（机构版） >>

开具论文收录证明 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

The article presents a unifying adaptive logic framework for abstract argumentation. It consists of a core system for abstract argumentation and various adaptive logics based on it. These logics represent in an accurate sense all standard extensions defined within Dung's abstract argumentation system with respect to sceptical and credulous acceptance. The models of our logics correspond exactly to specific extensions of given argument systems. Additionally, the dynamics of adaptive proofs mirror the argumentative reasoning of a rational agent. In particular, the presented logics allow for external dynamics, i.e. they are able to deal with the arrival of new arguments and are therefore apt to model open-ended argumentations by providing provisional conclusions.

机译：本文提出了一个用于抽象论证的统一自适应逻辑框架。它由一个抽象论证的核心系统和基于它的各种自适应逻辑组成。这些逻辑在准确的意义上代表了董氏抽象论证系统中就怀疑和轻信接受所定义的所有标准扩展。我们的逻辑模型完全对应于给定参数系统的特定扩展。此外，适应性证明的动态反映了理性主体的论证推理。特别地，所提出的逻辑允许外部动力，即它们能够处理新论证的到来，因此易于通过提供临时结论来对开放式论证进行建模。

著录项

来源
《Journal of logic and computation》 |2011年第2期|p.133-156|共24页
作者
CHRISTIAN STRAβER; DUNJA SESELJA;
展开▼
作者单位

Department of Philosophy and Moral Sciences, Ghent University, B-9000 Ghent, Belgium.;

Department of Philosophy and Moral Sciences, Ghent University, B-9000 Ghent, Belgium.;

展开▼
收录信息
原文格式 PDF
正文语种 eng
中图分类
关键词
argumentation; proof theory; adaptive logic; abstract argumentation; defeasible reasoning;

机译：论证;证明理论自适应逻辑抽象论证不可行的推理;

相似文献

外文文献
中文文献
专利

1. On the Semantics of Abstract Argumentation Frameworks: A Logic Programming Approach [J] . Alfano Gianvincenzo, Greco Sergio, Parisi Francesco, Theory and Practice of Logic Programming . 2020,第5期

机译：论抽象论证框架的语义：逻辑编程方法
2. Dung’s Argumentation is Essentially Equivalent to Classical Propositional Logic with the Peirce–Quine Dagger [J] . Dov M. Gabbay Logica Universalis . 2011,第2期

机译：邓恩的论点与皮尔斯·奎因匕首的经典命题逻辑本质上等效
3. Dung’s Argumentation is Essentially Equivalent to Classical Propositional Logic with the Peirce–Quine Dagger [J] . Dov M. Gabbay Logica universalis . 2011,第2期

机译：邓恩的论点与皮尔斯·奎因匕首的经典命题逻辑本质上等效
4. A Generalization of Dung's Abstract Framework for Argumentation: Arguing with Sets of Attacking Arguments [C] . S?ren Holbech Nielsen, Simon Parsons International Workshop on Argumentation in Multi-Agent Systems(ArgMAS 2006) . 2007

机译：粪便论证的概括论证：攻击论点争论
5. NAF-Based Logic Semantics: Proof-Theoretic Generalization and Non-Ground Extension [D] . Salazar, Elmer E. 2019

机译：基于NAF的逻辑语义：校样理论泛化和非地扩展
6. Uncovering transcriptional interactions via an adaptive fuzzy logic approach [O] . Cheng-Long Chuang, Kenneth Hung, Chung-Ming Chen, 2009

机译：通过自适应模糊逻辑方法发现转录相互作用
7. Adapting an argumentation framework for online discourse analysis : a knowledge building approach [O] . Nykvist Shaun S. 2013

机译：调整论证框架进行在线话语分析：一种知识积累方法

Towards the Proof-theoretic Unification of Dung's Argumentation Framework: an Adaptive Logic Approach

摘要

著录项

相似文献

相关主题

期刊订阅