An update logic for information systems

作者：Khan Md Aquil; Banerjee Mohua^*; Rieke Roland

来源：International Journal of Approximate Reasoning, 2014, 55(1): 436-456.

DOI：10.1016/j.ijar.2013.07.007

• Information system
• Lower and upper approximations
• Modal logic
• First order predicate logic

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.

• 出版日期2014-1