Extending Defeasible Logic and Defeasible Prolog

Abstract. Defeasible logic (DL) promotes enthymemic, argumentative reasoning on incomplete set of premisses retracted on the presence of contrary information. Defeasible Prolog (d-Prolog) is a Prolog metainterpreter to implement DL. We give proof conditions for the even-if clauses of DL with the pre-emption of defeaters to prevent rules from rebutting more specific rules, implemented in d-Prolog.

• Type: Conference
• Year: 2004
• Where: ECAI
• Authors: Ahti-Veikko Pietarinen
• Keywords: Argumentative Reasoning, Artificial Intelligence, Defeasible Logic, Defeasible Prolog, ECAI 2004