Dealing Automatically with Exceptions by Introducing Specificity in ASP

TitreDealing Automatically with Exceptions by Introducing Specificity in ASP
Type de publicationCommunication
TypeCommunication avec actes dans un congrès
Année2009
LangueAnglais
Date du colloque2009
Titre du colloque10th European Conference, ECSQARU 2009
Titre des actes ou de la revueSymbolic and Quantitative Approaches to Reasoning with Uncertainty
Volume5590
Pagination614 - 625
AuteurGarcia, Laurent , Ngoma, Stéphane, Nicolas, Pascal
PaysItalie
EditeurSpringer
VilleVérone
ISBN978-3-642-02905-9, 978-3-642-02906-6
Mots-clésArtificial Intelligence (incl. Robotics), Coding and Information Theory, Logics and Meanings of Programs, Mathematical Logic and Formal Languages, Mathematics of Computing, Theory of Computation
Résumé en anglais

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.

Notes

Date du colloque : 07/2009

URL de la noticehttp://okina.univ-angers.fr/publications/ua4455
DOI10.1007/978-3-642-02906-6_53
Lien vers le document en ligne

http://dx.doi.org/10.1007/978-3-642-02906-6_53