UCL logo

UCL Discovery

UCL home » Library Services » Electronic resources » UCL Discovery

Argumentative logics: Reasoning with classically inconsistent information

Elvang-Gøransson, M; Hunter, A; (1995) Argumentative logics: Reasoning with classically inconsistent information. Data and Knowledge Engineering , 16 (2) pp. 125-145. 10.1016/0169-023X(95)00013-I.

Full text not available from this repository.

Abstract

Classical logic has many appealing features for knowledge representation and reasoning. But unfortunately it is flawed when reasoning about inconsistent information, since anything follows from a classical inconsistency. This problem is addressed by introducing the notions of 'argument' and of 'acceptability' of an argument. These notions are used to introduce the concept of 'argumentative structures'. Each definition of acceptability selects a subset of the set of arguments, and an argumentative structure is a subset of the power set of arguments. In this paper, we consider, in detail, a particular argumentative structure, where each argument is defined as a classical inference together with the applied premises. For such arguments, a variety of definitions of acceptability are provided, the properties of these definitions are explored, and their inter-relationship described. The definitions of acceptability induce a family of logics called argumentative logics which we explore. The relevance of this work is considered and put in a wider perspective. © 1995.

Type: Article
Title: Argumentative logics: Reasoning with classically inconsistent information
DOI: 10.1016/0169-023X(95)00013-I
URI: http://discovery.ucl.ac.uk/id/eprint/105491
Downloads since deposit
0Downloads
Download activity - last month
Download activity - last 12 months
Downloads by country - last 12 months

Archive Staff Only

View Item View Item