Title :
Expert System based on Support Certainty Degree Annotated Paraconsistent Logic
Author :
Wang, Xiaoyun ; Wang, Fengkun ; Wang, Xiangyun
Author_Institution :
Coll. of Manage., HangZhou DianZi Univ., Hangzhou
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.
Keywords :
expert systems; inference mechanisms; annotated paraconsistent logic reasoning method; expert system; first-order predicate logic; knowledge database; support certainty degree; Automatic logic units; Calculus; Computer science; Costs; Databases; Educational institutions; Expert systems; Lattices; Medical diagnostic imaging; Multivalued logic; annotated logic; certainty degree; expert system; paraconsistent logic;
Conference_Titel :
Knowledge Acquisition and Modeling Workshop, 2008. KAM Workshop 2008. IEEE International Symposium on
Print_ISBN :
978-1-4244-3530-2
Electronic_ISBN :
978-1-4244-3531-9
DOI :
10.1109/KAMW.2008.4810666
