Type-I Topological Logic C1I and Approximate Reasoning

  title={Type-I Topological Logic C1I and Approximate Reasoning},
  author={Ya Lin Zheng and Changshui Zhang and Xin Yao},
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
  • Y. Zheng, Guang Yang
  • 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
  • Y. Zheng, Yong Li
  • 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)
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.


Integrated semantics and logic metric spaces
On the Logic Foundation of Fuzzy Reasoning
Non-fuzzy versions of fuzzy reasoning in classical logics
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