Design And Implementation Of Explanation And Debugging System For ASP Program

With the development of artificial intelligence technology,the methods of using artificial intelligence to assist decision-making process have become more and more complex,resulting in a decline in the interpretability of solutions.Therefore,the need for interpretable artificial intelligence has become more and more important.As one of the programming paradigms in the field of artificial intelligence,Answer Set Programming(ASP)is widely used in solving problems in various fields due to its strong expressive power.However,how the conclusion of the program is derived during the solution process is unknown to the system users.From the perspective of programmers,when facing unexpected solving results,they can only use a literal-by-literal and rule-by-rule method to locate the program errors,which is inefficient.To this end,the design and implementation of an ASP explanation and debugging system is essential to promote the successful application of ASP in various fields.Existing ASP program explanation and debugging tools are difficult to achieve a balance between the readability of the results and the completeness of the content.When the program is large or complex,the results are often too complicated,providing explanations with poor readability or,in order to achieve succinctness,offering incomplete explanations.In order to solve these problems,this thesis designed an interactive ASP program explanation and debugging model,and introduced user preferences into the explanation and debugging process through interaction to achieve a balance between readability and completeness.The main work of this thesis is as follows :1.Design the explanation model of the consistent ASP program.Towards the issue of achieving a balance between readability and completeness,put forward the definition of complete explanation.Design the user interaction mechanism in the explaining process.Construct the instantiation scheme of the non-ground ASP program under user interaction.Propose an explanation generation algorithm.2.Based on the explanation model,combined with the existing theories of inconsistent ASP programs,design a debugging model for inconsistent ASP programs,which includes the recommendation of inconsistent ASP program debugging entry and the definition of single-step debugging.An ASP program debugging algorithm based on literal-rule dependency graph mark under user interaction is proposed;3.Based on the ASP program explanation and debugging model,design and implement an ASP program explanation and debugging system.Verify the effectiveness of the two models designed in this thesis by illustrating the explaining and debugging process of real ASP programs.