Researches on granular reasoning based on granular space

2008 IEEE International Conference on Granular Computing, GRC 2008

Volumn , Issue , 2008, Pages 706-711

  Yan, Lin ^a   Liu, Qing ^b  

^a HENAN NORMAL UNIVERSITY   (China)

^b NANCHANG UNIVERSITY   (China)

Author keywords

[No Author keywords available]

Indexed keywords

CLASSICAL LOGICS; GRANULAR COMPUTING; GRANULAR REASONINGS; LOGICAL REASONINGS; ROUGH LOGICS;

GRANULATION;

EID: 57949104352     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/GRC.2008.4664658     Document Type: Conference Paper

References (9)

1. Pawlak Z. Rough Logic. Bulletin of Polish Academy of Sciences: Technical Sciences, 1987, 35(5-6): 253-258
2. Yan Lin. Fundamentals of Mathematical Logic And Granular Computing. Beijing, China: Science Press, 2007(in Chinese)
3. Liu Qing, Huang Zhao-Hua. G-Logic and Its Resolution Reasoning. Chinese Journal of Computers, 2004, 27(7): 865-873 (in Chinese)
4. Nakamura A, Gao M J. A rough logic based on incomplete information and its application. International Journal of Approximate Reasoning, 1996, 15(4): 367-378
5. Yan Lin, Wang Quan-Rui, Liu Yan. Semantic Analyses for Formulas in Rough Logic and Reasoning Study on the Semantic Analyses. Pattern Recognition and Artificial Intelligence, 2006, 19(4): 433-438(in Chinese)
6. Yan Lin, Wang Sui-Hua, Zhang Xue-Dong. Semantic Reasoning Study For Rough Logic About n-ary Formulas. In: Proceedings of 2006 IEEE International Conference on Granular Computing, Atlanta, Georgia, USA, 2006, 381-384
7. Liu Qing, Wang Ji-Yi. Semantic Analysis of Rough Logical Formulas Based on Granular Computing. In: Proceedings of 2006 IEEE International Conference on Granular Computing, Atlanta, Georgia, USA, 2006, 393-396
8. Yan Lin, Zhang Cong-Pin. Semantic Analyses of Rough Truth for Axioms in Model Logic. Journal of Computer Research and Development, 2006, 43(11): 1999-2004 (in Chinese)
9. Yan Lin, Liu Qing. A Logical Method of Formalization for Granular Computing. In: Proceedings of 2007 IEEE International Conference on Granular Computing, Silicon Valley, California, USA, 2007: 22-27