RCM maintenance strategy modeling based on logic language

Reliability Centered Maintenance (RCM) technology can improve the reliability of equipment maintenance, but it still has problems such as low analysis efficiency and poor description completeness. We propose to construct a RCM maintenance strategy model based on logical reasoning. This model uses Answer Set Programming (ASP), a non-monotone logic programming language, to realize the theoretical modeling of RCM in the form of logical rules. We use preference optimization to improve the RCM analysis method and integrate CWA (Closed World Assumption) and NAF (Negation As Failure) into the ASP program. Practicality and generality are the main core objectives of this model. Finally, the turbine engine failure of aircraft is taken as the main research example. The effectiveness and efficiency of the model are verified by a comparison of model conclusion consistency. Experimental results show that compared with other RCM systems, this model has good efficiency, reliability, and completeness.