الحقيبة التدريبية: Résolution de problèmes en IA | usmt

مخطط الموضوع

عام

طي الكل توسيع الكل
- إختر النشاط Annonces
  
  Annonces منتدى
- إختر النشاط Annonces
  
  Annonces منتدى
- إختر النشاط Annonces
  
  Annonces منتدى
- إختر النشاط Contenu de la matiere
  
  Contenu de la matiere صفحة
  
  ينبغي للطلبة
  
  التأشير بأنه منجز
الموضوع 1
- إختر النشاط Introduction
  
  Introduction صفحة
  
  ينبغي للطلبة
  
  التأشير بأنه منجز
  
  1.      Intelligence artificielle. 1
  
  2.      Intelligence. 1
  
  3.      Qu'est-ce qui est impliqué dans Intelligence?. 2
  
  4.      Définition de l’IA.. 3
  
  5.      Les disciplines académiques en relation avec L’IA.. 4
  
  6.      Histrique de L’IA.. 4
  
  7.      Le test de Turing. 5
  
  8.      Rdp en ia. 6
  
  8.1         Qu’est-ce qu’un problème ?. 6
الموضوع 2
- إختر النشاط Résolution de problèmes par recherche
  
  Résolution de problèmes par recherche صفحة
  
  ينبغي للطلبة
  
  التأشير بأنه منجز
  
  1.      Résolution de problème en IA.. 1
  
  2.      Formulation de problème. 1
  
  3.      Techniques d’exploration. 3
  
  4.      Algorithme de base : 3
  
  5.      Critères de comparaison des   algorithmes de recherches. 3
  
  6.      Techniques d’exploration aveugles. 3
  
  7.      Comparaison des algorithmes. 4
الموضوع 3
- إختر النشاط Explortaion informée
  
  Explortaion informée صفحة
  
  ينبغي للطلبة
  
  التأشير بأنه منجز
  
  1.      Exploration informée. 1
  
  2.      Heuristiques pour le jeu du Taquin. 1
  
  3.      Best first search. 1
  
  4.      Greedy search (recherche glounne). 2
  
  5.      L’algorithme A*. 2
الموضوع 4
- إختر النشاط Recherche en situation d'adversité
  
  Recherche en situation d'adversité صفحة
  
  ينبغي للطلبة
  
  التأشير بأنه منجز
  
  1.      But de cours. 1
  
  2.      Introduction. 1
  
  3.      Théorème du Minimax . 2
  
  4.      Quelques définitions . . 2
  
  5.      Motivation. 3
  
  6.      Fonction d’évaluation. 5
  
  7.      Recherche dans les arbres de jeux. 5
  
  8.      MINIMAX. 6
  
  9.      Références. 8
الموضوع 5
- إختر النشاط Elagage alpha-beta
  
  Elagage alpha-beta صفحة
  
  ينبغي للطلبة
  
  التأشير بأنه منجز
  
  1.      Minimax. 1
  
  2.      L`élagage Alpha-Beta. 2
  
  3.      Implementation de l’algorithme. 4
  
  4.      le pseudo code l’algorithme est. 4
  
  5.      La simulation de l’algorithme sur un arbre donné. 5
  6.            Pour plus de détails 6
الموضوع 6
- إختر النشاط Systeme à base de connaissance ( exemple: systeme à base de règles et expert)
  
  Systeme à base de connaissance ( exemple: systeme à base de règles et expert) صفحة
  
  ينبغي للطلبة
  
  التأشير بأنه منجز
  
  1.   INTRODUCTION.. 2
  
  2.   Définition de la connaissance. 2
  
  3.   Représentation des connaissances 4
  
  4.   Relation entre représentation et problème de recherche: 5
  
  5.   Raisonnement 5
  
  6.   Types de connaissances 6
  
  7.   Les bases de la représentation des connaissances 6
  
  8.   Les parties fondamentales d’une représentation. 7
  
  9.   propriétés d’un bon système (formalisme, langage) de représentation. 7
- إختر النشاط Reprsentation de connaissance : approche Logique
  
  Reprsentation de connaissance : approche Logique صفحة
  
  ينبغي للطلبة
  
  التأشير بأنه منجز
  
  source (ce cours est inspiré du cours cs221 https://stanford-cs221.github.io/autumn2022/)
  
  de stanford)
  
  1.    Motivation. 1
  
  2.    Modeling paradigms. 1
  
  3.    Logique. 2
  
  4.    Natural language. 2
  
  5.    Two goals of a logic language. 2
  
  6.    Ingredient 2
  
  7.    Propositional logic. 3
  
  8.    Syntax of propositional logic. 3
  
  9.    semantics or meaning. 3
  
  10.      La formule représente un ensemble de modèles. 4
  
  11.      Knowledge base. 4
  
  12.      L’Ajout à la base de connaissances Réduit l'ensemble de modèles. 4
  
  13.      Exemple d’utilisation. 5
  
  14.      Reduce Ask[f] and Tell[f] to satisfiability. 5
  
  15.      Model checking. 5
  
  16.      Règles d’inférence. 6
  
  17.      Modus ponens. 6
  
  18.      Algorithme d’Inference. 6
  
  19.      Soundness and completeness. 7
  
  20.      Fixing completeness. 7
  
  21.      Horn clauses. 7
  
  22.      Modus ponens. 7
  
  23.      Completude. 8
  
  24.      Review: tradeoffs. 9
  
  25.      Resolution in propositional logic. 9
  
  26.      Conjunctive normal form.. 10
  
  27.      Algorithme de resolution. 10
  
  28.      Limitations de la logique propositionnelle. 11
  
  29.      Syntaxe. 11
  
  30.      Sémantique. 12
  
  31.      Propositionalization. 12
  
  32.      Regles d’inference. 13
  
  33.      Horn clauses. 13
  
  34.      Substitution et unification. 13
  
  35.      Modus ponens. 13
  
  36.      Algorithme. 14
- إختر النشاط Algorithme d'unification
  
  Algorithme d'unification صفحة
  
  ينبغي للطلبة
  
  التأشير بأنه منجز
الموضوع 7
- إختر النشاط SBC
  
  SBC صفحة
  
  ينبغي للطلبة
  
  التأشير بأنه منجز
  
  10.    Les formalismes de représentation de connaissances 8
  
  Langage natural 9
  
  11.    Knowledge Representation in Natural Language. 9
  
  12.    Databases as a Knowledge Representation. 9
  
  13.    Triplets 10
الموضوع 8
- إختر النشاط Représentaion basée sur les règles
  
  Représentaion basée sur les règles صفحة
  
  ينبغي للطلبة
  
  التأشير بأنه منجز
- إختر النشاط Raisonnement hypothétique et maintien de la cohérence
  
  Raisonnement hypothétique et maintien de la cohérence صفحة
  
  ينبغي للطلبة
  
  التأشير بأنه منجز
  
  1.    Limites de la logique du 1^er ordre. 1
  2.    Raisonnement monotone. 2
  3.    Default Reasoning. 3
  4.    Closed-World Assumption. 3
  5.    Truth maintenance system(TMS) 4
الموضوع 9