101. Type II Topological Logic $\mathbb{C}^2_\mathcal{T}$ and Approximate Reasoning.
- Author
-
Lipo Wang, Yaochu Jin, Yalin Zheng, Changshui Zhang, and Yinglong Xia
- Abstract
This paper propose a topological logic model of approximate reasoning based on the type II topological logic $\mathbb{C}^2_\mathcal{T}$ and the structure of matching function $\mathcal{C}$ and $\mathcal{C}$-match neighborhood group. The type II topological algorithm of simple approximate reasoning and multiple approximate reasoning is given in type II topological logic $\mathbb{C}^2_\mathcal{T}$ with matching function $\mathcal{C}$. We also propose the structure of type II regular topological logic $\mathbb{C}^2_\mathcal{T}$ and regular matching function $\mathcal{C}$. The type II completeness and type II perfectness of knowledge base K is investigated in type II regular topological logic $\mathbb{C}^2_\mathcal{T}$ with regular matching function $\mathcal{C}$. [ABSTRACT FROM AUTHOR]
- Published
- 2005
- Full Text
- View/download PDF