Reasoning about relational granulation in modal logics

It is well known that the Kripke model for the modal logic system S5 can be interpreted as an approximation space in rough set theory. In this paper, we generalize the interpretation to relational granulation. We consider two multimodal logics for reasoning about relational granulation in open world and closed world environments respectively. In an open world environment, two objects are granulated into the same equivalence class only if they have the same relationship with other objects, while in a closed world environment; two objects are granulated into the same equivalence class if and only if they have the same relationship with other objects. Such equivalence relations are represented by derived modalities from modal operators representing the relationships between objects.

[1]  Tsau Young Lin,et al.  Data Mining: Granular Computing Approach , 1999, PAKDD.

[2]  George Gargov,et al.  A Note on Boolean Modal Logic , 1990 .

[3]  Janusz Zalewski,et al.  Rough sets: Theoretical aspects of reasoning about data , 1996 .

[4]  Tsau Young Lin,et al.  Granular Computing and Rough Sets , 2005, The Data Mining and Knowledge Discovery Handbook.

[5]  Churn-Jung Liau,et al.  An Overview of Rough Set Semantics for Modal and Quantifier Logics , 2000, Int. J. Uncertain. Fuzziness Knowl. Based Syst..

[6]  Lotfi A. Zadeh,et al.  Fuzzy sets and information granularity , 1996 .

[7]  Tsau Young Lin,et al.  Frameworks for Mining Binary Relations in Data , 1998, Rough Sets and Current Trends in Computing.

[8]  John Scott.  Social Network Analysis , 1988 .

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

[10]  Tsau Young Lin,et al.  Granular Computing: Fuzzy Logic and Rough Sets , 1999 .

[11]  Michael J. Nash,et al.  The Chinese Wall security policy , 1989, Proceedings. 1989 IEEE Symposium on Security and Privacy.

[12]  B. Jónsson.  Varieties of relation algebras , 1982 .

[13]  Lionel Ruby,et al.  Logic: An Introduction , 2000 .

[14]  Jerzy Tiuryn,et al.  Dynamic logic , 2001, SIGA.

[15]  Tsau Young Lin,et al.  Data Mining and Machine Oriented Modeling: A Granular Computing Approach , 2000, Applied Intelligence.