Interactive Query-Based Debugging of ASP Programs
Authors: Kostyantyn Shchekotykhin
AAAI 2015 | Conference PDF | Archive PDF | Plain Text | LLM Run Details
| Reproducibility Variable | Result | LLM Response |
|---|---|---|
| Research Type | Theoretical | In this paper we present an interactive query-based ASP debugging method which extends previous approaches and finds the preferred explanation by means of observations. The system automatically generates a sequence of queries to a programmer asking whether a set of ground atoms must be true in all (cautiously) or some (bravely) answer sets of the program. Since some queries can be more informative than the others, we discuss query selection strategies which given user s preferences for an explanation can find the most informative query reducing the overall number of queries required for the identification of a preferred explanation. |
| Researcher Affiliation | Academia | Kostyantyn Shchekotykhin Alpen-Adria University, Klagenfurt, Austria kostyantyn.shchekotykhin@aau.at |
| Pseudocode | Yes | The paper includes 'Algorithm 1: COMPUTEDIAGNOSES', 'Algorithm 2: FINDPARTITIONS', and 'Algorithm 3: INTERACTIVEDEBUG', which are structured pseudocode blocks. |
| Open Source Code | Yes | Algorithm 3 was prototypically implemented as a part of a general diagnosis framework3. A plug-in for an IDE providing a user-friendly interface for the interactive debugging is in development. (Footnote 3: https://code.google.com/p/rmbd/wiki/Asp Debugging) |
| Open Datasets | No | The paper uses a theoretical example program (Πe) for illustration rather than conducting experiments on a publicly available dataset. It does not provide any information about datasets or their accessibility. |
| Dataset Splits | No | Since the paper focuses on a theoretical method with an illustrative example and does not report on empirical experiments with datasets, there are no mentions of training, validation, or test splits. |
| Hardware Specification | No | The paper does not provide any specific hardware details (e.g., CPU, GPU models, or memory specifications) used for development or conceptual implementation. |
| Software Dependencies | No | The debugging program [Π, B] is generated by spock2, which implements the meta-programming approach of (Gebser et al. 2008). (Footnote 2: www.kr.tuwien.ac.at/research/debug). While 'spock' is mentioned, no specific version number for it or any other software dependency is provided. |
| Experiment Setup | No | The paper describes a theoretical debugging method and illustrates it with a conceptual example. It does not include details on experimental setup such as hyperparameters, training configurations, or system-level training settings. |