مخطط الموضوع

  • عام

    طي الكل توسيع الكل

  • الموضوع 1

    • أيقونة الملف
      formalisme de représentation de connaissance en logique classique Partie 1 ملف
      1.7  ميغا بايت Document PDF تم تحميلها 5/10/24، 23:38

      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 

  • الموضوع 2

    مُميَّز
    • أيقونة الملف
      chapitre 1 Partie 2 logique des prédicats ملف
      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 

    • أيقونة الملف
      exercice de logique d'ordre 0 et 1 ملف

      exercice de logique d'ordre 0 et 1

  • الموضوع 3

  • الموضوع 4

    • أيقونة الملف
      chapitre2 système a base de connaissance ملف

      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....)   

    • أيقونة الملف
      Exercices chapitre 2 ملف

      exercices chapitre2

  • الموضوع 5

  • الموضوع 6

    • أيقونة الملف
      TP RC/REC ملف

      le TP est programmé pour le deuxième semestre  

  • الموضوع 9

  • الموضوع 10

  • الموضوع 11

  • الموضوع 12

  • الموضوع 13

  • الموضوع 14

  • الموضوع 15

  • الموضوع 16

  • الموضوع 17

  • الموضوع 18

  • الموضوع 19

  • الموضوع 20