Possibilistic Logic Underlies Abstract Dialectical Frameworks

J.L.A. Heyninck; Gabriele Kern-Isberner; Tjitze Rienstra; Kenneth Skiba; Matthias Thimm

doi:10.24963/ijcai.2022/368

Possibilistic Logic Underlies Abstract Dialectical Frameworks

J.L.A. Heyninck
, Gabriele Kern-Isberner
, Tjitze Rienstra
, Kenneth Skiba
, Matthias Thimm

Research output: Contribution to conference › Conference Paper until 1 July 2025 › Academic

Abstract

Abstract dialectical frameworks (in short, ADFs) are one of the most general and unifying approaches to formal argumentation. As the semantics of ADFs are based on three-valued interpretations, we ask which monotonic three-valued logic allows to capture the main semantic concepts underlying ADFs. We show that possibilistic logic is
the unique logic that can faithfully encode all other semantical concepts for ADFs. Based on this result, we also characterise strong equivalence and introduce possibilistic ADFs. allows to capture the main semantic concepts underlying ADFs. We show that possibilistic logic is the unique logic that can faithfully encode all other semantical concepts for ADFs. Based on this result, we also characterise strong equivalence and introduce possibilistic ADFs.

Original language	English
Pages	2655-2661
DOIs	https://doi.org/10.24963/ijcai.2022/368
Publication status	Published - 2022
Event	31st International Joint Conference on Artificial Intelligence - Messe WIen, Vienna, Austria Duration: 23 Jul 2022 → 29 Jul 2022 Conference number: 31 https://ijcai-22.org/

Conference

Conference	31st International Joint Conference on Artificial Intelligence
Abbreviated title	IJCAI-ECAI 2022
Country/Territory	Austria
City	Vienna
Period	23/07/22 → 29/07/22
Internet address	https://ijcai-22.org/

Access to Document

10.24963/ijcai.2022/368

http://www.mthimm.de/pub/2022/Heyninck_2022a.pdf

Cite this

@conference{f544d46e27b5477384d95a6ce1a7783d,

title = "Possibilistic Logic Underlies Abstract Dialectical Frameworks",

abstract = "Abstract dialectical frameworks (in short, ADFs) are one of the most general and unifying approaches to formal argumentation. As the semantics of ADFs are based on three-valued interpretations, we ask which monotonic three-valued logic allows to capture the main semantic concepts underlying ADFs. We show that possibilistic logic is the unique logic that can faithfully encode all other semantical concepts for ADFs. Based on this result, we also characterise strong equivalence and introduce possibilistic ADFs. allows to capture the main semantic concepts underlying ADFs. We show that possibilistic logic is the unique logic that can faithfully encode all other semantical concepts for ADFs. Based on this result, we also characterise strong equivalence and introduce possibilistic ADFs.",

author = "J.L.A. Heyninck and Gabriele Kern-Isberner and Tjitze Rienstra and Kenneth Skiba and Matthias Thimm",

year = "2022",

doi = "10.24963/ijcai.2022/368",

language = "English",

pages = "2655--2661",

note = "31st International Joint Conference on Artificial Intelligence, IJCAI-ECAI 2022 ; Conference date: 23-07-2022 Through 29-07-2022",

url = "https://ijcai-22.org/",

}

TY - CONF

T1 - Possibilistic Logic Underlies Abstract Dialectical Frameworks

AU - Heyninck, J.L.A.

AU - Kern-Isberner, Gabriele

AU - Rienstra, Tjitze

AU - Skiba, Kenneth

AU - Thimm, Matthias

N1 - Conference code: 31

PY - 2022

Y1 - 2022

N2 - Abstract dialectical frameworks (in short, ADFs) are one of the most general and unifying approaches to formal argumentation. As the semantics of ADFs are based on three-valued interpretations, we ask which monotonic three-valued logic allows to capture the main semantic concepts underlying ADFs. We show that possibilistic logic is the unique logic that can faithfully encode all other semantical concepts for ADFs. Based on this result, we also characterise strong equivalence and introduce possibilistic ADFs. allows to capture the main semantic concepts underlying ADFs. We show that possibilistic logic is the unique logic that can faithfully encode all other semantical concepts for ADFs. Based on this result, we also characterise strong equivalence and introduce possibilistic ADFs.

AB - Abstract dialectical frameworks (in short, ADFs) are one of the most general and unifying approaches to formal argumentation. As the semantics of ADFs are based on three-valued interpretations, we ask which monotonic three-valued logic allows to capture the main semantic concepts underlying ADFs. We show that possibilistic logic is the unique logic that can faithfully encode all other semantical concepts for ADFs. Based on this result, we also characterise strong equivalence and introduce possibilistic ADFs. allows to capture the main semantic concepts underlying ADFs. We show that possibilistic logic is the unique logic that can faithfully encode all other semantical concepts for ADFs. Based on this result, we also characterise strong equivalence and introduce possibilistic ADFs.

U2 - 10.24963/ijcai.2022/368

DO - 10.24963/ijcai.2022/368

M3 - Conference Paper until 1 July 2025

SP - 2655

EP - 2661

T2 - 31st International Joint Conference on Artificial Intelligence

Y2 - 23 July 2022 through 29 July 2022

ER -

Possibilistic Logic Underlies Abstract Dialectical Frameworks

Abstract

Conference

Access to Document

Fingerprint

Cite this