IMSD: Interactive Methods for Finding Similar or Diverse Answer Sets

Answer set programming (ASP) is a modeling language in knowledge representation, rooted in Logic Programming and Nonmonotonic Reasoning, which has been gaining increasing attention during the last years. In recent years, many of the researchers developed integrated development environments (IDE) for ASP programs including editors and debuggers. Other researchers focused on analyzing the answer sets, they introduced offline and online methods to find specific solutions of a given problem in answer set programming in different approaches such as phylogeny reconstruction. However, with an enormous number of answer sets could be available, the user is not interested in all of them. Thus, a navigation of the search space could be a solution to help the user to access the specific answer sets. To this end, we aim at finding similar/diverse solutions of the answer sets with a new method. The intuition behind this navigation is to make the search faster than other methods and explore information that is related to the user’s query. Afterward, we implement a tool performing the above approach in order to simplify the search task and show the applicability and effectiveness of our method. We conclude by testing the performance of the proposed tool into a real-world example of ASP programs.