Dealing Automatically with Exceptions by Introducing Specificity in ASP

  • Laurent Garcia
  • Stéphane Ngoma
  • Pascal Nicolas
Conference paper

DOI: 10.1007/978-3-642-02906-6_53

Part of the Lecture Notes in Computer Science book series (LNCS, volume 5590)
Cite this paper as:
Garcia L., Ngoma S., Nicolas P. (2009) Dealing Automatically with Exceptions by Introducing Specificity in ASP. In: Sossai C., Chemello G. (eds) Symbolic and Quantitative Approaches to Reasoning with Uncertainty. ECSQARU 2009. Lecture Notes in Computer Science, vol 5590. Springer, Berlin, Heidelberg

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2009

Authors and Affiliations

  • Laurent Garcia
    • 1
  • Stéphane Ngoma
    • 1
  • Pascal Nicolas
    • 1
  1. 1.LERIA, UFR SciencesUniversity of AngersANGERS cedex 01France

Personalised recommendations