Range-based argumentation semantics as two-valued models

DOI10.1017/S1471068416000090MaRDI QIDQ4593079zbMATH OpenOpenAlexFDO

Authors Mauricio Osorio, Juan Carlos Nieves

Publication date 9 November 2017

Published in Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1602.08903

zbMATH Keywords

nonmonotonic reasoningargumentation semanticslogic programming semantics

Mathematics Subject Classification ID

Logic programming (68N17) Logic in artificial intelligence (68T27) Semantics in the theory of computing (68Q55)

Abstract: Characterizations of semi-stable and stage extensions in terms of 2-valued logical models are presented. To this end, the so-called GL-supported and GL-stage models are defined. These two classes of logical models are logic programming counterparts of the notion of range which is an established concept in argumentation semantics.

Recommendations

• Semi-stable semantics
• Ideal extensions as logical programming models
• Defining stage argumentation semantics in terms of an abducible semantics
• Complexity of semi-stable and stage semantics in argumentation frameworks
• Abducible Semantics and Argumentation

Cites work

• scientific article; zbMATH DE number 1852916 (Why is no real title available?)
• A schema for generating relevant logic programming semantics and its applications in argumentation theory
• Answer-set programming encodings for argumentation frameworks
• Approximating operators and semantics for abstract dialectical frameworks
• Complete extensions in argumentation coincide with 3-valued stable models in logic programming
• Complexity of semi-stable and stage semantics in argumentation frameworks
• Handbook of knowledge representation.
• Ideal extensions as logical programming models
• Knowledge Representation, Reasoning and Declarative Problem Solving
• Logic programming, knowledge representation, and nonmonotonic reasoning. Essays dedicated to Michael Gelfond on the occasion of his 65th birthday
• Logical modes of attack in argumentation networks
• Logics with Common Weak Completions
• Methods for solving reasoning problems in abstract argumentation -- a survey
• On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games
• Preferred extensions as stable models
• Semi-stable semantics

Cited in

(4)

• Defining stage argumentation semantics in terms of an abducible semantics
• An argumentation-based approach for identifying and dealing with incompatibilities among procedural goals
• Semi-stable semantics
• Ensuring reference independence and cautious monotony in abstract argumentation

This page was built for publication: Range-based argumentation semantics as two-valued models

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4593079)