Ferdinand PIETTE

• Sujet : Intégration de la programmation par contrainte dans un système multi-agents pour la modélisation des croyances d'un agent autonome
• Etude du langage orienté agent ALMA
• Etude du système de représentation des connaissances d'un agent dans ALMA
• Etude du fonctionnement d'un moteur de résolution de contraintes
• Spécification pour l'enrichissement du modèle de représentation des connaissances d'un agent par l'intégration de contraintes
• Intégration du moteur de contraintes dans le système de représentation des connaissances d'un agent ALMA

• Immersion dans le monde des agents
  
  • Principe d'autonomie et d'indépendance des agents
    
  • Agents dirigés par les buts
    
  • Modèle BDI (Belief ; Desire ; Intension)
    
  • Organisations multi-agents
    
  • Programmation orienté agents
    
• Représentation des connaissances à base de logiques
  
  • Théorie des langages
    
  • Logique classique (prédicats du premier ordre)
    
  • Logique modale
    
  • Systèmes experts de type TMS (Truth Maintenance System) : JTMS et ATMS
    
  • Programmation logique (Prolog) et principe du backtrack
    
• Modélisation à base de contraintes
  
  • Moteur de résolution de contraintes
    
  • Algorithmes d'arc-consistance
    
  • Programmation par contraintes