An Interactive Approach to Answer Set Programming

This paper outlines a novel approach to the computation of answer sets in an evolving and interactive environment. Instead of recomputing the semantics of the entire program, our approach updates the answer sets after incremental changes to the rule base. This is intended for application domains in which the answer set program is developed or updated during the run time of the system but answer sets are required throughout. In this paper we focus on the theoretical background and presentation of the algorithm for handling the addition.

• Type: Conference
• Year: 2005
• Where: ASP
• Authors: Martin Brain, Richard Watson, Marina De Vos
• Keywords: Answer Set Program, Answer Sets, Artificial Intelligence, ASP 2005, Incremental Changes