Equivalence Knowledge Cumularspharolith and Multiple Approximate Reasoning in R - Logic CR

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 $\mathcal{R}$ on formulae set $\mathcal{F(S)}$ and the corresponding equivalence classification \begin{equation*}\mathcal{F(S)}/\mathcal{R}=\{ [A]_\mathcal{R}\ | A \in\mathcal{F(S)} \}\end{equation*} therefore, obtains another algorithm of approximate reasoning -- the IV-type $\mathcal{R}-$algorithm. The paper presents the IV-type $\mathcal{R}-$algorithm for the simple approximate reasoning model and the multiple approximate reasoning model in the frame of $\mathcal{R}-$logic $\mathbb{C}_\mathcal{R}$.