Equivalence Knowledge Mass and Approximate Reasoning in $\mathcal{R}$---Logic $\mathbb{C}_\mathcal{R}$ (I)

  • Authors:

  • Yalin Zheng;Guang Yang;Changshui Zhang;Jing Zheng;Yunpeng Xu

  • Affiliations:

  • Research Center of Intelligent Information Technology, Department of Computer Science and Technology, Faculty of Software, Dongguan University of Science and Technology, Dongguan, China 523808 and ...;Research Center of Intelligent Information Technology, Department of Computer Science and Technology, Faculty of Software, Dongguan University of Science and Technology, Dongguan, China 523808;State Key Laboratory for Intelligent Technology and Systems, Department of Automation, Faculty of Information Science and Technology, Tsinghua University, Beijing, China 100084;Institute of Dongguan Economy and International Commerce, Department of Economy and Commerce, Dongguan University of Science and Technology, Dongguan, China 523808 and Research Center of Intellige ...;State Key Laboratory for Intelligent Technology and Systems, Department of Automation, Faculty of Information Science and Technology, Tsinghua University, Beijing, China 100084

  • Venue:
  • ICIC '08 Proceedings of the 4th international conference on Intelligent Computing: Advanced Intelligent Computing Theories and Applications - with Aspects of Artificial Intelligence
  • Year:
  • 2008

Quantified Score

Hi-index 0.00

Visualization

Abstract

By casting off the direct restriction of topological structure, this paper presents another matching scheme between the input A茂戮驴and the knowledge A茂戮驴Bbased on the equivalence relation $\mathcal{R}$ on formulae set $\mathcal{F(S)}$ and the corresponding equivalence classification $$ \mathcal{F(S)}/\mathcal{R}=\{ [A]_\mathcal{R}\ | A \in \mathcal{F(S)} \} $$therefore, obtains another algorithm of approximate reasoning -- the IV-type $\mathcal{R}$---algorithm.