Title :
The Granulations Based on Meaning of Rough Logical Formulas and its Lock Resolution
Author :
Liu, Qing ; Zhu, Huasheng ; Liu, Lan
Author_Institution :
Nanchang Inst. of Technol., Nanchang
Abstract :
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.
Keywords :
formal logic; fuzzy set theory; expert systems; granulations; lock resolution; rough logical formulas; Blood; Computer science; Diagnostic expert systems; Fuzzy logic; Fuzzy sets; Hemodynamics; Information systems; Medical diagnostic imaging; Medical expert systems; Viscosity;
Conference_Titel :
Granular Computing, 2007. GRC 2007. IEEE International Conference on
Conference_Location :
Fremont, CA
Print_ISBN :
978-0-7695-3032-1
DOI :
10.1109/GrC.2007.27