DocumentCode :
468115
Title :
Knowledge Mass and Multiple Approximate Reasoning in Type I Topological Logic C1 T
Author :
Zheng, Yalin ; Zou, Xiaoping ; Wang, Ning ; Zheng, Jing ; Ouyang, Ji
Author_Institution :
Dongguan Univ. of Sci. & Technol., Dongguan
Volume :
1
fYear :
2007
fDate :
24-27 Aug. 2007
Firstpage :
185
Lastpage :
189
Abstract :
In this paper, we propose and investigate the type I knowledge mass, type I knowledge base, type I approximate knowledge closure of knowledge base, type I topological algorithm of multiple approximate reasoning in the framework of type I topological logic C1 T. For the type I topological algorithm of multiple approximate reasoning, Frechet topology is also a critical topology. It is only valid for the the multiple approximate reasonings with A* isin {Ai | i = 1, 2,... , n}, and is invalid for the multiple approximate reasonings which allow A* isin F(S) - {Ai | i = 1, 2, ... ,n}. The topologies which are valid for the type I topological algorithm of the multiple approximate reasoning , can only be the non-Frechet topologies. These topologies can realize not only the classic MP reasoning but also the non-classic approximate reasoning. It can activate some knowledge Ai rarr Bi as A* isin F(S) - {Ai | i = 1,2,... ,n}.
Keywords :
formal logic; inference mechanisms; approximate knowledge closure; critical topology; knowledge base; knowledge mass; multiple approximate reasoning; type I topological logic; Automation; Business; Computer science; Fuzzy logic; Fuzzy reasoning; Information science; Information technology; Intelligent systems; 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.377
Filename :
4405914
Link To Document :
بازگشت