On Minimal Corrections in ASP
Mikol\'a\v{s} Janota, Joao Marques-Silva

TL;DR
This paper explores automated techniques for computing minimal corrections in answer set programming (ASP) to fix contradictory programs, adapting algorithms from propositional logic and demonstrating their effectiveness through experiments.
Contribution
It introduces methods for computing subset-minimal corrections in ASP and shows how algorithms from propositional logic can be adapted to ASP correction tasks.
Findings
Ported propositional logic correction algorithms to ASP.
Experimental results show benefits of using a portfolio of algorithms.
Minimal correction sets effectively fix contradictory ASP programs.
Abstract
As a programming paradigm, answer set programming (ASP) brings about the usual issue of the human error. Hence, it is desirable to provide automated techniques that could help the programmer to find the error. This paper addresses the question of computing a subset-minimal correction of a contradictory ASP program. A contradictory ASP program is often undesirable and we wish to provide an automated way of fixing it. We consider a minimal correction set of a contradictory program to be an irreducible set of rules whose removal makes the program consistent. In contrast to propositional logic, corrections of ASP programs behave non-monotonically. Nevertheless, we show that a variety of algorithms for correction set computation in propositional logic can be ported to ASP. An experimental evaluation was carried showing that having a portfolio of such algorithms is indeed of benefit.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsMulti-Agent Systems and Negotiation · Logic, Reasoning, and Knowledge · Natural Language Processing Techniques
