An update logic for information systems

Citations of this article
Mendeley users who have this article in their library.


Updates in a knowledge base, given as an information system in rough set theory, may need to be made due to changes in (i) the set of attributes, (ii) attribute-values, or (iii) the set of objects (instances). In this article, we propose a logic for information systems which incorporates all these three aspects of updates. The logic can capture the flow of information as well as its effects on the approximations of concepts. A sound and complete deductive system for the logic is presented. The decidability issue is also discussed. © 2013 Elsevier Inc. All rights reserved.




Khan, M. A., Banerjee, M., & Rieke, R. (2014). An update logic for information systems. International Journal of Approximate Reasoning, 55(1 PART 4), 436–456.

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free