Faceted Answer-Set Navigation

From International Center for Computational Logic

Toggle side column

Faceted Answer-Set Navigation

Christian Al-RabaaChristian Al-Rabaa,  Lukas SchweizerLukas Schweizer,  Sebastian RudolphSebastian Rudolph
Christian Al-Rabaa, Lukas Schweizer, Sebastian Rudolph
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:Further Information: Link
  • Projekt:Project: HAECQuantLA
  • Forschungsgruppe:Research Group: AutomatentheorieAutomata TheoryComputational LogicComputational Logic
The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-319-99906-7_14.
@inproceedings{ASR2018,
  author    = {Christian Al-Rabaa and Lukas Schweizer and Sebastian Rudolph},
  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}
}