Please use this identifier to cite or link to this item:
https://dspace.iiti.ac.in/handle/123456789/6701
| Title: | An update logic for information systems |
| Authors: | Khan, Md. Aquil |
| Keywords: | Information systems;Information use;Knowledge based systems;Rough set theory;Attribute values;Deductive systems;Knowledge base;Lower and upper approximations;Modal logic;Predicate logic;Sound and complete;Computer circuits |
| Issue Date: | 2014 |
| Publisher: | Elsevier Inc. |
| Citation: | 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. doi:10.1016/j.ijar.2013.07.007 |
| Abstract: | 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. |
| URI: | https://doi.org/10.1016/j.ijar.2013.07.007 https://dspace.iiti.ac.in/handle/123456789/6701 |
| ISSN: | 0888-613X |
| Type of Material: | Journal Article |
| Appears in Collections: | Department of Mathematics |
Files in This Item:
There are no files associated with this item.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.
Altmetric Badge: