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

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)

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

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

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)

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)

Introduction Resolution par recherche Agents logiques Raisonnement sous incertitude Apprentissage

Exemple de probleme : sudoku

(pris de http://www.les-mordus.com/index-logiciels.html)

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

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)

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

Introduction Resolution par recherche Agents logiques Raisonnement sous incertitude Apprentissage

Reseau bayesiens

(pris de http://www.bayesia.fr/Docs/gbTutorialBLab.pdf)

Introduction Resolution par recherche Agents logiques Raisonnement sous incertitude Apprentissage

Logique floue

(pris dehttp://www.chez.com/bmantel/pages/logflou1.html)

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

Introduction Resolution par recherche Agents logiques Raisonnement sous incertitude Apprentissage

Arbres de decision

(pris de http://www.lirmm.fr/∼mroche)

Introduction Resolution par recherche Agents logiques Raisonnement sous incertitude Apprentissage

Arbres de decision

(pris de http://www.lirmm.fr/∼mroche)

Introduction Resolution par recherche Agents logiques Raisonnement sous incertitude Apprentissage

Exemple de reseau

(pris de http://en.wikipedia.org/wiki/Neural network)