Navigation Approaches for Answer Sets
From International Center for Computational Logic
Master's thesis by Asmaa Afeefi
- Supervisor Sarah Alice Gaggl, Sebastian Rudloph
- Computational Logic
- 26 Juni 2015 – 4 Dezember 2015
Answer set programming (ASP) is one of the most popular modeling languages in knowledge representation. In recent years, many integrated development environments (IDE) for ASP programs including editors and debuggers are developed. However, none of them focuses on analyzing the answer sets. With the availability of a huge number of answer sets, it is increasingly important to provide a solution to navigate them. We study and analyze the answer sets to perform the user access to specific answers. To this end, we aim at conducting and exploring different navigation approaches, such as, filtering, sort- ing, finding diverse/similar solutions, and faceted browsing. Afterward, we implement a tool performing the above approaches in order to simplify the search task. We conclude by testing the performance of the proposed tool into two different real world examples of ASP programs.
