Abstract
In rough set theory, information systems are used to represent knowledge-bases, particularly when practical applications are involved. We explore one such use of information systems, for representing the open world model. Open world information systems are defined, and a temporal logic, including descriptors and the global modality, is proposed as a formal reasoning framework for these structures.
The author acknowledges support of the Institute of Logic and Cognition, Sun Yat-Sen University, Guangzhou, during a visit from which the work was initiated.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
In this discourse, we identify ‘knowledge’ with ‘information’.
References
Banerjee, M., Khan, M.A.: Rough set theory: a temporal logic view. In: Chakraborty, M.K., Löwe, B., Mitra, M.N., Sarukkai, S. (eds.) Studies in Logic. Proceedings of the Logic, Navya-Nyaya and Applications: Homage to Bimal Krishna Matilal, 3–6 January 2007, Kolkata, Vol. 15, pp. 1–20. College Publications, London (2008)
Ju, S., Liu, H.: The logical structure of open sets. In: Ju, S. (ed.) Logic and Cognition: The Progress in Logical Study in China, pp. 596–603. Social Sciences in China Press, Beijing (2003)
Khan, M.A., Banerjee, M.: Logics for some dynamic spaces—I and II. J. Log. Comput. (2014). doi:10.1093/logcom/exu055-56
Khan, M.A., Banerjee, M.: A logic for complete information systems. In: Sossai, C., Chemello, G. (eds.) The 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, Verona, Italy. LNAI, vol. 5590, pp. 829–840. Springer (2009)
Khan, M.A., Banerjee, M.: Logics for information systems and their dynamic extensions. ACM Trans. Comput. Log. 12(4), 29 (2011)
Khan, M.A., Banerjee, M.: An update logic for information systems. Int. J. Approx. Reason. 55(1), 436–456 (2014)
Orłowska, E.: Dynamic information system. Fundam. Inf. 5, 101–118 (1982)
Pawlak, Z.: Rough Sets. Theoretical Aspects of Reasoning about Data. Kluwer Academic Publishers, Dordrecht (1991)
Synak, P.: Temporal feature extraction from temporal information systems. In: Zhong, Z., Ras, Z.W., Tsumoto, S., Suzuki, E. (eds.) Foundations of Intelligent Systems. Proceedings of ISMIS 2003, LNCS 2871, pp. 270–278. Springer, Berlin (2003)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer India
About this paper
Cite this paper
Banerjee, M., Ju, S., Khan, M.A., Tang, L. (2015). Open World Models: A View from Rough Set Theory. In: Chakraborty, M.K., Skowron, A., Maiti, M., Kar, S. (eds) Facets of Uncertainties and Applications. Springer Proceedings in Mathematics & Statistics, vol 125. Springer, New Delhi. https://doi.org/10.1007/978-81-322-2301-6_6
Download citation
DOI: https://doi.org/10.1007/978-81-322-2301-6_6
Publisher Name: Springer, New Delhi
Print ISBN: 978-81-322-2300-9
Online ISBN: 978-81-322-2301-6
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)