On the relationship between Carneades and Defeasible Logic

We study the formal relationships between the inferential aspects of Carneades (a general argumentation framework) and Defeasible Logic. The outcome of the investigation is that the current proof standards proposed in the Carneades framework correspond to some variants of Defeasible Logic.

• Type: Journal
• Year: 2011
• Where: ICAIL
• Authors: Guido Governatori
• Keywords: Argumentation, Artificial Intelligence, Formal Relationships, ICAIL 2011, Variants