Logique non monotone - Non-monotonic logic
Une logique non monotone est une logique formelle dont la relation de conclusion n'est pas monotone . En d'autres termes, les logiques non monotones sont conçues pour capturer et représenter des inférences défaisables (cf. raisonnement défaisable ), c'est-à-dire une sorte d'inférence dans laquelle les raisonneurs tirent des conclusions provisoires, permettant aux raisonneurs de rétracter leur(s) conclusion(s) sur la base de preuves supplémentaires. La plupart des logiques formelles étudiées ont une relation d'implication monotone, ce qui signifie que l'ajout d'une formule à une théorie ne produit jamais un élagage de son ensemble de conclusions. Intuitivement, la monotonie indique que l'apprentissage d'une nouvelle connaissance ne peut pas réduire l'ensemble de ce qui est connu. Une logique monotone ne peut pas gérer diverses tâches de raisonnement telles que le raisonnement par défaut (les conclusions ne peuvent être dérivées qu'en raison de l'absence de preuve du contraire), le raisonnement abductif (les conclusions ne sont déduites que comme les explications les plus probables), certaines approches importantes du raisonnement sur la connaissance ( l'ignorance d'une conclusion doit être rétractée lorsque la conclusion est connue), et de même, la révision des croyances (une nouvelle connaissance peut contredire d'anciennes croyances).
Raisonnement abductif
Le raisonnement abductif est le processus consistant à tirer une explication suffisante des faits connus. Une logique abductive ne doit pas être monotone car les explications probables ne sont pas forcément correctes. Par exemple, l'explication probable pour voir de l'herbe mouillée est qu'il a plu ; cependant, cette explication doit être retirée en apprenant que la vraie cause de l'humidité de l'herbe était un arroseur. Puisque l'ancienne explication (il a plu) est rétractée à cause de l'ajout d'une connaissance (un arroseur était actif), toute logique qui modélise les explications est non monotone.
Raisonner sur la connaissance
Si une logique comprend des formules qui signifient que quelque chose n'est pas connu, cette logique ne doit pas être monotone. En effet, apprendre quelque chose qui n'était pas connu auparavant entraîne la suppression de la formule spécifiant que cette connaissance n'est pas connue. Ce second changement (une suppression provoquée par un ajout) viole la condition de monotonie. Une logique de raisonnement sur la connaissance est la logique autoépistémique .
Révision des croyances
La révision des croyances est le processus de changement des croyances pour s'adapter à une nouvelle croyance qui pourrait être incompatible avec les anciennes. En supposant que la nouvelle croyance est correcte, certaines des anciennes doivent être rétractées afin de maintenir la cohérence. Cette rétractation en réponse à l'ajout d'une nouvelle croyance rend toute logique de révision de croyance non monotone. L'approche de révision des croyances est une alternative aux logiques paracohérentes , qui tolèrent l'incohérence plutôt que de tenter de la supprimer.
Voir également
- Programmation logique
- La négation comme échec
- Sémantique de modèle stable
- Relation de conséquence rationnelle
Remarques
Les références
- N. Bidoit et R. Hull (1989) " Minimalisme, justification et non-monotonie dans les bases de données déductives ", Journal of Computer and System Sciences 38 : 290-325.
- G. Brewka (1991). Raisonnement non monotone : fondements logiques du bon sens . La presse de l'Universite de Cambridge.
- G. Brewka, J. Dix, K. Konolige (1997). Raisonnement non monotone - Une vue d'ensemble . Publications CSLI, Stanford.
- M. Cadoli et M. Schaerf (1993) " Une étude des résultats de complexité pour les logiques non monotones " Journal of Logic Programming 17 : 127-60.
- FM Donini, M. Lenzerini, D. Nardi, F. Pirri et M. Schaerf (1990) " Raisonnement non monotone ", Artificial Intelligence Review 4 : 163-210.
- DM Gabbay (1985). Fondements théoriques du raisonnement non monotone dans les systèmes experts . Dans : Apt KR (ed) Logiques et modèles de systèmes concurrents. Série ASI de l'OTAN (Série F : Sciences de l'informatique et des systèmes), vol 13. Springer, Berlin, Heidelberg, pp. 439–457.
- ML Ginsberg, éd. (1987) Lectures dans le raisonnement non monotone . Los Altos CA : Morgan Kaufmann.
- Horty, JF, 2001, "Nonmonotonic Logic", dans Goble, Lou, éd., The Blackwell Guide to Philosophical Logic . Blackwell.
- W. Lukaszewicz (1990) Raisonnement non monotone . Ellis-Horwood, Chichester, West Sussex, Angleterre.
- CG Lundberg (2000) " Sens rendu et sens mémorisé : création de sens par l'abduction ", Journal of Economic Psychology : 21(6), 691-709.
- D. Makinson (2005) Ponts de la logique classique à la logique non monotone , College Publications.
- W. Marek et M. Truszczynski (1993) Logiques non monotones : raisonnement dépendant du contexte . Springer Verlag.
- A. Nait Abdallah (1995) La logique de l'information partielle . Springer Verlag.
Liens externes
- Antonelli, G. Aldo. " Logique non monotone " . Dans Zalta, Edward N. (éd.). Encyclopédie de philosophie de Stanford .
- Logique non monotone chez PhilPapers
- Logique non monotone au Indiana Philosophy Ontology Project