Descriptif
This course aims at providing the bases of logics and symbolic AI.
It includes courses on formal logics, symbolic reasoning and knowledge representation.
Objectifs pédagogiques
Acquis d'apprentissage
À l'issue de l'UE, l'élève sera capable de:
- Comprendre et utiliser des formalismes logiques (logiques propositionnelle, des prédicats, modale), ainsi que des méthodes d'apprentissage symbolique (arbres de décision, analyse formelle de concepts, règles d'association), des méthodes de représentation des connaissances et de raisonnement.
- Analyser et résoudre des problèmes simples en IA symbolique, et démontrer des résultats théoriques.
- Concevoir une ontologie.
Compétences de rattachement (et justification)
- BC5.1 – Modéliser mathématiquement une situation, des données, des phénomènes physiques dans le contexte du numérique; Justification : La compréhension des logiques de bases, des modes de raisonnement associés et des méthodes d'apprentissage symbolique permet de modéliser une situation avec des modes adaptés de représentation formelle des connaissances et des données ainsi que de raisonnement.
- BC5.2 – Concevoir un système de traitement de données, d’intelligence artificielle, d’apprentissage machine dans un objectif d’aide à la décision ou de recherche automatique d’information; Justification : L'UE détaille la conception d'une ontologie et son utilisation dans un contexte concret.
Diplôme(s) concerné(s)
- Auditeurs libres des cycles ingénieurs IP Paris
- Echange international non diplomant
- Programme de mobilité des établissements français partenaires
- M2 PDS - Parallel and Distributed Systems
- M2 DATAAI - Data and Artificial Intelligence
- M1 DATAAI - Data and Artificial Intelligence
- Diplôme d'ingénieur
Parcours de rattachement
Pour les étudiants du diplôme Echange international non diplomant
Basic knowledge in computer sciences and algebra.
Pour les étudiants du diplôme Programme de mobilité des établissements français partenaires
Basic knowledge in computer sciences and algebra.
Pour les étudiants du diplôme M2 PDS - Parallel and Distributed Systems
Basic knowledge in computer sciences and algebra.
Pour les étudiants du diplôme M2 DATAAI - Data and Artificial Intelligence
Basic knowledge in computer sciences and algebra.
Pour les étudiants du diplôme Diplôme d'ingénieur
Basic knowledge in computer sciences and algebra.
Format des notes
Numérique sur 20Littérale/grade européenPour les étudiants du diplôme Programme de mobilité des établissements français partenaires
Vos modalités d'acquisition :
Examen écrit.
Le rattrapage est autorisé- Crédits ECTS acquis : 2 ECTS
La note obtenue rentre dans le calcul de votre GPA.
Pour les étudiants du diplôme M1 DATAAI - Data and Artificial Intelligence
Vos modalités d'acquisition :
Examen écrit.
L'UE est acquise si Note finale >= 10- Crédits ECTS acquis : 2 ECTS
Pour les étudiants du diplôme M2 DATAAI - Data and Artificial Intelligence
Vos modalités d'acquisition :
Examen écrit.
Le rattrapage est autorisé (Note de rattrapage conservée écrêtée à une note seuil de 10)- Crédits ECTS acquis : 2 ECTS
La note obtenue rentre dans le calcul de votre GPA.
Pour les étudiants du diplôme IA : Intelligence Artificielle multimodale et autonome
Vos modalités d'acquisition :
Examen écrit.
Le rattrapage est autorisé (Max entre les deux notes)- le rattrapage est obligatoire si :
- Note initiale < 6
- le rattrapage peut être demandé par l'étudiant si :
- 6 ≤ note initiale < 10
- Crédits ECTS acquis : 2 ECTS
La note obtenue rentre dans le calcul de votre GPA.
Pour les étudiants du diplôme Echange international non diplomant
Vos modalités d'acquisition :
Examen écrit.
Le rattrapage est autorisé (Note de rattrapage conservée écrêtée à une note seuil de 10)- Crédits ECTS acquis : 2 ECTS
La note obtenue rentre dans le calcul de votre GPA.
Pour les étudiants du diplôme M2 PDS - Parallel and Distributed Systems
Vos modalités d'acquisition :
Examen écrit.
Le rattrapage est autorisé (Note de rattrapage conservée écrêtée à une note seuil de 10)- Crédits ECTS acquis : 2.5 ECTS
Pour les étudiants du diplôme Diplôme d'ingénieur
Vos modalités d'acquisition :
Examen écrit.
Le rattrapage est autorisé (Note de rattrapage conservée écrêtée à une note seuil de 10)- Crédits ECTS acquis : 2 ECTS
- Crédit d'Option 3A acquis : 2
La note obtenue rentre dans le calcul de votre GPA.
Pour les étudiants du diplôme Auditeurs libres des cycles ingénieurs IP Paris
Programme détaillé
- Propositional Logic
- First order logic
- Planning
- Fuzzy logic
- Formal concept analysis
- AMR
- Description logic
Mots clés
IA, logiques, raisonnement, connaissancesMéthodes pédagogiques
Cours, TD, TPSupport pédagogique multimédia
