Fondements logiques du raisonnement contextuel

Logic foundation of contextual reasoning

• Auteur / Autrice : Gabriella Crocco
• Direction : Luis Fariñas del Cerro
• Type : Thèse de doctorat
• Discipline(s) : Informatique
• Date : Soutenance en 1993
• Etablissement(s) : Toulouse 3

Mots clés

Mots clés contrôlés

Logique mathématique non classique

Informatique

Raisonnement

Inférence

Résumé

Dans ses développements récents l'intelligence artificielle tente de formaliser deux types de raisonnement contextuel: la notion de conséquence plausible normalement a si b et la notion de conséquence d'un conditionnel contrefactuel s'il était le cas que a alors b. L'étude de ces deux formes d'inférence a conduit aux développements de deux types de systèmes formels: les systèmes d'inférence non monotones et les logiques des contrefactuels. Nous démontrons leur équivalence: 1) en donnant une caractérisation des logiques des contrefactuels en termes de déduction faisant référence à un contexte implicite. Cette caractérisation englobe tous les systèmes connus dans la littérature, et peut être appliquée aussi à l'interprétation de la relation d'inférence non monotone; 2) en définissant un calcul de séquents pour les logiques des contrefactuels qui caractérise ces logiques en tant que calcul de contextes implicites; 3) en donnant une traduction symbolique des systèmes d'inférence non monotones. Cette traduction permet de démontrer l'équivalence déductive entre ces deux systèmes.