Modelling of a’fortiori reasoning

The paper presents the model of two variants of a’fortiori reasoning applicable in the case of statutory law as well the example of the genuine law case, which has been modeled with use of established methodology. The model of reasoning assumes the existence of “less–more” relation between the analyzed actions, which has been expressed by means of strict partial order and some additional assumptions. The paper also contains the implementation of the analyzed example.

► The paper presents the model of two variants of a’fortiori reasoning.
► This paper is prepared with a view to applying the model in a legal advisory system.
► The paper contains the exemplary implementation of a’fortiori reasoning.