On the Equivalence between Logic Programming Semantics and Argumentation Semantics

Martin Caminada, Samy Sá, João Alcântara

Research output: Chapter in Book/Report/Conference proceedingConference contribution

8 Citations (Scopus)

Abstract

In this paper, we re-examine the connection between formal argumentation and logic programming from the perspective of semantics. We note that one particular translation from logic programs to instantiated argumentation (the one described by Wu, Caminada and Gabbay) can serve as a basis for describing various equivalences between logic programming semantics and argumentation semantics. In particular, we are able to provide a formal connection between regular semantics for logic programming and preferred semantics for formal argumentation. We also show that there exist logic programming semantics (L-stable semantics) that cannot be captured by any abstract argumentation semantics.
Original languageEnglish
Title of host publicationSymbolic and Quantitative Approaches to Reasoning with Uncertainty
Subtitle of host publication12th European Conference, ECSQARU 2013
EditorsLinda van der Gaag
PublisherSpringer-Verlag
Pages97-108
Number of pages12
ISBN (Print)978-3-642-39090-6
DOIs
Publication statusPublished - 2013

Publication series

NameLecture Notes in Artificial Intelligence
Volume7958

Fingerprint

Logic programming
Semantics

ASJC Scopus subject areas

  • Computer Science(all)

Cite this

Caminada, M., Sá, S., & Alcântara, J. (2013). On the Equivalence between Logic Programming Semantics and Argumentation Semantics. In L. van der Gaag (Ed.), Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 12th European Conference, ECSQARU 2013 (pp. 97-108). (Lecture Notes in Artificial Intelligence; Vol. 7958). Springer-Verlag. https://doi.org/10.1007/978-3-642-39091-3_9

On the Equivalence between Logic Programming Semantics and Argumentation Semantics. / Caminada, Martin; Sá, Samy; Alcântara, João.

Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 12th European Conference, ECSQARU 2013. ed. / Linda van der Gaag. Springer-Verlag, 2013. p. 97-108 (Lecture Notes in Artificial Intelligence; Vol. 7958).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Caminada, M, Sá, S & Alcântara, J 2013, On the Equivalence between Logic Programming Semantics and Argumentation Semantics. in L van der Gaag (ed.), Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 12th European Conference, ECSQARU 2013. Lecture Notes in Artificial Intelligence, vol. 7958, Springer-Verlag, pp. 97-108. https://doi.org/10.1007/978-3-642-39091-3_9
Caminada M, Sá S, Alcântara J. On the Equivalence between Logic Programming Semantics and Argumentation Semantics. In van der Gaag L, editor, Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 12th European Conference, ECSQARU 2013. Springer-Verlag. 2013. p. 97-108. (Lecture Notes in Artificial Intelligence). https://doi.org/10.1007/978-3-642-39091-3_9
Caminada, Martin ; Sá, Samy ; Alcântara, João. / On the Equivalence between Logic Programming Semantics and Argumentation Semantics. Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 12th European Conference, ECSQARU 2013. editor / Linda van der Gaag. Springer-Verlag, 2013. pp. 97-108 (Lecture Notes in Artificial Intelligence).
@inproceedings{98da9e7e160f4cfa84f676f97012913a,
title = "On the Equivalence between Logic Programming Semantics and Argumentation Semantics",
abstract = "In this paper, we re-examine the connection between formal argumentation and logic programming from the perspective of semantics. We note that one particular translation from logic programs to instantiated argumentation (the one described by Wu, Caminada and Gabbay) can serve as a basis for describing various equivalences between logic programming semantics and argumentation semantics. In particular, we are able to provide a formal connection between regular semantics for logic programming and preferred semantics for formal argumentation. We also show that there exist logic programming semantics (L-stable semantics) that cannot be captured by any abstract argumentation semantics.",
author = "Martin Caminada and Samy S{\'a} and Jo{\~a}o Alc{\^a}ntara",
year = "2013",
doi = "10.1007/978-3-642-39091-3_9",
language = "English",
isbn = "978-3-642-39090-6",
series = "Lecture Notes in Artificial Intelligence",
publisher = "Springer-Verlag",
pages = "97--108",
editor = "{van der Gaag}, Linda",
booktitle = "Symbolic and Quantitative Approaches to Reasoning with Uncertainty",

}

TY - GEN

T1 - On the Equivalence between Logic Programming Semantics and Argumentation Semantics

AU - Caminada, Martin

AU - Sá, Samy

AU - Alcântara, João

PY - 2013

Y1 - 2013

N2 - In this paper, we re-examine the connection between formal argumentation and logic programming from the perspective of semantics. We note that one particular translation from logic programs to instantiated argumentation (the one described by Wu, Caminada and Gabbay) can serve as a basis for describing various equivalences between logic programming semantics and argumentation semantics. In particular, we are able to provide a formal connection between regular semantics for logic programming and preferred semantics for formal argumentation. We also show that there exist logic programming semantics (L-stable semantics) that cannot be captured by any abstract argumentation semantics.

AB - In this paper, we re-examine the connection between formal argumentation and logic programming from the perspective of semantics. We note that one particular translation from logic programs to instantiated argumentation (the one described by Wu, Caminada and Gabbay) can serve as a basis for describing various equivalences between logic programming semantics and argumentation semantics. In particular, we are able to provide a formal connection between regular semantics for logic programming and preferred semantics for formal argumentation. We also show that there exist logic programming semantics (L-stable semantics) that cannot be captured by any abstract argumentation semantics.

U2 - 10.1007/978-3-642-39091-3_9

DO - 10.1007/978-3-642-39091-3_9

M3 - Conference contribution

SN - 978-3-642-39090-6

T3 - Lecture Notes in Artificial Intelligence

SP - 97

EP - 108

BT - Symbolic and Quantitative Approaches to Reasoning with Uncertainty

A2 - van der Gaag, Linda

PB - Springer-Verlag

ER -