Argumentative logics: Reasoning with classically inconsistent information

Data and Knowledge Engineering

Volumn 16, Issue 2, 1995, Pages 125-145

  Elvang Gøransson, Morten ^a   Hunter, Anthony ^b  

^a Terma AS   (Denmark)

^b IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

Acceptability of inferences; Argumentation; Defeasible information; Inconsistent information; Non classical logics; Non monotonic reasoning; Paraconsistent logics; Uncertain information

Indexed keywords

DATA STRUCTURES; INFERENCE ENGINES; LINGUISTICS; SET THEORY;

ARGUMENTATIVE LOGICS; CLASSICAL LOGIC; DEFEASIBLE INFORMATION; INCONSISTENT INFORMATION; INFERENCE ACCEPTABILITY; NONCLASSICAL LOGICS; NONMONOTONIC REASONING; PARACONSISTENT LOGICS; UNCERTAIN INFORMATION;

FORMAL LOGIC;

EID: 0029352639     PISSN: 0169023X     EISSN: None     Source Type: Journal    
DOI: 10.1016/0169-023X(95)00013-I     Document Type: Article

References (16)

1. Argumentative inference in uncertain and inconsistent knowledge bases
2. Paraconsistent logic approach to knowledge representation
3. On the theory of inconsistent formal systems
4. The acceptability of arguments and its fundamental role in non-monotonic reasoning and logic programming
5. Acceptability of arguments as ‘logical uncertainty’
6. Theoretical foundations of non-monotonic reasoning in expert systems
7. Nonmonotonic inference based on expectations
8. A conceptualization of preferences in non-monotonic logics
9. On inferences from inconsistent information
10. Reasoning from inconsistency: A taxonomy of principles for resolving conflict
11. On the comparison of theories: Preferring the most specific explanations
12. Reasoning with normative hierarchies
13. A mathematical treatment of defeasible reasoning and its implementation
14. Abstract argumentation systems