Representation results for defeasible logic
ACM Transactions on Computational Logic (TOCL)
A Flexible Framework for Defeasible Logics
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence
Formalising arguments about the burden of persuasion
Proceedings of the 11th international conference on Artificial intelligence and law
Presumptions and Burdens of Proof
Proceedings of the 2006 conference on Legal Knowledge and Information Systems: JURIX 2006: The Nineteenth Annual Conference
Dialectic proof procedures for assumption-based, admissible argumentation
Artificial Intelligence
Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation
International Symposium on Symbolic and Algebraic Computation
On the relationship between Carneades and Defeasible Logic
Proceedings of the 13th International Conference on Artificial Intelligence and Law
An agent-based legal knowledge acquisition methodology for agile public administration
Proceedings of the 13th International Conference on Artificial Intelligence and Law
| Hi-index | 0.00 |
We shall argue that burdens of proof are relevant also to monological reasoning, i.e., for deriving the conclusions of a knowledge-base allowing for conflicting arguments. Reasoning with burdens of proof can provide a useful extension of current argument-based non-monotonic logics, at least a different perspective on them. Firstly we shall provide an objective characterisation of burdens of proof, assuming that burdens concerns rule antecedents (literals in the body of rules), rather than agents. Secondly, we shall analyse the conditions for a burden to be satisfied, by considering credulous or skeptical derivability of the concerned antecedent or of its complement. Finally, we shall develop a method for developing inferences out of a knowledge base merging rules and proof burdens in the framework of defeasible logic.