On Computing Extensions and Restrictions of Information Systems Noting Some Order Properties

Issue title: Concurrency Specification and Programming (CS&P)

Article type: Research Article

Authors: Pałasiński, Marek | Pancerz, Krzysztof

Affiliations: Chair of Mathematics and Computer Science Foundations, University of Information Technology and Management in Rzeszów, Poland. [email protected] | Institute of Biomedical Informatics, University of Information Technology and Management in Rzeszów, Poland. [email protected]

Note: [] Address for correspondence: Chair of Mathematics and Computer Science Foundations, University of Information Technology and Management in Rzeszów, Poland

Abstract: The aim of this paper is to give the basic view on computing consistent extensions and restrictions of information systems noting some order properties of information system families. Information systems are understood in the Pawlak’s sense as the systems of knowledge representation. The extension appears if we add to the original information system some new objects corresponding to the known attribute values. Analogously, the restriction appears if we remove from the original information system some objects. Presented observations enable us to find proper descriptions (preserving some features) of concurrent systems whose behavior is represented by means of information systems.

DOI: 10.3233/FI-2010-277

Journal: Fundamenta Informaticae, vol. 101, no. 1-2, pp. 91-103, 2010