A metalogic formalization of legal argumentation as game trees with defeasible reasoning
Andreas Hamfelt, Jenny Eriksson, Jørgen Fischer Nilsson · 2005
We outline an approach to logical analysis and formalization of legal argumentation and dispute as game trees, wellknown in AI, using metalogic programming. The argument/counter-argument dialectic is facilitated through defeasible reasoning, and the applied principles are sought demonstrated by unravelling of a legal case within statutory law.