Logic Programming, Argumentation and Human Reasoning

Autor:	Marcos Cramer, Emmanuelle-Anna Dietz Saldanha
Rok vydání:	2020
Předmět:	Argumentation semantics Semantics (computer science) Programming language Computer science Computational logic Relevance (information retrieval) computer.software_genre computer Logic programming AND gate Argumentation theory
Zdroj:	Lecture Notes in Computer Science ISBN: 9783030446376 CLAR
DOI:	10.1007/978-3-030-44638-3_4
Popis:	The weak completion semantics, a computational logic approach, has been shown to adequately model various episodes of human reasoning. Since the inception of abstract argumentation in the 1990s, connections between argumentation semantics and logic programming semantics have been studied, but existing work on this connection has not yet covered the weak completion semantics. In this paper we define a novel translation from logic programs to abstract argumentation frameworks and show that under this translation the weak completion semantics corresponds to the grounded semantics of abstract argumentation. Combining this translation with argumentation semantics other than grounded semantics gives rise to novel logic programming semantics. We discuss the potential relevance of these novel semantics to modeling human reasoning and give an outlook on possible future research on this topic.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::1b504c9e3a6655c1b734a2fae5cb10cd https://doi.org/10.1007/978-3-030-44638-3_4 Zobrazit plný text záznamu