Equivalence Knowledge Cumularspharolith and IV-type Completeness of the Knowledge Base K in R-logic CR

Author

Zheng, Yalin ; Li, Yong

Author_Institution

Dept. of Comput. Sci. & Technol., Dongguan Univ. of Sci. & Technol., Dongguan, China

Volume

1

fYear

2009

fDate

19-21 May 2009

Firstpage

451

Lastpage

455

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 completeness and the IV- type perfection of the knowledge base K, in R-logic Copf_R and regular R-logic Copf_R.

Keywords

formal logic; inference mechanisms; knowledge based systems; set theory; approximate reasoning; equivalence knowledge cumularspharolith; knowledge base system; propositional logic; topological structure direct restriction; Automation; Casting; Chromium; Computer science; Electronic mail; Information science; Information technology; Intelligent structures; Intelligent systems; Laboratories; Approximate Knowledge Closure of Knowledge Base; Approximate Reasoning; Formulae Cumularspharolith; Knowledge Cumularspharolith; Pseudo-distance; R-algorithm; R-completeness; R-logic;

fLanguage

English

Publisher

ieee

Conference_Titel

Intelligent Systems, 2009. GCIS '09. WRI Global Congress on

Conference_Location

Xiamen

Print_ISBN

978-0-7695-3571-5

Type

conf

DOI

10.1109/GCIS.2009.389

Filename

5209010