The Granulations Based on Meaning of Rough Logical Formulas and its Lock Resolution
Qing Liu, Huasheng Zhu, Lan Liu · 2007 IEEE International Conference on Granular Computing (GRC 2007) · 2007
Rough logic is a nonstandard logic defined information systems. In the paper, meaning of the logical formulas is defined as granulation. Operations, related properties of the granulations are discussed further. Lock resolution of the granulations is studied. Studying significance of the granulations will offer an application in inference of expert systems. Which will also offer a new idea for the applications of classical logic and other nonstandard logic.