On Correctness of Decision Algorithms in Information Systems

Article type: Research Article

Authors: Wasilewska, Anita

Affiliations: Computer Science Department, State University of New York, Stony Brook, NY 11794, U.S.A.

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.

Keywords: information system, decision rule, decision aigorithm, static learning, syntactic decision procedure

DOI: 10.3233/FI-1988-11302

Journal: Fundamenta Informaticae, vol. 11, no. 3, pp. 219-239, 1988