A Semantical Approach to Abstraction in Answer Set Programming and Assumption-based Argumentation

Iosif Apostolakis; Zeynep G. Saribatur; Johannes Peter Wallner

doi:10.1007/978-3-031-74209-5_18

A Semantical Approach to Abstraction in Answer Set Programming and Assumption-based Argumentation

Iosif Apostolakis, Zeynep G. Saribatur, Johannes Peter Wallner

Institute of Software Engineering and Artificial Intelligence (7160)

Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

Abstract

Recently forms of abstraction have been proposed for both logic programs (LPs) under the answer set semantics (ASP) and for the related formalism of assumption-based argumentation (ABA), e.g., via clustering of atoms or assumptions, in order to simplify a given LP or ABA framework. In both approaches after clustering the original answer sets and assumption sets are over-approximated, with the aim of avoiding spuriousness. In contrast, in ASP a given LP is syntactically modified to achieve over-approximation, while on ABA the framework is minimally modified and the semantics is abstracted. In this work we follow the latter approach and provide a novel semantical abstraction for LPs and for ABA frameworks corresponding to LPs.

Originalsprache	englisch
Titel	Logic Programming and Nonmonotonic Reasoning - 17th International Conference, LPNMR 2024, Proceedings
Redakteure/-innen	Carmine Dodaro, Gopal Gupta, Maria Vanina Martinez
Herausgeber (Verlag)	Springer
Seiten	228-234
Seitenumfang	7
Band	15245
ISBN (Print)	9783031742088
DOIs	https://doi.org/10.1007/978-3-031-74209-5_18
Publikationsstatus	Veröffentlicht - 2024
Veranstaltung	International Conference on Logic Programming and Non-monotonic Reasoning - Dallas, USA / Vereinigte Staaten Dauer: 11 Okt. 2024 → 14 Okt. 2024 https://lpnmr2024.demacs.unical.it/home-page

Publikationsreihe

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Band	15245 LNAI
ISSN (Print)	0302-9743
ISSN (elektronisch)	1611-3349

Konferenz

Konferenz	International Conference on Logic Programming and Non-monotonic Reasoning
Kurztitel	LPNMR 2024
Land/Gebiet	USA / Vereinigte Staaten
Ort	Dallas
Zeitraum	11/10/24 → 14/10/24
Internetadresse	https://lpnmr2024.demacs.unical.it/home-page

ASJC Scopus subject areas

Theoretische Informatik
Allgemeine Computerwissenschaft

Zugriff auf Dokument

10.1007/978-3-031-74209-5_18

Andere Dateien und Links

Verknüpfung zur Publikation in Scopus

FWF - Neue KI - Neue Berechnungsmethoden für Argumentationsmodelle in der KI
Wallner, J. P. (Teilnehmer (Co-Investigator))
1/09/22 → 31/08/25
Projekt: Forschungsprojekt

Dieses zitieren

Apostolakis, I., Saribatur, Z. G., & Wallner, J. P. (2024). A Semantical Approach to Abstraction in Answer Set Programming and Assumption-based Argumentation. in C. Dodaro, G. Gupta, & M. V. Martinez (Hrsg.), Logic Programming and Nonmonotonic Reasoning - 17th International Conference, LPNMR 2024, Proceedings (Band 15245, S. 228-234). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 15245 LNAI). Springer. https://doi.org/10.1007/978-3-031-74209-5_18

A Semantical Approach to Abstraction in Answer Set Programming and Assumption-based Argumentation. / Apostolakis, Iosif; Saribatur, Zeynep G.; Wallner, Johannes Peter.
Logic Programming and Nonmonotonic Reasoning - 17th International Conference, LPNMR 2024, Proceedings. Hrsg. / Carmine Dodaro; Gopal Gupta; Maria Vanina Martinez. Band 15245 Springer, 2024. S. 228-234 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 15245 LNAI).

Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

Apostolakis, I, Saribatur, ZG & Wallner, JP 2024, A Semantical Approach to Abstraction in Answer Set Programming and Assumption-based Argumentation. in C Dodaro, G Gupta & MV Martinez (Hrsg.), Logic Programming and Nonmonotonic Reasoning - 17th International Conference, LPNMR 2024, Proceedings. Bd. 15245, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bd. 15245 LNAI, Springer, S. 228-234, International Conference on Logic Programming and Non-monotonic Reasoning, Dallas, Texas, USA / Vereinigte Staaten, 11/10/24. https://doi.org/10.1007/978-3-031-74209-5_18

Apostolakis I, Saribatur ZG, Wallner JP. A Semantical Approach to Abstraction in Answer Set Programming and Assumption-based Argumentation. in Dodaro C, Gupta G, Martinez MV, Hrsg., Logic Programming and Nonmonotonic Reasoning - 17th International Conference, LPNMR 2024, Proceedings. Band 15245. Springer. 2024. S. 228-234. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-031-74209-5_18

Apostolakis, Iosif ; Saribatur, Zeynep G. ; Wallner, Johannes Peter. / A Semantical Approach to Abstraction in Answer Set Programming and Assumption-based Argumentation. Logic Programming and Nonmonotonic Reasoning - 17th International Conference, LPNMR 2024, Proceedings. Hrsg. / Carmine Dodaro ; Gopal Gupta ; Maria Vanina Martinez. Band 15245 Springer, 2024. S. 228-234 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{690560a6e07f4bb5be6c34f40bedf846,

title = "A Semantical Approach to Abstraction in Answer Set Programming and Assumption-based Argumentation",

abstract = "Recently forms of abstraction have been proposed for both logic programs (LPs) under the answer set semantics (ASP) and for the related formalism of assumption-based argumentation (ABA), e.g., via clustering of atoms or assumptions, in order to simplify a given LP or ABA framework. In both approaches after clustering the original answer sets and assumption sets are over-approximated, with the aim of avoiding spuriousness. In contrast, in ASP a given LP is syntactically modified to achieve over-approximation, while on ABA the framework is minimally modified and the semantics is abstracted. In this work we follow the latter approach and provide a novel semantical abstraction for LPs and for ABA frameworks corresponding to LPs.",

author = "Iosif Apostolakis and Saribatur, {Zeynep G.} and Wallner, {Johannes Peter}",

year = "2024",

doi = "10.1007/978-3-031-74209-5_18",

language = "English",

isbn = "9783031742088",

volume = "15245",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer",

pages = "228--234",

editor = "Carmine Dodaro and Gopal Gupta and Martinez, {Maria Vanina}",

booktitle = "Logic Programming and Nonmonotonic Reasoning - 17th International Conference, LPNMR 2024, Proceedings",

note = "International Conference on Logic Programming and Non-monotonic Reasoning, LPNMR 2024 ; Conference date: 11-10-2024 Through 14-10-2024",

url = "https://lpnmr2024.demacs.unical.it/home-page",

}

TY - GEN

T1 - A Semantical Approach to Abstraction in Answer Set Programming and Assumption-based Argumentation

AU - Apostolakis, Iosif

AU - Saribatur, Zeynep G.

AU - Wallner, Johannes Peter

PY - 2024

Y1 - 2024

N2 - Recently forms of abstraction have been proposed for both logic programs (LPs) under the answer set semantics (ASP) and for the related formalism of assumption-based argumentation (ABA), e.g., via clustering of atoms or assumptions, in order to simplify a given LP or ABA framework. In both approaches after clustering the original answer sets and assumption sets are over-approximated, with the aim of avoiding spuriousness. In contrast, in ASP a given LP is syntactically modified to achieve over-approximation, while on ABA the framework is minimally modified and the semantics is abstracted. In this work we follow the latter approach and provide a novel semantical abstraction for LPs and for ABA frameworks corresponding to LPs.

AB - Recently forms of abstraction have been proposed for both logic programs (LPs) under the answer set semantics (ASP) and for the related formalism of assumption-based argumentation (ABA), e.g., via clustering of atoms or assumptions, in order to simplify a given LP or ABA framework. In both approaches after clustering the original answer sets and assumption sets are over-approximated, with the aim of avoiding spuriousness. In contrast, in ASP a given LP is syntactically modified to achieve over-approximation, while on ABA the framework is minimally modified and the semantics is abstracted. In this work we follow the latter approach and provide a novel semantical abstraction for LPs and for ABA frameworks corresponding to LPs.

UR - http://www.scopus.com/inward/record.url?scp=85207641004&partnerID=8YFLogxK

U2 - 10.1007/978-3-031-74209-5_18

DO - 10.1007/978-3-031-74209-5_18

M3 - Conference paper

SN - 9783031742088

VL - 15245

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 228

EP - 234

BT - Logic Programming and Nonmonotonic Reasoning - 17th International Conference, LPNMR 2024, Proceedings

A2 - Dodaro, Carmine

A2 - Gupta, Gopal

A2 - Martinez, Maria Vanina

PB - Springer

T2 - International Conference on Logic Programming and Non-monotonic Reasoning

Y2 - 11 October 2024 through 14 October 2024

ER -

A Semantical Approach to Abstraction in Answer Set Programming and Assumption-based Argumentation

Abstract

Publikationsreihe

Konferenz

ASJC Scopus subject areas

Zugriff auf Dokument

Andere Dateien und Links

Fingerprint

Projekte

FWF - Neue KI - Neue Berechnungsmethoden für Argumentationsmodelle in der KI

Dieses zitieren