UCL logo

UCL Discovery

UCL home » Library Services » Electronic resources » UCL Discovery

Base logics in argumentation

Hunter, A; (2010) Base logics in argumentation. Frontiers in Artificial Intelligence and Applications , 216 pp. 275-286. 10.3233/978-1-60750-619-5-275.

Full text not available from this repository.


There are a number of frameworks for modelling argumentation in logic. They incorporate a formal representation of individual arguments and techniques for comparing conflicting arguments. A common assumption for logic-based argumentation is that an argument is a pair 〈Φ,α〉 where Φ is a minimal subset of the knowledgebase such that Φ is consistent and Φ entails the claim α. We call the logic used for consistency and entailment, the base logic. Different base logics provide different definitions for consistency and entailment and hence give us different options for argumentation. This paper discusses some of the commonly used base logics in logic-based argumentation, and considers various criteria that can be used to identify commonalities and differences between them. © 2010 The authors and IOS Press. All rights reserved.

Type: Article
Title: Base logics in argumentation
DOI: 10.3233/978-1-60750-619-5-275
Keywords: classical logic, consequence relations, defeasible logic, logic-based argumentation, logical argument systems
UCL classification: UCL > School of BEAMS > Faculty of Engineering Science
UCL > School of BEAMS > Faculty of Engineering Science > Computer Science
URI: http://discovery.ucl.ac.uk/id/eprint/1345464
Downloads since deposit
Download activity - last month
Download activity - last 12 months
Downloads by country - last 12 months

Archive Staff Only

View Item View Item