Modelling of a¡¯fortiori reasoning

详细信息    查看全文

• 作者：Tomasz Zurek ^{zurek@kft.umcs.lublin.pl}
• 关键词：A&rsquo ; fortiori ; Inference rules ; Argumentation ; Legal expert systems
• 刊名：Expert Systems with Applications
• 出版年：2012
• 出版时间：15 September, 2012
• 年：2012
• 卷：39
• 期：12
• 页码：10772-10779
• 全文大小：222 K

文摘

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.