On the equivalence between logic programming semantics and argumentation semantics

In the current paper, we re-examine the connection between formal argumentation and logic programming from the perspective of semantics. We observe that one particular translation from logic programs to instantiated argumentation (the one described by Wu, Caminada and Gabbay) is able to serve as a b...

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:International journal of approximate reasoning Ročník 58; s. 87 - 111
Hlavní autoři: Caminada, Martin, Sá, Samy, Alcântara, João, Dvořák, Wolfgang
Médium: Journal Article
Jazyk:angličtina
Vydáno: Elsevier Inc 01.03.2015
Témata:
Abstract argumentation semantics
Approximation
Equivalence
Logic programming
Logic programming semantics
Reasoning
Semantics
Translations
Abstract argumentation semantics
Logic programming semantics
ISSN:0888-613X, 1873-4731
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
Shrnutí:In the current paper, we re-examine the connection between formal argumentation and logic programming from the perspective of semantics. We observe that one particular translation from logic programs to instantiated argumentation (the one described by Wu, Caminada and Gabbay) is able to serve as a basis for describing various equivalences between logic programming semantics and argumentation semantics. In particular, we are able to show equivalence 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. •We re-examine the equivalence between logic programming (LP) and argumentation.•One particular translation yields a whole range of semantic equivalences.•Notorious exception: L-stable (LP) and semi-stable (argumentation) do not coincide.•Several argumentation semantics operate by minimizing/maximizing argument labels.•Several LP semantics operate by minimizing/maximizing conclusion labels.
Bibliografie:ObjectType-Article-1
SourceType-Scholarly Journals-1
ObjectType-Feature-2
content type line 23
ISSN:0888-613X
1873-4731
DOI:10.1016/j.ijar.2014.12.004