Les inférences automatiques

Table des matières

Introduction
1 Motivation et interprétation du formalisme logique proposé
1.1 Le processus mental modélisé
1.2 Présentation informelle du dispositif logique
2 Le dispositif logique 
2.1 Mondes partiels, U-conséquence et U-équivalence
2.2 Rappel du formalisme de Kraus, Lehmann et Magidor
2.3 Modèles à modes partiels et relations d’inférences induites
3 Le problème de la complétude dans le contexte des modèles à mondes partiels
4 Extension du langage
4.1 Le langage LÎ
4.2 Transposition des définitions précédentes dans le contexte du langage LÎ
4.3 Relations d’inférence induites sur LÎ par les modèles à mondes partiels Lismooth
4.4 Quelques définitions supplémentaires
5 Deux théorèmes de représentation
5.1 Théorème de représentation pour les modèles à mondes partiels Lismooth finis sans précisifications
5.2 Théorème de représentation pour les modèles à mondes partiels rangés finis sans précisifications
6 Modélisation des inférences automatiques et de l’apprentissage
6.1 Modélisation des inférences automatiques
6.2 Modélisation de l’apprentissage
Conclusion et perspectives
Annexes
Index des symboles
Bibliographie