R13 : Answer Set Programming

Présentation

Ce cours fait partie du module R13 représentation des connaissances : approfondissements et applications de l'UE informatique du master recherche SIS.

Il est constitué de 3 séances de 3 heures.

Objectifs

Ce cours constitue uune introduction à la programmation logique avec sémantique des modèles stables et ses extensions (Answer Set programming). Les connaissances visées sont :

  • Programmes logiques basiques et normaux : définition des modèles stables (cloture, conséquence des programmes positifs, réduction, modèle stable).
  • Programmes disjonctifs et généraux : définition des modèles stables (clôture, minimalité, réduction, modèles stables).
  • extensions communes :
    • expressions de choix
    • règles de cardinalité
    • aggrégats
    • règles aec poids
    • optimisation
  • principaux résultats de complexité.

Supports

Vous trouverez les supports de cours ici au fur et à mesure de leur mise à disposition.

Cours

Les tranparents de cours utilisés sont ceux produits par le projet POTASSCO à l'université de Potsdam.

fabriqué avec org-mode sous emacs