Modelling of a’fortiori reasoning |
| |
| Authors: | Tomasz Zurek |
| |
| Affiliation: | 1. Department of Internal Medicine, Abington Memorial Hospital, 1200 Old York Road, Abington, PA 19001, USA;2. Baylor University Medical Center, 3410 Worth Street, Suite 860, Dallas, TX 75246, USA;3. Division of Gastroenterology and Hepatology, Mayo Clinic College of Medicine, 200 First Street Southwest, Rochester, MN 55905, USA;1. Service de psychiatrie, CHU Farhat-Hached, 4002 Sousse, Tunisie;2. Service de psychiatrie légale, hôpital Razi, 2010 La Mannouba, Tunisie;1. Open University of Cyprus & Research Center on Interactive Media Smart Systems and Emerging Technologies (RISE), Konstantinou Palaiologou 1, 1011 Nicosia, Cyprus;2. Department of Mathematics and Computer Science, University of Perugia, Via Vanvitelli 1, 06123 Perugia, Italy |
| |
| Abstract: | 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. |
| |
| Keywords: | |
| 本文献已被 ScienceDirect 等数据库收录！ |
|
