Granulations based on semantics of rough logical formulas and its reasoning

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4482 LNAI, Issue , 2007, Pages 419-426

  Liu, Qing ^a,b   Sun, Hui ^a   Wang, Ying ^a  

^a NANCHANG INSTITUTE OF TECHNOLOGY   (China)

^b NANCHANG UNIVERSITY   (China)

Author keywords

Granular reasoning; Granulation; Semantics of rough logical formula; closeness; inclusion

Indexed keywords

FORMAL LOGIC; GRANULATION; ROUGH SET THEORY;

DEDUCTIVE REASONING; GRANULAR REASONING; THEORETICAL DEVELOPMENT;

SEMANTICS;

EID: 38049016904     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-72530-5_50     Document Type: Conference Paper

References (32)

1. Pawlak, Z., Rough Sets, Int. J. Inform. Comp. Sci., 11 (1982). 341-356.
2. Pawlak, Z., Rough Sets present State and Further Prospects, The Proceedings of Third International Workshop on Rough Sets and Soft Computing, Nov. 10-12, 1994, 72-76.
3. Lin, T. Y., A Roadmap from Rough Set Theory to Granular Computing,LNAI 4062, The Proceedings of RSKT2006, by Springer, China, July 2006, 39-41.
4. Lin, T. Y., Granular Computing on Partitions, Coverings and Neighborhood Systems,The proceedings of International Forum on Theory of GrC from Rough Set Perspective (IFTGrCRSP2006), Journal of Nanchang Institute of Technology, Vol.25, No.2, Nanchang, China, July 2006, 1-7.
5. Pawlak, Z., Rough Sets: Theoretical Aspects of Reasoning about Data, Kluwer Academic Publishers, Dordrecht, 1991.
6. Skowron A., Rough Sets in KDD, Special invited Speaking, WCC 2000, in Beijing, Aug. 2000.
7. Skowron, A., Stepaniuk, J., Peters, J.F., Extracting patterns using information granules. In: Proceedings of International Workshop on Rough Set Theory and Granular Computing. Japan 2001, 135-142.
8. Skowron, A., Swiniarski, R., Information granulation and pattern recognition, In: Pal, S.K., Polkowski, L., Skowron, A. (eds): Rough Neurocomputing: Techniques for Computing with Words, Cognitive Technologies. Springer-Verlag, Berlin, 2003.
9. Lin, T.Y., Granular computing on binary relations I: Data mining and neighborhood systems. In: Skowron, A., Polkowski, L. (eds): Rough Sets in Knowledge Discovery. Physica-Verlag, Berlin 1998, 107-121.
10. Lin, T.Y., Granular computing on binary relations II: Rough set representations and belief functions. In: Skowron, A., Polkowski, L. (eds): Rough Sets in Knowledge Discovery. Physica-Verlag, Berlin, 1998.2 (2000) 113-124.
11. Skowron A., Synthesis of Adaptive Decision Systems from Experimental Data, In: A. Aamodi, J. Komorowski (eds.): Proc. Of the Fifth Scandinavian Conference on Artificial Intelligence (SCAI) 95, Tvondheim, NOrwaw, IOS Press., Amsterdam, 220-238
12. Liu, Q., Rough Sets and Rough Reasoning (Third) Press. Of Science, Beijing, 2005, (In Chinese).
13. Yao, Y.Y., Information granulation and rough set approximation. International Journal of Intelligence Systems 16, 2001, 87-104.
14. Yao, J.T., Yao, Y.Y., Induction of classification rules by granular computing. In: Proceedings of the International Conference on Rough Sets and Current Trends in Computing. Springer, Berlin. Philadelphia, 2002, 331-338.
15. Liu,Q., Jiang, F. and Deng, D.Y., Design and Implement for the Diagnosis Software of Blood Viscosity Syndrome Based on Hemorheology on GrC, Lecture Notes in Artificial Intelligence 2639, Springer-Verlag, 2003, 413-420.
16. Lin, T.Y., From rough sets and neighborhood systems to information granulation and computing in Words. In: Proceedings of European Congress on Intelligent Techniques and Soft Computing (1997) 1602-1606.
17. Skowron A., Rough-Granular Computing,The proceedings of International Forum on Theory of GrC from Rough Set Perspective (IFTGrCRSP2006), Journal of Nanchang Institute of Technology, Vol.25, No.2, Nanchang, China, July 2006, 8-14.
18. Yao, Y.Y., Three Prospectives of Granular Computing,The proceedings of International Forum on Theory of GrC from Rough Set Perspective (IFTGrCRSP2006), Journal of Nanchang Institute of Technology, Vol.25, No.2, Nanchang, China, July 2006, 16-21.
19. Liu, Q., Liu, S.H. and Zheng, F., Rough Logic and Applications in Data Reduction, Journal of Software, Vol.12, No.3, March 2001, (In Chinese).
20. Pawlak, Z., Rough Logic, Bulletin of the Polish Academy of Sciences, Technical Sciences, Vol.35, No.5-6, 1987, 253-259.
21. Orlowska, E., A Logic of Indiscernibility Relation. In: E. Orlowska (ed.), Computation Theory, Lecture Notes in Computer Science 208, 1985, 177-186.
22. Orlowska, E., Logic of Nondeterministic Information, In: Lectuer Notes in Computer Science, 208, 1985, 469-473.
23. Skowron, A., Toward Intelligent Systems: Calculi of Information Granules, Bulletin of International Rough Set Society Vol.5, No.1/2, Japan, 2001, 9-30.
24. Liu, Q. and Wang, Q.Y., Granular Logic with Closeness Relation and Its Reasoning, LNAI 3641, by Springer, Berlin, September 2005, 709-711.
25. Liu, Q. and Huang, Z.H., G-Logic and Its Resolution Reasoning, Chinese Journal of Computer, Vol.27,No.7, 2004, 865-873. (In Chinese).
26. Liu, Q., Granular Language and Its Reasoning, Data Mining and Knowledge Discovery: Theory, Tools, and Technology V, Proceeding of SPIE-The International Society for Optical Engineering, Orlando, Florida, USA, 21-22 April 2003, 279-287.
27. Lin, T.Y., Liu, Q., First order rough logic I: Approximate reasoning via rough sets, Fundamenta Informaticae 2-3, 1996, 137-153.
28. Yao, Y.Y. and Liu, Q., A Generalized Decision Logic in Interval-Set-Valued Information table, Lecture Notes in AI 1711, Springer-Verlag, Berlin, 1999, 285-294.
29. Chang, C.L., Lee, R.C.T., Symbolic Logic and Machine Theorem Proving [M]. New York, Academic Press (1993).
30. Liu, Q.: The OI-resolution of operator rough logic. In: Proceedings of the International Conference on Rough Sets and Current Trends in Computing. Springer, Berlin (1998) 432-435.
31. Liu, X., Fuzzy Logic and Fuzzy Reasoning [M], Press, of Jilin University, Jilin, 1989. (In Chinese).
32. Liu, Q., Sun H., Theoretical Study of Granular Computing, LNAI 4062, The Proceedings of RSKT2006, by Springer, China, July 2006, 93-102.