A formalization of abstract argumentation in higher-order logic

被引：1

作者：

Steen, Alexander ^{[1
]}

Fuenmayor, David ^{[2
]}

机构：

[1] Univ Greifswald, Inst Math & Informat, Walther Rathenau Str 47, D-17489 Greifswald, Germany

[2] Univ Luxembourg, Dept Comp Sci, 6 Ave Fonte, L-4364 Luxembourg, Luxembourg

来源：

JOURNAL OF LOGIC AND COMPUTATION | 2024年 / 34卷 / 02期

关键词：

Abstract argumentation; higher-order logic; automated reasoning; proof assistants; Isabelle/HOL; FUNDAMENTAL ROLE; ACCEPTABILITY; FRAMEWORK;

D O I：

10.1093/logcom/exac027

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

We present an approach for representing abstract argumentation frameworks based on an encoding into classical higher-order logic. This provides a uniform framework for computer-assisted assessment of abstract argumentation frameworks using interactive and automated reasoning tools. This enables the formal analysis and verification of meta-theoretical properties as well as the flexible generation of extensions and labellings with respect to well-known argumentation semantics.

引用

页码：229 / 260

页数：32

共 63 条

[1] On bipolarity in argumentation frameworks [J].

Amgoud, L. ;

Cayrol, C. ;

Lagasquie-Schiex, M. C. ;

Livet, P. .

INTERNATIONAL JOURNAL OF INTELLIGENT SYSTEMS, 2008, 23 (10) :1062-1093

[2]

Amgoud L., 1998, Uncertainty in Artificial Intelligence. Proceedings of the Fourteenth Conference (1998), P1

[3]

[Anonymous], 2021, STEEN ISABELLE HOL S

[4] A QBF-based formalization of abstract argumentation semantics [J].

Arieli, Ofer ;

Caminada, Martin W. A. .

JOURNAL OF APPLIED LOGIC, 2013, 11 (02) :229-252

[5]

Baroni P., 2018, Handbook of formal argumentation

[6] On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games: 25 years later Foreword [J].

Baroni, Pietro ;

Toni, Francesca ;

Verheij, Bart .

ARGUMENT & COMPUTATION, 2020, 11 (1-2) :1-14

[7] An introduction to argumentation semantics [J].

Baroni, Pietro ;

Caminada, Martin ;

Giacomin, Massimiliano .

KNOWLEDGE ENGINEERING REVIEW, 2011, 26 (04) :365-410

[8] AFRA: Argumentation framework with recursive attacks [J].

Baroni, Pietro ;

Cerutti, Federico ;

Giacomin, Massimiliano ;

Guida, Giovanni .

INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, 2011, 52 (01) :19-37

[9]

Barrett Clark, 2011, Computer Aided Verification. Proceedings 23rd International Conference, CAV 2011, P171, DOI 10.1007/978-3-642-22110-1_14

[10] Satisfiability modulo theories [J].

Barrett, Clark ;

Sebastiani, Roberto ;

Seshia, Sanjit A. ;

Tinelli, Cesare .

Frontiers in Artificial Intelligence and Applications, 2009, 185 (01) :825-885

← 1 2 3 4 5 6 7 →