Logic knowledge system for aircraft maintenance

The invention discloses a logic knowledge system model for aircraft maintenance. A knowledge base and a system are established by using Answer Set Program (Answer Set Program). The knowledge base effectively describes the four parts of maintenance subjects, maintenance resources, maintenance guidance and quality confirmation, and maintenance guidance and maintenance quality confirmation criteria and methods can be effectively inquired in cooperation with maintenance tasks written by answer set programming. An engineer can better research the relationship between faults according to a result given by the system, and the efficiency of an aircraft maintenance task is further improved. 本发明公开了一种用于航空器维护的逻辑知识系统模型，使用回答集编程(Answer Set programming)建立知识库和系统。这个知识库有效的描述了维护主体、维护资源、维护指导和质量确认这四个部分，配合使用回答集编程书写的维护任务可以有效的查询维护指导和维护质量确认准则和方法。工程师根据系统给出的结果，可以更好的研究故障之间的关系，进一步提高航空器维护任务的效率。