In this paper we present a refined coherence as constraint satisfaction framework as a potent tool for representation of judicial reasoning. We demonstrate usefulness of the framework on a model of the famous Popov v Hayashi case. Although we do not claim that the presented framework can be already considered fully developed we believe that the account constitutes a major improvement over those that have been published previously. The resulting representation is strongly anchored in a raw text of the decision itself and by means of formal logic can be transformed to a graphical representation which is a surprisingly intuitive and transparent account of application of rules in legal cases.
IOS Press, Inc.
6751 Tepper Drive
Clifton, VA 20124
Tel.: +1 703 830 6300
Fax: +1 703 830 2300 email@example.com
(Corporate matters and books only) IOS Press c/o Accucoms US, Inc.
For North America Sales and Customer Service
West Point Commons
Lansdale PA 19446
Tel.: +1 866 855 8967
Fax: +1 215 660 5042 firstname.lastname@example.org