 |
Intelligence Artificielle Symbolique |
L'Intelligence Artificielle Symbolique est un domaine de l'Intelligence Artificielle visant à reproduire le raisonnement humain en se basant sur une approche psychométrique. Elle vise en premier lieu à reproduire la façon dont l'humain décrit sont environnement, formalise ses connaissances et produit un raisonnement.
Les fondements théoriques de l'Intelligence Artificielle Symbolique reposent sur la logique et le raisonnement et en particulier leur formalisation. Au delà de ces aspects, elle englobe aussi la façon de représenter de la connaissance et de l'information pour la rendre intelligible via des réseaux de concepts et facilement échangeable via les ontologies.
Cet enseignement couvre l'Intelligence Symbolique depuis la formalisation des différentes logiques sous-jacentes (propositionnelle, premier ordre, description) , des systèmes d'inférences associés (PROLOG) et l'ouverture vers la données sémantique (Ontologies).
Découverte
Qu'est-ce que l'Intelligence Artificielle symbolique ? Comment la définir ? Quels sont les concepts sous-jacents ? Un premier travail en autonomie permettra de tenter de répondre à ces questions.
 |
Qu'est-ce que l'Intelligence Artificielle Symbolique ? |
1. Logiques
Les logiques permettent de formaliser le raisonnement et la preuve. Différentes logiques existent, de la plus simple à la plus expressive.
1.1. Logique propositionnelle
La logique propositionnelle a été la première a être formalisée. Elle permet de représenter un raisonnement basé sur des faits booléens (vrai ou faux).
 |
Cours 1: Logique propositionnelle - Syntaxe |
|
Cours 2: Logique propositionnelle - Sémantique |
 |
TP 1: Syntaxe |
|
Cours 3: Logique propositionnelle - Raisonnement |
|
TP 2: Sémantique et Raisonnement |
1.2. Logique du premier-ordre (calcul des prédicats)
La logique du premier ordre (ou calcul des prédicats du premier ordre) est un langage formel qui permet d'exprimer des connaissances sur des individus, leurs propriétés et leurs relations. Elle étend la logique propositionnelle en introduisant des prédicats et des quantificateurs pour porter sur des individus d'un domaine. Cette notion de quantification d'individus est la raison de son appellation "du premier ordre". La logique du premier ordre et la logique propositionnelle sont deux systèmes formels, mais la logique du premier ordre est beaucoup plus expressive en étendant la notion de proposition à celle de prédicat. Cependant, cette plus grande expressivité entraine des propriétés de décidabilité , de calculabilité et de raisonnement plus limitées que pour la logique propositionnelle.
|
Cours 4: Logique du premier ordre - Syntaxe |
|
TP 3: Logique du premier-ordre - Syntaxe |
...
Bibliographie
| Ouvrages de référence (par ordre de lecture recommandé) | |
 |
Calcul propositionnel, algèbre de Boole, calcul des prédicats, R. Cori, D. Lascar, Dunod, 2016 |
 |
Fonctions récursives, théorème de Gödel, théorie des ensembles, R. Cori, D. Lascar, Dunod, 2016 |
 |
Prolog - Programmation par l'exemple, L. Gacôgne, Hermann / Eyrolles, 2009 |
 |
Semantic Web for the Working Ontologist - Effective Modeling in RDFS and OWL, D. Allemang, J. Hendler, Elsevier, 2011 |