Logique défaisable
La logique défaisable est une logique non monotone proposée par Donald Nute pour formaliser le raisonnement défaisable. En logique défaisable, il y a trois différents types de règles :
- Les règles strictes
- elles spécifient qu'un fait est toujours la conséquence d'un autre ;
- Les règles défaisables
- elles spécifient qu'un fait est généralement la conséquence d'un autre ;
- Les défaiseurs
- ils spécifient les exceptions aux règles défaisables.
On peut donner une priorité sur les règles défaisables et les défaiseurs. Au cours du processus de déduction, les règles strictes sont toujours appliquées, alors qu'une règle défaisable peut être appliquée seulement si aucun défaiseur d'une priorité plus grande ne l'interdit.
Par exemple, la règle « toutes les autruches sont des oiseaux » est une règle stricte. La règle « tous les oiseaux volent » est par contre défaisable, et a pour défaiseur « les autruches ne volent pas ».
Références
- (en) Donald Nute (2001). Defeasible logic. In Web Knowledge Management and Decision Support, 14th International Conference on Applications of Prolog (INAP 2001), vol. 3 : Nonmonotonic reasoning and uncertain reasoning, LNCS 2543, Springer Verlag, 2003, pp. 353-395.
- (en) G. Antoniou, D. Billington, G. Governatori, and M. Maher (2001). Representation results for defeasible logic. ACM Transactions on Computational Logic, 2(2):255-287.
- (en) Michael A. Covington, Donald Nute, André Vellino, Prolog Programming in Depth, Prenctice Hall, [détail de l’édition], chap. 11 (“Defeasible Prolog”)
- (en) Donald Nute (1994). Defeasible logic. In Handbook of logic in artificial intelligence and logic programming, volume 3: Nonmonotonic reasoning and uncertain reasoning, pages 353-395. Oxford University Press.
- (en) Leendert W. N. van der Torre, Violated Obligations in a Defeasible Deontic Logic, in A. Cohn (Ă©d.), Proceedings of the 11th European Conference on Artificial Intelligence (ECAI'94), John Wiley and Sons, 1994, pp. 371-375
- (en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Defeasible logic » (voir la liste des auteurs).
- Raisonnement révisable
Cet article est issu de wikipedia. Text licence: CC BY-SA 4.0, Des conditions supplémentaires peuvent s’appliquer aux fichiers multimédias.