G-logic and its resolution reasoning

Jisuanji Xuebao/Chinese Journal of Computers

Volumn 27, Issue 7, 2004, Pages 865-873

  Liu, Qing ^a   Huang, Zhao Hua ^b  

^a NANCHANG UNIVERSITY   (China)

^b East China of Jiaotong University   (China)

Author keywords

G computing; G logic; G resolution; Information granules

Indexed keywords

ARTIFICIAL INTELLIGENCE; KNOWLEDGE BASED SYSTEMS; PROBLEM SOLVING; ROUGH SET THEORY;

APPROXIMATED REASONING; GRANULAR LOGIC COMPUTING; GRANULAR RESOLUTION; INFORMATION GRANULES;

FORMAL LOGIC;

EID: 4544274317     PISSN: 02544164     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (21)

1. Pawlak Z.. Rough logic. Bulletin of Polish Academy of Sciences, 1987, 35(5-6): 253-259
2. Pawlak Z.. Rough Sets-Theoretical Aspects of Reasoning About Data. Dordrecht: Kluwer Academic Publishers, 1991
3. Orlowska E.. A logic of indicernibility relation. In: Skowron A. ed. Computation Theory, Lecture Notes in Computer Science 208, Heidelberg: Physica-Verlag, 1985, 177-186
4. Chakraborty M. K., Banerjee M.. Rough logic with rough quantifiers. Warsaw University of Technology: ICS Research Report 49/93, 1993
5. Nakamura A.. A rough logic based on incomplete information and its applications. In: Lin T. Y. ed. International Journal of Approximate Reasoning, 1996, 15(Spacial Issue): 367-378
6. Nakamura A., Matsueda M.. Rough logic on incomplete knowledge systems. In; Proceedings of the 3rd International Workshop on Rough Sets and Soft Computing(RSSC'94), San Jose, California, USA, 1994, 56-64
7. Nakamura A.. Graded modalities in rough logic. In: Polkowski L., Skowron A. ed. Rough Sets Knowledge Discovery, Heidelberg: Physica-Verlag, 1998, 192-208
8. Hobbs Jerry R.. Granularity. In: Proceedings of IJCAI, Los Angeles, 1985, 432-435
9. Skowron A.. Toward intelligent systems: Calculi of information granules. In: Proceedings of International Workshop on Rough Set Theory and Granular Computing (RSTGC-2001). Bulletin of International Rough Set Society, Japan, 2001, 5(1/2): 9-30
10. Skowron A., Stepaniuk J.. Extracting patterns using information granules. In: Proceedings of International Workshop on Rough Set Theory and Granular Computing (RSTGC-2001), Bulleting of International Rough Set Society, Japan, 2001, 5(1/2): 135-142
11. Liu Q.. Operator rough logic and its resolution principle. Chinese Journal of Computers, 1998, 21(5): 476-480(in Chinese)
12. Liu Q.. The OI-resolution of operator rough logic. In: Polkowski L., Skowron A. eds. Lecture Notes in Artificial Intelligence 1424, Berlin: Springer-Verlag, 1998, 432-435
13. Liu Q.. The resolution for rough prepositional logic with lower (L) and upper(H) approximate operators. Lecture Notes in Artificial Intelligence 1711, Berlin: Springer-Verlag, 1999, 11: 352-356
14. Liu Q.. Granular language and its deductive reasoning. Communications of Institute of Information and Computing Machinery, 2002, 5(2): 63-66
15. Liu Q.. Neighborhood logic and its data reasoning on neighborhood-valued information table. Chinese Journal of Computers, 2001, 24(4): 476-480(in Chinese)
16. Liu Q.. Rough Set and Rough Reasoning (Second). Beijing: Science Press, 2003(in Chinese)
17. Liu Q., Liu S. H., Zheng F.. Rough logic and its applications in data mining. Journal of Software, 2001, 12(3): 415-419(in Chinese)
18. Rasiowa H., Skowron A.. Rough concepts logic. In: Skowron A, ed. Computation Theory, Lecture Notes in Computer Science 208, Heidelberg: Physica-Verlag, 1985, 288-297
19. Lin T. Y., Liu Q.. First-order rough logic I: Approximate reasoning via rough sets. Fundamenta Informaticae, 1996, 27(2-3): 137-154
20. Wang X. J.. Introduction for Mathematical Logic. Beijing: Peking University Press, 1982(in Chinese)
21. Chang C. L., Lee R. C. T.. Symbolic Logic and Machine Theorem Proving. New York: Academic Press, 1993