Legal reasoning in 3-D
Marvin E. Belzer · 1987
This article contains a theory of normative defeasible reasoning based on the modal deontic logic 3-D. The concept of “relative weight” between competing norms is defined, and 3-D is used to formalize two types of legal reasoning (“subsumptive” and “means/end”). A general overview is given of a PROLOG program, 3dpr, that implements the 3-D based theory of normative reasoning.