Faceted Answer-Set Navigation

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Toggle side column

Faceted Answer-Set Navigation

Christian Al-RabaaChristian Al-Rabaa,  Sebastian RudolphSebastian Rudolph,  Lukas SchweizerLukas Schweizer
Christian Al-Rabaa, Sebastian Rudolph, Lukas Schweizer
Faceted Answer-Set Navigation
In Christoph Benzmüller, Francesco Ricca, Xavier Parent, Dumitru Roman, eds., Rules and Reasoning - Second International Joint Conference, RuleML+RR2018, Luxembourg, September 18-21, 2018, Proceedings, volume 11092 of Lecture Notes in Computer Science, 211--225, September 2018. Springer
  • KurzfassungAbstract
    Even for small logic programs, the number of resulting answer-sets can be tremendous. In such cases, users might be incapable of comprehending the space of answer-sets as a whole nor being able to identify a specific answer-set according to their needs. To overcome this difficulty, we propose a general formal framework that takes an arbitrary logic program as input, and allows for navigating the space of answer-sets in a systematic interactive way analogous to faceted browsing. The navigation is carried out stepwise, where each step narrows down the remaining solutions, eventually arriving at a single one. We formulate two navigation modes, one stringent conflict avoiding, and a ``free mode, where conflicting selections of facets might occur. For the latter mode, we provide efficient algorithms for resolving the conflicts. We provide an implementation of our approach and demonstrate that our framework is able to handle logic programs for which it is currently infeasible to retrieve all answer sets.
  • Weitere Informationen unter:Other info: Link
  • Projekt:Project: HAECQuantLA
  • Forschungsgruppe:Research Group: AutomatentheorieComputational Logic
The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-319-99906-7\_14.
@inproceedings{ARS2018,
  author    = {Christian Al-Rabaa and Sebastian Rudolph and Lukas Schweizer},
  title     = {Faceted Answer-Set Navigation},
  editor    = {Christoph Benzm{\"{u}}ller and Francesco Ricca and Xavier Parent
               and Dumitru Roman},
  booktitle = {Rules and Reasoning - Second International Joint Conference,
               {RuleML+RR2018,} Luxembourg, September 18-21, 2018, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {11092},
  publisher = {Springer},
  year      = {2018},
  month     = {September},
  pages     = {211--225},
  doi       = {10.1007/978-3-319-99906-7\_14}
}