Achievements in Answer Set Programming
This incremental approach aids ASP practitioners in improving program design clarity and correctness.
The paper tackles the challenge of designing understandable and provably correct answer set programming (ASP) encodings by introducing a methodology where comments describe achievements after adding rules, enabling precise mathematical descriptions of program parts.
This paper describes an approach to the methodology of answer set programming (ASP) that can facilitate the design of encodings that are easy to understand and provably correct. Under this approach, after appending a rule or a small group of rules to the emerging program we include a comment that states what has been "achieved" so far. This strategy allows us to set out our understanding of the design of the program by describing the roles of small parts of the program in a mathematically precise way.