modelling of a fortiori reasoning
The paper presents the model of two variants of a fortriori 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.
a fortiori inference rules argumentation legal expert systems