Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

An update logic for information systems

 
: Khan, M.A.; Banerjee, M.; Rieke, R.

:

International journal of approximate reasoning 55 (2014), No.1, Pt.4, pp.436-456
ISSN: 0888-613X
English
Journal Article
Fraunhofer SIT ()

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.

: http://publica.fraunhofer.de/documents/N-259366.html