Logique defaisable

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, 1997 [détail des éditions] , 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 d’une traduction de l’article de Wikipédia en anglais intitulé « Defeasible logic ».

• Portail de la logique