On the Legal Revision in PROLEG program

Abstract

PROLEG is a legal reasoning system that specializes in representing rules and exceptions separately. The system,as well as most of the computational legal reasoning systems, works based on the literal interpretation of legal rules. However, in some exceptional cases, the literal interpretation of legal rules may create unexpected consequences. In this paper, we introduce the idea of responsible case assignment for tracing back the intended cases by lawmakers. Based on the responsible case assignment, we propose an algorithm for revising a generated PROLEG rulebase so that the revised rulebase covers the intended cases by lawmakers as well as the new unexpected case.