A modal logic for multiple-source tolerance approximation spaces

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

Volumn 6521 LNAI, Issue , 2011, Pages 124-136

  Khan, Md Aquil ^a   Ma, Minghui ^b,c  

^a INDIAN INSTITUTE OF TECHNOLOGY KANPUR   (India)

^b Institute of Logic and Intelligence   (China)

^c TSINGHUA UNIVERSITY   (China)

Author keywords

[No Author keywords available]

Indexed keywords

DEDUCTIVE SYSTEMS; LOWER AND UPPER APPROXIMATIONS; MODAL LOGIC; TOLERANCE APPROXIMATION SPACE; TOLERANCE RELATIONS; MULTIPLE SOURCE; SOUND AND COMPLETE;

COMPUTABILITY AND DECIDABILITY; COMPUTER CIRCUITS;

FORMAL LOGIC;

EID: 78650900231     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-18026-2_11     Document Type: Conference Paper

References (19)

1. De Caro, F.: Graded modalities, II (canonical models). Studia Logica 47(1), 1-10 (1988)
2. Doherty, P., Łukaszewicz, W., Szałas, A.: Tolerance spaces and approximative representational structures. In: Günter, A., Kruse, R., Neumann, B. (eds.) KI 2003. LNCS (LNAI), vol. 2821, pp. 475-489. Springer, Heidelberg (2003)
3. Dubois, D., Prade, H.: Rough fuzzy sets and fuzzy rough sets. International Journal of General Systems 17, 191-200 (1990)
4. Esteva, F., Garcia, P., Godo, L.: A modal account of similarity-based reasoning. International Journal of Approximate Reasoning 16, 235-260 (1997)
5. Fattorosi-Barnaba, M., De Caro, F.: Graded modalities, I. Studia Logica 44, 197-221 (1985)
6. Fine, K.: In so many possible worlds. Notre Dame Journal of Formal Logic 13(4), 516-520 (1972)
7. Järinen, J.: Approximations and rough sets based on tolerances. In: Ziarko, W.P., Yao, Y. (eds.) RSCTC 2000. LNCS (LNAI), vol. 2005, pp. 182-189. Springer, Heidelberg (2001)
8. Khan, M.A., Banerjee, M.: Formal reasoning with rough sets in multiple-source approximation systems. International Journal of Approximate Reasoning 49(2), 466-477 (2008)
9. Khan, M.A., Banerjee, M.: Multiple-source approximation systems: membership functions and indiscernibility. In: Wang, G., Li, T., Grzymala-Busse, J.W., Miao, D., Skowron, A., Yao, Y. (eds.) RSKT 2008. LNCS (LNAI), vol. 5009, pp. 80-87. Springer, Heidelberg (2008)
10. Khan, M.A., Banerjee, M.: A preference-based multiple-source rough set model. In: Szczuka, M., Kryszkiewicz, M., Ramanna, S., Jensen, R., Hu, Q. (eds.) RSCTC 2010. LNCS, vol. 6086, pp. 247-256. Springer, Heidelberg (2010)
11. Khan, M.A., Banerjee, M.: A study of multiple-source approximation systems. In: Peters, J.F., Skowron, A., Słowiński, R., Lingras, P., Miao, D., Tsumoto, S. (eds.) Transactions on Rough Sets XII. LNCS, vol. 6190, pp. 46-75. Springer, Heidelberg (2010)
12. Komorowski, J., Pawlak, Z., Polkowski, L., Skowron, A.: Rough sets: a tutorial. In: Pal, S.K., Skowron, A. (eds.) Rough Fuzzy Hybridization: A New Trend in Decision-Making, pp. 3-98. Springer, Singapore (1999)
13. Orłowska, E., Pawlak, Z.: Expressive power of knowledge representation systems. International Journal of Man-Machine Studies 20(5), 485-500 (1984)
14. Pattinson, D.: Coalgebraic logics and applications. In: Fourth International Joint Conference on Automated Reasoning (2008), http://2008.IJCAR.org
15. Pawlak, Z.: Rough sets. International Journal of Computer and Information Science 11(5), 341-356 (1982)
16. Rauszer, C.M.: Rough logic for multiagent systems. In: Masuch, M., Polos, L. (eds.) Logic at Work 1992. LNCS (LNAI), vol. 808, pp. 161-181. Springer, Heidelberg (1994)
17. Skowron, A., Stepaniuk, J.: Tolerance approximation spaces. Fundamenta Informaticae 27, 245-253 (1996)
18. Vakarelov, D.: Abstract characterization of someknowledge representation systems and the logic NIL ofnondeterministic information. In: Jorrand, P., Sgurev, V. (eds.) Artificial Intelligence II, pp. 255-260. North-Holland, Amsterdam (1987)
19. Venema, Y.: Algebras and coalgebras. In: van Benthem, J., Blackburn, P., Wolter, F. (eds.) Handbook of Modal Logic, pp. 331-426. Elsevier, Amsterdam (2006)