Defeasible Logic Programming: DeLP-servers, Contextual Queries, and Explanations for Answers.

ALEJANDRO JAVIER GARCIA; GUILLERMO R. SIMARI

Argument & Computation

Taylor & Francis

Lugar: Londres; Año: 2014 vol. 5 p. 63 - 88

1946-2166

Argumentation represents a way of reasoning over a knowledge base containing possibly incomplete and/or inconsistent information, to obtain useful conclusions. As a reasoning mechanism, the way an argumentation reasoning engine reaches these conclusions resembles the cognitive process that humans follow to analyze their beliefs; thus, unlike other computationally reasoning systems, argumentation offers an intellectually friendly alternative to other defeasible reasoning systems. Logic Programming is a computational paradigm that has produced computationally attractive systems with remarkable success in many applications. Merging ideas from both areas, Defeasible Logic Programming (DeLP) offers a computational reasoning system that uses an argumentation engine to obtain answers from a knowledge base represented using a logic programming language extended with defeasible rules. This combination of ideas brings about a computationally effective system together with a human-like reasoning model facilitating its use in applications.