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 .


  • 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.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 311 p

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Université Paul Sabatier. Bibliothèque universitaire de sciences.
  • Disponible pour le PEB
  • Cote : 1992TOU30189
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.