Please use this identifier to cite or link to this item:
https://dspace.iiti.ac.in/handle/123456789/6701
Full metadata record
| DC Field | Value | Language |
|---|---|---|
| dc.contributor.author | Khan, Md. Aquil | en_US |
| dc.date.accessioned | 2022-03-17T01:00:00Z | - |
| dc.date.accessioned | 2022-03-21T10:50:15Z | - |
| dc.date.available | 2022-03-17T01:00:00Z | - |
| dc.date.available | 2022-03-21T10:50:15Z | - |
| dc.date.issued | 2014 | - |
| dc.identifier.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 | en_US |
| dc.identifier.issn | 0888-613X | - |
| dc.identifier.other | EID(2-s2.0-84889882889) | - |
| dc.identifier.uri | https://doi.org/10.1016/j.ijar.2013.07.007 | - |
| dc.identifier.uri | https://dspace.iiti.ac.in/handle/123456789/6701 | - |
| dc.description.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. | en_US |
| dc.language.iso | en | en_US |
| dc.publisher | Elsevier Inc. | en_US |
| dc.source | International Journal of Approximate Reasoning | en_US |
| dc.subject | Information systems | en_US |
| dc.subject | Information use | en_US |
| dc.subject | Knowledge based systems | en_US |
| dc.subject | Rough set theory | en_US |
| dc.subject | Attribute values | en_US |
| dc.subject | Deductive systems | en_US |
| dc.subject | Knowledge base | en_US |
| dc.subject | Lower and upper approximations | en_US |
| dc.subject | Modal logic | en_US |
| dc.subject | Predicate logic | en_US |
| dc.subject | Sound and complete | en_US |
| dc.subject | Computer circuits | en_US |
| dc.title | An update logic for information systems | en_US |
| dc.type | Journal Article | en_US |
| dc.rights.license | All Open Access, Bronze | - |
| 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: