Le programme specifASP a été développé par Stéphane N'Goma (LERIA). À partir d'une représentation simple de règles avec exceptions specifASP construit un programme logique normal (ASP) représentant correctement les relations de spécificité présentes dans ces règles. specifASP s'appuie sur les programmes construct et covers_lite qui implantent l'algorithme HYCAM de Cédric Piette (CRIL) et sont disponibles ici.
Exemple : specifASP transforme l'ensemble de règles
cephalopode :- nautile. mollusque :- cephalopode. coquillage :- mollusque. -coquillage :- cephalopode. coquillage :- nautile.en le programme normal suivant
cephalopode :- nautile. mollusque :- cephalopode. coquillage :- mollusque, not -coquillage, not cephalopode. -coquillage :- cephalopode, not coquillage, not nautile. coquillage :- nautile, not -coquillage.
Traiter les exceptions en ASP à partir d’une représentation compacte des informations,
Journées d'Intelligence Artificielle Fondamentale 08.
