Objectifs
- Définir l’intelligence artificielle et énumérer ses champs d’applications.
- Etudier au travers la logique des propositions et des prédicats, un outil de représentation des connaissances et de calcul déductif.
- Mettre en pratique cet outil avec le langage PROLOG et les systèmes à base de connaissances.
