Matière "NIE19 - PL : Programmation Logique "

1 - Fiche descriptive

Langue

Cette matière est enseignée en français.

Objectifs

Ce module consiste à examiner divers algorithmes de démonstration automatique de théorèmes et à étudier celui mis en œuvre par Prolog. Il continuera par l’apprentissage des rudiments de ce langage et l’utilisera en résolution de problèmes.

Programme/Contenu

– Démonstration automatique
– Méthodes de recherche d’une réfutation
– Méthode Prolog
– Le langage Prolog
– Résolution de problèmes

Mots clés

  • Démonstration automatique, Résolution de problèmes

Bibliographie

  • L’art de Prolog - Auteur : L. STERLING, E. SHAPIRO - Editeur : Dunod , 1997
  • Eléments d’Intelligence Artificielle - Auteur : H. FARRENY et M. GHALLAB - Editeur : Hermès

2 - Organisation de la matière

UE utilisant cette matière

UE Promotions
NIE - LOG : Parcours Logiciel Ingénieur ENSEEIHT Informatique 3ème année

Volume horaire

Element Volume horaire
Cours magistral 21.0
Total 21.0

Examens

Type Forme Coefficient
Contrôle continu Ecrit 0.0

3 - Contacts

Responsables

  • Evrard Fabrice

Enseignants

  • Evrard Fabrice