Changing Legal Systems: Abrogation and Annulment Part I: Revision of Defeasible Theories

Abstract. In this paper we investigate how to model legal abrogation and annulment in Defeasible Logic. We examine some options that embed in this setting, and similar rule-based systems, ideas from belief and base revision. In both cases, our conclusion is negative, which suggests to adopt a different logical model.

• Type: Conference
• Year: 2008
• Where: DEON
• Authors: Guido Governatori, Antonino Rotolo
• Keywords: Automated Reasoning, Defeasible Logic, DEON 2008, Legal Abrogation, Similar Rule-based Systems