Programmé en UVF3B501
Présentation :
Depuis les années soixante et le développement de la logique en mathématique, l'intelligence artificielle a proposé de nombreuses méthodes originales de résolution de problèmes. Ces méthodes ont été toujours inspirées par le comportement humain ou plus généralement celui du vivant. Dans la cadre de ce module, on va s'intéressé plus particulièrement à des méthodes heuristiques de résolution de problèmes qui s'inspirent des connaissances et des raisonnements humains. Ces méthodes sont mises en oeuvre dans des systèmes appelés systèmes à base de connaissances. Ces systèmes sont de plus en plus utilisés dans les
systèmes d'information, l'aide à la décision, l'aide au diagnostic et à la résolution de problèmes, les interfaces homme/machine, les systèmes de recherche d'information, les systèmes capables de s'adapter aux besoins des utilisateurs et/ou de coopérer avec eux. Depuis l'avènement d'Internet et plus particulièrement du "Semantic Web", ces méthodes sont au centre des préoccupations du W3C et de toutes les activités liées à la troisième génération du Web.
Objectifs (obsolète):
Ce module s'attachera d'une part à introduire l'élève aux concepts fondamentaux et aux techniques de la représentation sémantique des connaissances et leurs paradigmes dominants. Ces dernières, essentiellement de nature logique, nécessiteront, parallèlement, une présentation de diverses théories logiques.
Mise en pratique : les élèves auront à réaliser une maquette de système d'information en utilisant certaines théories et techniques vues en cours.
Volume horaire :
24h
Contenu détaillé :
1/ Introduction aux SBC (3h)
a) Historique et objectifs de l'I.A.
b) La notion de connaissance en intelligence artificielle
c) Méthodologie de résolution de problèmes
2/ La logique comme paradime de représentation
3/ Les réseaux sémantiques : logiques de description, graphes conceptuels et "frame logics" (3h)
4/ Réalisation d'un système d'information fondé sur ces théories et techniques (15H)
Travaux personnels encadrés :
Réalisation d'un système d'information fondé sur ces théories et techniques
Année 2006/2007
Dernière mise à jour le 10-MAR-06
Validation par le responsable de programme le
| 
