# Type-I Topological Logic C1I and Approximate Reasoning

@inproceedings{Zheng2005TypeITL,
title={Type-I Topological Logic C1I and Approximate Reasoning},
author={Ya Lin Zheng and Changshui Zhang and Xin Yao},
booktitle={FSKD},
year={2005}
}
• Published in FSKD 27 August 2005
• Computer Science
We introduce the consistent topological structure and neighborhood structure into the logical framework for providing the logical foundation and logical normalization for the approximate reasoning. We present the concept of the formulae mass, the knowledge mass and the approximating knowledge closure of the knowledge library by means of topological closure. We obtain the fundamental framework of type-I topological logics. In this framework, we present the type-I topological algorithm of the…
3 Citations
Equivalence Knowledge Cumularspharolith and Multiple Approximate Reasoning in R - Logic CR
• Computer Science
2009 WRI World Congress on Computer Science and Information Engineering
• 2009
The paper presents the IV-type $\mathcal{R}-$algorithm for the simple approximate reasoning model and the multiple approximate reasoning models in the frame of $\mathCal{R]-$logic $\mathbb{C}_\mathcal {R}$.
Equivalence Knowledge Cumularspharolith and IV-type Completeness of the Knowledge Base K in R-logic CR
• Mathematics
2009 WRI Global Congress on Intelligent Systems
• 2009
By casting off the direct restriction of topological structure,this paper presents another matching scheme between the input $A^\ast$ and the knowledge $A \to B$ based on the equivalence relation
Equivalence Knowledge Mass and Approximate Reasoning in $\mathcal{R}$---Logic $\mathbb{C}_\mathcal{R}$ (I)
• Computer Science
ICIC 2008
• 2008
Another matching scheme between the input Ai½ and the knowledge Ai¾ based on the equivalence relation $\mathcal{R}$ on formulae set F(S) and the corresponding equivalence classification is presented, obtains another algorithm of approximate reasoning -- the IV-type $R$---algorithm.

## References

SHOWING 1-8 OF 8 REFERENCES
Integrated semantics and logic metric spaces
• Computer Science
Fuzzy Sets Syst.
• 2003
A Logic for Approximate Reasoning
Stratified construction of fuzzy propositional logic
• Proceedings of International Conference on Fuzzy Information Processing,
• 2003
Mamdaniean logic
• Proceedings of IEEE International Conference on Fuzzy Systems
• 2004
Intergrated semantics and logic metric spaces. Fuzzy Sets and Systems
• Intergrated semantics and logic metric spaces. Fuzzy Sets and Systems
• 2003
Fuzzy reasoning under approximate match
• Science Bulletin,
• 1992