IRIT - UMR 5505

English
CNRS
INPT
UPS
UT1
UTM
  Bandeau IRIT
 

  Cayrol Claudette


  Statut : Permanent
  Service/Equipe :  Argumentation, Décision, Raisonnement, Incertitude et Apprentissage
  Contact : Claudette.Cayrol@irit.fr
  Localisation : IRIT1 / Niveau 3, Pièce: 309
  Téléphone : 05 61 55 6317
  Page Web personnelle :  https://www.irit.fr/~Claudette.Cayrol
  Publications :

 

 

Recherche

 Thèmes de recherche

Domaine : Intelligence Artificielle

Mes centres d'intérêt en recherche concernent la modélisation et la mise en oeuvre de raisonnements plausibles et les systèmes d'argumentation.

 Recherches actuelles

  • Modèles formels pour l'interaction entre agents rationnels
  • Modèles de raisonnement basés sur l'argumentation
  • Codage logique de graphes d'argumentation
  • Changement en argumentation
  • Représentation de connaissances bipolaires
  • Extensions ordonnées de la logique classique pour le raisonnement et la révision de connaissances

 Parcours de recherche


  •  Habilitation à Diriger des Recherches de l'Université Paul Sabatier en 1995
  •  Doctorat de l'Université Paul Sabatier en 1986
  •  Doctorat de 3° cycle en Informatique en 1984

 Encadrement depuis 2010

  • Fayçal TOUAZI (co-encadrement avec D. Dubois)
      Sujet : Raisonnement sur des bases de croyances partiellement ordonnées
      Thèse soutenue en Mars 2016
       Sujet : Etude du changement en argumentation. De la théorie à la pratique
       Thèse soutenue en Décembre 2013

 

 Animation

Activité de "reviewer" :
  • Artificial Intelligence Journal
  • Journal of Logic and Computation
  • Annals of Mathematics and Artificial Intelligence (AMAI)
  • Logic Journal of the IGPL
  • Journal of Artificial Intelligence Research
  • International Joint Conference on Artificial Intelligence (IJCAI)
  • European Conference on Artificial Intelligence (ECAI)
  • International Conference on the Principles of Knowledge Representation and Reasoning
  • European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU)
  • International Conference on Computational Models of Argument
  • European Workshop on Multi-Agent Systems
  • Conférence francophone sur le Modèles Formels de l’Interaction

 

Haut de page

 

Enseignement

2013-2014
  • Algorithmique et méthodologie de la programmation (L1)
  • Intelligence Artificielle  (Licence L3, Master Informatique, M1 & M2)
    • Résolution de problèmes
    • Représentation des connaissances
    • Raisonnement et connaissances
  • Introduction aux Réseaux Bayésiens (Master 2)

Autres enseignements des années passées
  • Programmation fonctionnelle (L1)
  • Graphes
  • Logique
  • Bases de données relationnelles

Responsable du parcours Intelligence Artificielle dans le
    Master recherche "Informatique et Télécommunications" jusqu'en Septembre 2011


 

Haut de page