L’objectif de ce cours est de présenter et de comparer différents modèles de représentation logique des connaissances, en soulignant les compromis entre expressivité et coût de calcul des raisonnements associés, questions cruciales en intelligence artificielle, bases de données et web sémantique mais aussi recherche opérationnelle ou spécification de programme par exemple. Différents formalismes sont étudiés, pour différents types de données : logiques classiques et de description, logiques modales, notamment épistémique, et logiques temporelles et réseaux de Petri. Les méthodes de raisonnement associées sont mises en œuvre dans les TME, incluant des variantes de l’algorithme tableau, le langage de programmation PROLOG et des outils de manipulation des réseaux de Petri par exemple.
Informations
- Période: M1 S1
- Langue: français
- Crédits: 6 ECTS