doi: 10.4304/jsw.9.2.265-273
Researches on Rough Truth of Rough Axioms Based on Granular Computing
- 1 College of Computer and Information Engineering, Henan Normal University, Xinxiang 453007, China
- 2 School of Computer and Information Technology, Beijing Jiaotong University, Beijing 100044, China
Abstract
The concept, rough truth, is first presented in rough logic. It is a logical value, and lies between truth and falsity. By combining rough logic with modal logic, rough validity of the rough axioms is studied in this paper, which has close links with the logical value: rough truth. Because an axiom of modal logic corresponds to a rough axiom, the study of this paper actually focuses on the analysis of rough truth of the axioms in modal logic, which is based on a structure constructed in this paper. The structure is linked with a series of special states. The research on rough truth connects the special states with the rough axioms. At the same time, granular computing is introduced to the research process. As an approach to data processing, granular computing plays an important role in determining whether a rough axiom is roughly true or not. Thus, the study also demonstrates a way of research on granular computing. The conclusions show that each rough axiom is roughly true at every state of the structure, which means that each rough axiom is roughly valid. This is the desired result.
Keywords
- rough truth
- rough validity
- rough axiom
How to Cite
Lin Yan and Shuo Yan, "Researches on Rough Truth of Rough Axioms Based on Granular Computing," Journal of Software, vol. 9, no. 2, pp. 265-273, 2014. https://doi.org/ 10.4304/jsw.9.2.265-273
Copyright & License
Copyright © 2014 by the authors. This is an open access article distributed under the Creative Commons Attribution License which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited (CC BY 4.0).