• DocumentCode
    468114
  • Title

    Knowledge Mass and Automation Reasoning System in Type II Topological Logic CT II

  • Author

    Zheng, Yalin ; Qin, Zheng ; Li, Yong ; Ouyang, Ji ; Xiao, Huijuan

  • Author_Institution
    Dongguan Univ. of Sci. & Technol., Dongguan
  • Volume
    1
  • fYear
    2007
  • fDate
    24-27 Aug. 2007
  • Firstpage
    180
  • Lastpage
    184
  • Abstract
    This paper introduces and investigate the type II knowledge mass, type II knowledge universe, type II knowledge base and type II automatic reasoning system bases on the type II topological logic CT II. We also present and investigate the type II completeness and type II perfectness of knowledge base K in type II regular topological logic CT II with regular matching function C in this paper.
  • Keywords
    inference mechanisms; knowledge based systems; automation reasoning system; knowledge base K; knowledge mass; type II knowledge universe; type II topological logic; Automatic logic units; Automation; Bismuth; Computer science; Information science; Information technology; Intelligent systems; Kernel; Laboratories; Topology;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Fuzzy Systems and Knowledge Discovery, 2007. FSKD 2007. Fourth International Conference on
  • Conference_Location
    Haikou
  • Print_ISBN
    978-0-7695-2874-8
  • Type

    conf

  • DOI
    10.1109/FSKD.2007.376
  • Filename
    4405913
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=468114