Représentation de la Connaissance RC

Aperçu des sections

• Sélectionner la section thématique Généralités

  Généralités

  Tout replier Tout déplier
  • Sélectionner l'activité Forum des nouvelles

    

    Forum des nouvelles
• Sélectionner la section thématique Section 1

  Section 1
  • Sélectionner l'activité formalisme de représentation de connaissance en logique classique Partie 1

    

    formalisme de représentation de connaissance en logique classique Partie 1 Fichier

    1.7 Mo Document PDF Déposé le 5 oct. 24, 23:38

    Marquer comme terminé

    quelques définitions et bref historique de l'IA 

    les éléments de base de la logique classique propositionnelle (d'ordre 0)

    méthode de résolution 

• Sélectionner la section thématique Section 2

  Section 2

  Marqué
  • Sélectionner l'activité chapitre 1 Partie 2 logique des prédicats

    

    chapitre 1 Partie 2 logique des prédicats Fichier

    Marquer comme terminé

    Intérêt et motivation pour introduire le formalisme logique d ordre 1 dans la représentation de connaissance.
    Formulation d'un texte en langage naturel par des formules de la logique des prédicats
    forme prenexe , forme Skolem , forme clausale 
    résolution par réfutation 
    notion de résolvante, facteur, unification 
    

  • Sélectionner l'activité exercice de logique d'ordre 0 et 1

    

    exercice de logique d'ordre 0 et 1 Fichier

    Marquer comme terminé

    exercice de logique d'ordre 0 et 1

• Sélectionner la section thématique Section 3

  Section 3
  • Sélectionner l'activité chapitre 1 partie 3 Logique de description

    

    chapitre 1 partie 3 Logique de description Fichier

    Marquer comme terminé
• Sélectionner la section thématique Section 4

  Section 4
  • Sélectionner l'activité chapitre2 système a base de connaissance

    

    chapitre2 système a base de connaissance Fichier

    Marquer comme terminé

    Définitions  et domaines d'utilisation des systèmes a base de connaissance .

    base de connaissance(faits, réglés de production, meta fait . meta règle . heuristiques , ..)

    Moteur  d'inférence et  de raisonnement ( mode de raisonnement . stratégies de recherche utilisation de coefficients CA et CF....)   

  • Sélectionner l'activité Exercices chapitre 2

    

    Exercices chapitre 2 Fichier

    Marquer comme terminé

    exercices chapitre2

• Sélectionner la section thématique Section 5

  Section 5
  • Sélectionner l'activité réseaux sémantiques et graphes conceptuels

    

    réseaux sémantiques et graphes conceptuels Fichier

    Marquer comme terminé
• Sélectionner la section thématique Section 6

  Section 6
  • Sélectionner l'activité TP RC/REC

    

    TP RC/REC Fichier

    Marquer comme terminé

    le TP est programmé pour le deuxième semestre  

• Sélectionner la section thématique Section 9

  Section 9
• Sélectionner la section thématique Section 10

  Section 10
• Sélectionner la section thématique Section 11

  Section 11
• Sélectionner la section thématique Section 12

  Section 12
• Sélectionner la section thématique Section 13

  Section 13
• Sélectionner la section thématique Section 14

  Section 14
• Sélectionner la section thématique Section 15

  Section 15
• Sélectionner la section thématique Section 16

  Section 16
• Sélectionner la section thématique Section 17

  Section 17
• Sélectionner la section thématique Section 18

  Section 18
• Sélectionner la section thématique Section 19

  Section 19
• Sélectionner la section thématique Section 20

  Section 20