Projekt
An Empirical Evaluation of a Coding Legislation Methodology
We propose a novel methodology to encode legislation in a formal language (specifically Defeasible Deontic Logic). After the presentation of the methodology, we report on the results of an empirical evaluation and compare them with the outcome of a previous experiment. The comparison suggests a significant improvement…
We propose a novel methodology to encode legislation in a formal language (specifically Defeasible Deontic Logic). After the presentation of the methodology, we report on the results of an empirical evaluation and compare them with the outcome of a previous experiment. The comparison suggests a significant improvement over the previous experiment.