Abstract FR:

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