Arrêt de service programmé du vendredi 10 juin 16h jusqu’au lundi 13 juin 9h. Pour en savoir plus
Accéder directement au contenu Accéder directement à la navigation
Communication dans un congrès

Dealing Automatically with Exceptions by Introducing Specificity in ASP

Abstract :

Answer Set Programming (ASP), via normal logic programs, is known as a suitable framework for default reasoning since it offers both a valid formal model and operational systems. However, in front of a real world knowledge representation problem, it is not easy to represent information in this framework. That is why the present article proposed to deal with this issue by generating in an automatic way the suitable normal logic program from a compact representation of the information. This is done by using a method, based on specificity, that has been developed for default logic and which is adapted here to ASP both in theoretical and practical points of view.

Type de document :
Communication dans un congrès
Liste complète des métadonnées
Contributeur : Okina Univ Angers Connectez-vous pour contacter le contributeur
Soumis le : mercredi 9 juin 2021 - 15:13:26
Dernière modification le : mercredi 20 octobre 2021 - 03:19:08

Lien texte intégral




Laurent Garcia, Stéphane Ngoma, Pascal Nicolas. Dealing Automatically with Exceptions by Introducing Specificity in ASP. 10th European Conference, ECSQARU 2009, 2009, Vérone, Italy. pp.614 - 625, ⟨10.1007/978-3-642-02906-6_53⟩. ⟨hal-03255414⟩



Consultations de la notice