Base Logics in Argumentation

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. Keywords. logic-based argumentation, logical argument systems, consequence relations, defeasible logic, classical logic

• Type: Journal
• Year: 2010
• Where: COMMA
• Authors: Anthony Hunter
• Keywords: Applied Computing, Base Logics, COMMA 2010, Logic, Logic-based Argumentation