Expert System based on Support Certainty Degree Annotated Paraconsistent Logic

Abstract

First-order predicate logic is widely used in the expert system for automatically reasoning. Based on the first-order predicate logic, the paper presents support certainty degree annotated paraconsistent logic reasoning method, which can be applied in the expert system, enabling the knowledge database of contradictions to reason and get the certainty degree of the conclusions.