Laboratoire de Génie Informatique et d’Automatique de l’Artois

Séminaire

Extension de la logique possibiliste : intervalles et ASP

Le 21 avril 2015 à 14h00 Salle des séminaires du LGI2A, FSA, Béthune
Julien HUÉ Post-doctorant Université de Fribourg, Allemagne

La logique possibiliste est un élément fondamentale pour la représentation des préférences sous forme de pré-ordres totaux en IA. Cependant sa définition de base ne permet pas de travailler dans certains cadres comme la non monotonie ou les pré-ordres partiels. Je presenterai ici deux extensions de la logique possibiliste : la logique possibiliste à intervalles et la semantique des modèles stables possibiliste.