• DocumentCode
    3597643
  • 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
  • fYear
    2008
  • Firstpage
    1022
  • Lastpage
    1025
  • 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;
  • fLanguage
    English
  • Publisher
    ieee
  • 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
  • Type

    conf

  • DOI
    10.1109/KAMW.2008.4810666
  • Filename
    4810666
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=3597643