Programmation Logique - Frédéric RAYAR`s Homepage

Programmation Logique
Introduction
RAYAR Fr´ed´eric
[email protected]
Ann´ee 2011-2012

Sommaire
1Organisation du module
2Paradigmes de programmation
3Calcul des pr´edicats
4Programmer en logique ?

Sommaire
1Organisation du module
Notions vues avec Mr. Ragot
Contenu du module
Organisation du module
2Paradigmes de programmation
3Calcul des pr´edicats
4Programmer en logique ?

Organisation du module
Paradigmes de programmation
Calcul des pr´edicats
Programmer en logique ?
Notions vues avec Mr. Ragot
Contenu du module
Organisation du module
Notions vues avec Mr. Ragot
Intelligence Artificielle
Agents intelligents
Syst`emes Experts (e.g. MYCIN)
Logique des propositions
Syst`emes `a base de r`egles
RAYAR Fr´ed´eric Programmation Logique 4 / 38

Organisation du module
Paradigmes de programmation
Calcul des pr´edicats
Programmer en logique ?
Notions vues avec Mr. Ragot
Contenu du module
Organisation du module
Notions vues avec Mr. Ragot
Pr´edicats
Logique des pr´edicats
Substitution et Unification
Arbre de recherche avec backtrack
Definitions :
clause, clauses de Horn
mise sous forme normale conjonctive
inf´erence par r´esolution
notion de but
etc ...
RAYAR Fr´ed´eric Programmation Logique 5 / 38