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

Volume

5

fYear

2009

fDate

March 31 2009-April 2 2009

Firstpage

718

Lastpage

722

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 C_R.

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Computer Science and Information Engineering, 2009 WRI World Congress on

Conference_Location

Los Angeles, CA

Print_ISBN

978-0-7695-3507-4

Type

conf

DOI

10.1109/CSIE.2009.991

Filename

5170627