Title :
Equivalence Knowledge Cumularspharolith and Multiple Approximate Reasoning in R - Logic CR
Author :
Zheng, Yalin ; Yang, Guang
Author_Institution :
Dept. of Comput. Sci. & Technol., Dongguan Univ. of Sci. & Technol., Dongguan, China
fDate :
March 31 2009-April 2 2009
Abstract :
By casting off the direct restriction of topological structure, this paper presents another matching scheme between the input A* and the knowledge A rarr B based on the equivalence relation R on formulae set F(S) and the corresponding equivalence classification F(S)/R = { [A]R | A isin F(S)} therefore, obtains another algorithm of approximate reasoning - the IV-type R-algorithm. The paper presents the IV-type R-algorithm for the simple approximate reasoning model and the multiple approximate reasoning model in the frame of R-logic CR.
Keywords :
equivalence classes; formal logic; inference mechanisms; pattern classification; pattern matching; set theory; topology; IV-type R-algorithm; R-logic; equivalence classification; equivalence knowledge cumularspharolith; equivalence relation; formulae set; matching scheme; multiple approximate reasoning algorithm; topological structure; Automation; Chromium; Computer science; Information science; Information technology; Intelligent structures; Intelligent systems; Knowledge engineering; Laboratories; Logic; Approximate Knowledge Closure of Knowledge Base; Approximate Reasoning; Formulae Cumularspharolith; Knowledge Cumularspharolith; Pseudo-distance; R-algorithm; R-logic;
Conference_Titel :
Computer Science and Information Engineering, 2009 WRI World Congress on
Conference_Location :
Los Angeles, CA
Print_ISBN :
978-0-7695-3507-4
DOI :
10.1109/CSIE.2009.991
