论文信息 - Granular reasoning using zooming in & out. Part 1. Propositional reasoning (an extended abstract)

Granular reasoning using zooming in & out. Part 1. Propositional reasoning (an extended abstract)

The concept of granular computing is applied to proposi- tional reasoning. Such kind of reasoning is called granular reasoning in this paper. For the purpose, two operations called zooming in & out is introduced to reconstruct granules of possible worlds.

Germano Resconi | Tetsuya Murai | Yoshiharu Sato | Michinori Nakata

[1] Germano Resconi,et al. Granular Reasoning Using Zooming In & Out: Aristotle's Categorical Syllogism , 2003, Electron. Notes Theor. Comput. Sci..

[2] Tsau Young Lin,et al. Granular Computing on Binary Relations , 2002, Rough Sets and Current Trends in Computing.

[3] Andrzej Skowron,et al. Toward Intelligent Systems: Calculi of Information Granules , 2001, JSAI Workshops.

[4] Z. Pawlak. Rough Sets: Theoretical Aspects of Reasoning about Data , 1991 .

[5] Brian F. Chellas. Modal Logic: Normal systems of modal logic , 1980 .

[6] Jerzy W. Grzymala-Busse,et al. Rough Sets , 1995, Commun. ACM.

[7] Tetsuya Murai,et al. A Note on Filtration and Granular Reasoning , 2001, JSAI Workshops.

[8] Germano Resconi,et al. FIELD THEORY AND MODAL LOGIC BY SEMANTIC FIELDS TO MAKE UNCERTAINTY EMERGE FROM INFORMATION , 2000 .