Establish Coherence in Logic Programs Modelling Expert Knowledge via Argumentation.

When modelling expert knowledge, default negation is very useful, but might lead to there being no stable models. Detecting the exact causes of the incoherence in the logic program manually can become quite cumbersome, especially in larger programs. Moreover, establishing coherence does require expertise regarding the modelled knowledge as well as technical knowledge about the program and its rules. This paper introduces a method to detect the causes of incoherence in logic programs by using argumentation graphs and proposes strategies to modify the responsible parts of the program in order to obtain a coherent program.