e-mi@ge Internationale : Introduction aux techniques de l'intelligence artificielle

• 1. Rappels sur les Systèmes à Base de Connaissances
  • 1.1. Complexité des algorithmes et des problèmes
  • 1.2. Notion d'heuristique
  • 1.3. Développement incrémental
  • 1.4. Représentations déclaratives
• 2. Rappels de Logique
  • 2.1. Systèmes formels
    • 2.1.1. Définition
    • 2.1.2. Exemple
    • 2.1.3. Moralité
    • 2.1.4. Deuxième exemple
    • 2.1.5. Interprétation
    • 2.1.6. Synthèse
  • 2.2. Application aux systèmes à base de connaissances
    • 2.2.1. Un système d'aide au voyageur
    • 2.2.2. Déroulement
    • 2.2.3. Autre exemple
    • 2.2.4. Terminologie
  • 2.3. Généralisations
    • 2.3.1. De 0 à 0+
    • 2.3.2. De 0+ à 1
    • 2.3.3. De 1 à 2
    • 2.3.4. Du monotone au non monotone
    • 2.3.5. Du non monotone au temporel
    • 2.3.6. Du bi-valué au flou
    • 2.3.7. Et après
  • 2.4. Synthèse
  • 2.5. Programmation par contraintes
    • 2.5.1. Problématique
    • 2.5.2. Analyse
    • 2.5.3. Formalisation
• 3. Notion de méta-système
  • 3.1. Définition
  • 3.2. Un méta-théorème
  • 3.3. Théorèmes de Gödel
• 4. Généralisation à la vie courante
  • 4.1. Définitions
  • 4.2. Spirale
  • 4.3. Exemples divers
• 5. Méta-connaissances
  • 5.1. Définition
  • 5.2. Exemple
  • 5.3. Utilisation pour améliorer les performances
    • 5.3.1. Méta-connaissances dans la base de connaissances
    • 5.3.2. Méta-connaissances dans le moteur d'inférence
    • 5.3.3. Méta-connaissances ailleurs
    • 5.3.4. Constitution du superviseur
  • 5.4. Utilisation pour communiquer
    • 5.4.1. Canaux
    • 5.4.2. Réification
    • 5.4.3. Abstraction
    • 5.4.4. Synthèse : importance du contexte
• 6. Découverte de connaissances
  • 6.1. Extensionnel et intensionnel
  • 6.2. Induction et abduction
  • 6.3. Analogie
  • 6.4. Raisonnement à partir de cas
  • 6.5. Construction d'ontologies
• 7. Validation de connaissances
  • 7.1. Problématique
  • 7.2. Validation dynamique
  • 7.3. Validation statique
    • 7.3.1. Hypothèses de travail
    • 7.3.2. Typage des variables
    • 7.3.3. Contrôles locaux
      • 7.3.3.1. Erreur de type
      • 7.3.3.2. Valeur impossible
      • 7.3.3.3. Prédicats incompatibles
      • 7.3.3.4. Prédicats monovalués
    • 7.3.4. Contrôles globaux
      • 7.3.4.1. Redondances et contradictions
      • 7.3.4.2. Lacunes
      • 7.3.4.3. Violation de contraintes
      • 7.3.4.4. Méta-vérification
  • 7.4. Traçabilité
  • 7.5. Pourquoi pas?
• 8. I.A.D., complexité, émergence
  • 8.1. Insectes sociaux
  • 8.2. Emergence
  • 8.3. Complexité
  • 8.4. Lien entre les deux notions
  • 8.5. Lien avec ce cours
  • 8.6. Retour à l'IAD
• 9. Annexe : anecdotes motivantes
• Index