ift3335 introduction `a l’intelligence artificielle
TRANSCRIPT
![Page 1: IFT3335 Introduction `a l’intelligence artificielle](https://reader035.vdocuments.us/reader035/viewer/2022062504/62b01ef82560576fb40b9e0d/html5/thumbnails/1.jpg)
Introduction Resolution par recherche Agents logiques Raisonnement sous incertitude Apprentissage
IFT3335Introduction a l’intelligence
artificiellePlan de cours
Philippe Langlais
DIRO, Universite de Montreal, Canadahttp://www.iro.umontreal.ca/∼dift3335
Derniere modification: 9 septembre 2008
![Page 2: IFT3335 Introduction `a l’intelligence artificielle](https://reader035.vdocuments.us/reader035/viewer/2022062504/62b01ef82560576fb40b9e0d/html5/thumbnails/2.jpg)
Introduction Resolution par recherche Agents logiques Raisonnement sous incertitude Apprentissage
Plan de cours
Introduction au domaine (∼1h)
Resolution d’un probleme par recherche (∼3s)
Agents logiques (∼ 3s)
Raisonnement sous incertitude (∼ 2s)
Apprentissage (∼ 4s)
![Page 3: IFT3335 Introduction `a l’intelligence artificielle](https://reader035.vdocuments.us/reader035/viewer/2022062504/62b01ef82560576fb40b9e0d/html5/thumbnails/3.jpg)
Introduction Resolution par recherche Agents logiques Raisonnement sous incertitude Apprentissage
Introduction au domaine
• Les fondements (survol)
• Histoire (tres bref survol)
• Notion d’agent rationnel et d’environnement
![Page 4: IFT3335 Introduction `a l’intelligence artificielle](https://reader035.vdocuments.us/reader035/viewer/2022062504/62b01ef82560576fb40b9e0d/html5/thumbnails/4.jpg)
Introduction Resolution par recherche Agents logiques Raisonnement sous incertitude Apprentissage
Resolution d’un probleme par recherche
• Formulation d’un probleme
• Strategies non informees• largeur d’abord• profondeur d’abord• profondeur limitee• profondeur limitee iterative
• Strategies informees• recherche best-first• hill climbing• algorithme A?, heuristiques• recherche en faisceau (beam search)• recherche par recuit-simule (simulated annealing)
• Satisfaction de contraintes et recherche (CSP)
• Jeux strategiques et recherche : min-max et alpha-beta
![Page 5: IFT3335 Introduction `a l’intelligence artificielle](https://reader035.vdocuments.us/reader035/viewer/2022062504/62b01ef82560576fb40b9e0d/html5/thumbnails/5.jpg)
Introduction Resolution par recherche Agents logiques Raisonnement sous incertitude Apprentissage
Exemple de probleme : phrase mystere
(pris de http://www.les-mordus.com/index-logiciels.html)
![Page 6: IFT3335 Introduction `a l’intelligence artificielle](https://reader035.vdocuments.us/reader035/viewer/2022062504/62b01ef82560576fb40b9e0d/html5/thumbnails/6.jpg)
Introduction Resolution par recherche Agents logiques Raisonnement sous incertitude Apprentissage
Exemple de probleme : phrase mystere
(pris de http://www.les-mordus.com/index-logiciels.html)
![Page 7: IFT3335 Introduction `a l’intelligence artificielle](https://reader035.vdocuments.us/reader035/viewer/2022062504/62b01ef82560576fb40b9e0d/html5/thumbnails/7.jpg)
Introduction Resolution par recherche Agents logiques Raisonnement sous incertitude Apprentissage
Exemple de probleme : sudoku
(pris de http://www.les-mordus.com/index-logiciels.html)
![Page 8: IFT3335 Introduction `a l’intelligence artificielle](https://reader035.vdocuments.us/reader035/viewer/2022062504/62b01ef82560576fb40b9e0d/html5/thumbnails/8.jpg)
Introduction Resolution par recherche Agents logiques Raisonnement sous incertitude Apprentissage
Agents logiques
• Logique propositionnelle
• definition• inference
• Logique du premier ordre (ou logique des predicats)• definition• inference
• Prolog• comme langage d’appui
• Systemes experts• chaınage avant et arriere
![Page 9: IFT3335 Introduction `a l’intelligence artificielle](https://reader035.vdocuments.us/reader035/viewer/2022062504/62b01ef82560576fb40b9e0d/html5/thumbnails/9.jpg)
Introduction Resolution par recherche Agents logiques Raisonnement sous incertitude Apprentissage
Logiques
• logique propositionnelleP : Il pleutQ : La route est mouillee
P ⇒ Q, PQ
• logique des predicats
∀x humain(x) ⇒ mortel(x)humain(Socrate)
mortel(Socrate)
![Page 10: IFT3335 Introduction `a l’intelligence artificielle](https://reader035.vdocuments.us/reader035/viewer/2022062504/62b01ef82560576fb40b9e0d/html5/thumbnails/10.jpg)
Introduction Resolution par recherche Agents logiques Raisonnement sous incertitude Apprentissage
Raisonnement sous incertitude
• Reseaux bayesiens• Description• Inference exacte et approchee
• Breve intrusion en logique floue
• Quelques mots sur les systemes experts avec reglesponderees
![Page 11: IFT3335 Introduction `a l’intelligence artificielle](https://reader035.vdocuments.us/reader035/viewer/2022062504/62b01ef82560576fb40b9e0d/html5/thumbnails/11.jpg)
Introduction Resolution par recherche Agents logiques Raisonnement sous incertitude Apprentissage
Reseau bayesiens
(pris de http://www.bayesia.fr/Docs/gbTutorialBLab.pdf)
![Page 12: IFT3335 Introduction `a l’intelligence artificielle](https://reader035.vdocuments.us/reader035/viewer/2022062504/62b01ef82560576fb40b9e0d/html5/thumbnails/12.jpg)
Introduction Resolution par recherche Agents logiques Raisonnement sous incertitude Apprentissage
Logique floue
(pris dehttp://www.chez.com/bmantel/pages/logflou1.html)
![Page 13: IFT3335 Introduction `a l’intelligence artificielle](https://reader035.vdocuments.us/reader035/viewer/2022062504/62b01ef82560576fb40b9e0d/html5/thumbnails/13.jpg)
Introduction Resolution par recherche Agents logiques Raisonnement sous incertitude Apprentissage
Apprentissage
• Apprentissage symbolique• arbres de decision• listes de decision, etc.
• Breve introduction a la theorie de l’apprentissage
• Apprentissage statistique• algorithme des K-moyennes• apprentissage par maximum de vraisemblance• reseaux neuromimetiques
![Page 14: IFT3335 Introduction `a l’intelligence artificielle](https://reader035.vdocuments.us/reader035/viewer/2022062504/62b01ef82560576fb40b9e0d/html5/thumbnails/14.jpg)
Introduction Resolution par recherche Agents logiques Raisonnement sous incertitude Apprentissage
Arbres de decision
(pris de http://www.lirmm.fr/∼mroche)
![Page 15: IFT3335 Introduction `a l’intelligence artificielle](https://reader035.vdocuments.us/reader035/viewer/2022062504/62b01ef82560576fb40b9e0d/html5/thumbnails/15.jpg)
Introduction Resolution par recherche Agents logiques Raisonnement sous incertitude Apprentissage
Arbres de decision
(pris de http://www.lirmm.fr/∼mroche)
![Page 16: IFT3335 Introduction `a l’intelligence artificielle](https://reader035.vdocuments.us/reader035/viewer/2022062504/62b01ef82560576fb40b9e0d/html5/thumbnails/16.jpg)
Introduction Resolution par recherche Agents logiques Raisonnement sous incertitude Apprentissage
Exemple de reseau
(pris de http://en.wikipedia.org/wiki/Neural network)