A logical account of formal argumentation

被引：1

作者：

Caminada M.W.A. ^{[1
,4
]}

Gabbay D.M. ^{[2
,3
,4
]}

机构：

[1] Interdisciplinary Lab for Intelligent and Adaptive Systems, University of Luxembourg

[2] King's College, London

[3] Bar-Alan University, Ramat Gan

来源：

Studia Logica | 2009年 / 93卷 / 2-3期

关键词：

Abstract argumentation; Argument labellings; Grounded semantics; Modal logic;

D O I：

10.1007/s11225-009-9218-x

中图分类号：

学科分类号：

摘要：

In the current paper, we re-examine how abstract argumentation can be formulated in terms of labellings, and how the resulting theory can be applied in the field of modal logic. In particular, we are able to express the (complete) extensions of an argumentation framework as models of a set of modal logic formulas that represents the argumentation framework. Using this approach, it becomes possible to define the grounded extension in terms of modal logic entailment. © Springer 2009.

引用

页码：109 / 145

页数：36

共 50 条

[1] Towards a Formal Account of Reasoning about Evidence: Argumentation Schemes and Generalisations
Floris Bex
Henry Prakken
Chris Reed
Douglas Walton
[J]. Artificial Intelligence and Law, 2003, 11 (2-3) : 125 - 165
[2] FORMAL LOGIC AND ARGUMENTATION
Oller, Carlos A.
[J]. REVISTA DE FILOSOFIA Y TEORIA POLITICA, 2006, 37 : 83 - 91
[3] Generic logical encoding for argumentation
Besnard, Philippe
Doutre, Sylvie
Duchatelle, Theo
Lagasquie-Schiex, Marie-Christine
[J]. JOURNAL OF LOGIC AND COMPUTATION, 2023, 33 (03) : 623 - 704
[4] ENFORCEMENT IN FORMAL ARGUMENTATION
Baumann, Ringo
Doutre, Sylvie
Mailly, Jean-Guy
Wallner, Johannes P.
[J]. JOURNAL OF APPLIED LOGICS-IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS, 2021, 8 (06): : 1623 - 1677
[5] Enforcement in formal argumentation
Baumann, Ringo
Doutre, Sylvie
Mailly, Jean-Guy
Wallner, Johannes P.
[J]. Journal of Applied Logics, 2021, 8 (06): : 1623 - 1678
[6] Embodied Functional Relations: A Formal Account Combining Abstract Logical Theory with Grounding in Simulation
Pomarlan, Mihai
Bateman, John A.
[J]. FORMAL ONTOLOGY IN INFORMATION SYSTEMS, FOIS 2020, 2020, 330 : 155 - 168
[7] Ranking-based Argumentation Semantics Applied to Logical Argumentation
Heyninck, Jesse
Raddaoui, Badran
Strasser, Christian
[J]. PROCEEDINGS OF THE THIRTY-SECOND INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, IJCAI 2023, 2023, : 3268 - 3276
[8] A Logical Account of PSPACE
Gaboardi, Marco
Della Rocca, Simona Ronchi
Marion, Jean-Yves
[J]. POPL'08: PROCEEDINGS OF THE 35TH ANNUAL ACM SIGPLAN-SIGACT SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES, 2008, : 121 - 131
[9] A logical account of PSPACE
Gaboardi, Marco
Della Rocca, Simona Ronchi
Marion, Jean-Yves
[J]. ACM SIGPLAN NOTICES, 2008, 43 (01) : 121 - 131
[10] A logical account of NGSCB
Abadi, M
Wobber, T
[J]. FORMAL TECHNIQUES FOR NETWORKED AND DISTRIBUTED SYSTEMS - FORTE 2004, PROCEEDINGS, 2004, 3235 : 1 - 12

← 1 2 3 4 5 →