Etude des raisonnements non-monotones : apports des logiques des conditionnels et des logiques modales

par Philippe Lamarre

Thèse de doctorat en Informatique

Sous la direction de Luis Fariñas del Cerro.

Soutenue en 1992

à Toulouse 3 .

mots clés

• Modalité (logique)
• Conditionnel (logique)
• Raisonnement
• Déduction (logique)

Résumé

La formalisation des raisonnements de sens commun est un des problemes centraux de l'intelligence artificielle. Ils necessitent en effet la mise en uvre de mecanismes non monotones. Dans cette these, nous etudions quels sont les liens entre de tels raisonnements et les formalismes plus connus que sont les logiques modales et les logiques des conditionnels

Titre traduit

Study of nonmonotonic reasoning: contributions of conditional and modal logics

Pas de résumé disponible.