On Correctness of Decision Algorithms in Information Systems

Abstract

The concept of an information system, with manipulation based on the rough set theory, was introduced by Pawlak in 1982.

The information system is defined by its set of objects, set of attributes, set of values of attributes, and a function, which maps the direct product of the first two sets onto the set of values of attributes.

We introduce here, after [Pawlak 1985(1)], concepts of the decision rule, decision algorithm, static learning and describe the automatic procedures of deciding whether a given decision rule or decision algorithm is correct.