IA301 Logics and Symbolic AI

Section outline

• Select section Introduction

  Introduction

  Go to section Introduction

  This course aims at providing the bases of symbolic AI, along with a few selected advanced topics. It includes courses on formal logics, ontologies, description logics, symbolic learning, typical AI topics such as revision, merging, etc., with illustrations on preference modeling and image understanding.
  

  The exam will have two parts:

  - Written exam,

  - Report on the work on ontologies.

  Additional information: https://perso.telecom-paristech.fr/bloch/OptionIA/Logics-SymbolicAI.html
  

  Introduction - PDF file

  History - PDF file

  Pre-recorded courses are available in the other sections (best seen using VLC).
  

  
  
  

  • Select activity Annonces

    

    Annonces Forum
  • Select activity Recording of Introduction and History

    

    Recording of Introduction and History File
• Select section Logique - Logics

  Logique - Logics

  Go to section Logique - Logics

  Bases de la logique propositionelle, de la logique du premier ordre et de la logique modale - Propositional, first order and modal logics -  PDF file

  Fuzzy Logic - PDF file
  

  Exercises 1,2,3 - PDF file

  
  

  
  

  Activities: 5
• Select section Apprentissage symbolique - Symbolic learning

  Apprentissage symbolique - Symbolic learning

  Go to section Apprentissage symbolique - Symbolic learning

  • Arbres de décision - Decision trees - PDF file
    
  • Règles d'association - Association rules - PDF file
    
  • Formal concept analysis - Formal concept analysis - PDF file

  
  

  Exercises 5, 6, 7 - PDF file

  
  

  Activities: 6
• Select section Exemples de problèmes de raisonnement en IA - Some reasoning problems in AI

  Exemples de problèmes de raisonnement en IA - Some reasoning problems in AI

  Go to section Exemples de problèmes de raisonnement en IA - Some reasoning problems in AI

  Révision, fusion, abduction - Revision, merging, abduction - PDF file

  Exercice 4 - PDF file

  
  

  Activities: 1
• Select section Raisonnement temporel et spatial - Temporal and spatial reasoning

  Raisonnement temporel et spatial - Temporal and spatial reasoning

  Go to section Raisonnement temporel et spatial - Temporal and spatial reasoning

  PDF File (course)

  Short version
  

  Exercice 8 - PDF file

  
  

  Activities: 1
• Select section Ontology and Description Logic

  Ontology and Description Logic

  Go to section Ontology and Description Logic

  PDF file
  

  Activities: 0
• Select section Practical Work

  Practical Work

  Go to section Practical Work

  Practical work on decision trees and ontologies

  Code example for the part on decision trees

  Download protege (Desktop version) for the part on ontologies
  

  Activities: 1
• Select section Natalia Diaz: Ontologies, Description Logics and Knowledge Graphs

  Natalia Diaz: Ontologies, Description Logics and Knowledge Graphs

  Go to section Natalia Diaz: Ontologies, Description Logics and Knowledge Graphs

  Course from previous year
  

  Activities: 4