{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,8]],"date-time":"2026-04-08T16:29:52Z","timestamp":1775665792318,"version":"3.50.1"},"publisher-location":"Dordrecht","reference-count":49,"publisher":"Springer Netherlands","isbn-type":[{"value":"9789048141944","type":"print"},{"value":"9789401579759","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/978-94-015-7975-9_21","type":"book-chapter","created":{"date-parts":[[2013,1,21]],"date-time":"2013-01-21T17:21:53Z","timestamp":1358788913000},"page":"331-362","source":"Crossref","is-referenced-by-count":916,"title":["The Discernibility Matrices and Functions in Information Systems"],"prefix":"10.1007","author":[{"given":"Andrzej","family":"Skowron","sequence":"first","affiliation":[]},{"given":"Cecylia","family":"Rauszer","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"21_CR1","first-page":"345","volume":"34","author":"W Buszkowski","year":"1986","unstructured":"Buszkowski W. and Orlowska E. (1986): On the Logic of Database Dependencies, Bull. Polish Acad. Sci. Math. vol. 34, 345\u2013354","journal-title":"Bull. Polish Acad. Sci. Math"},{"key":"21_CR2","volume-title":"John Wiley and Sons","author":"JL Casti","year":"1989","unstructured":"Casti J. L. (1989): Alternate Realities - Mathematical Models of Nature and Man, John Wiley and Sons"},{"key":"21_CR3","doi-asserted-by":"publisher","first-page":"377","DOI":"10.1145\/362384.362685","volume":"13","author":"EF Codd","year":"1970","unstructured":"Codd, E.F. (1970): A Relational Model of Data for Large Shared Data Banks, Comm. ACM. vol. 13, 377\u2013387","journal-title":"ACM"},{"issue":"4","key":"21_CR4","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1016\/0888-613X(88)90110-7","volume":"2","author":"KH Chen","year":"1988","unstructured":"Chen K.H., Ras Z. and Skowron A. (1988): Attributes and Rough Properties in Information Systems, Internat.J.Approx.Reason. 2 (4), 365\u2013376","journal-title":"Internat.J.Approx.Reason"},{"key":"21_CR5","volume-title":"Computers and Intractability: A Guide to the Theory of NP-Completeness","author":"MR Garey","year":"1979","unstructured":"Garey M.R. and Johnson D.S., (1979): Computers and Intractability: A Guide to the Theory of NP-Completeness, Freeman and Company, San Francisco"},{"key":"21_CR6","first-page":"463","volume":"2830","author":"J Grzymala-Busse","year":"1986","unstructured":"Grzymala-Busse J., (1986): On the Reduction of Knowledge Representation Systems, Proc. of the 6-th International Workshop on Expert Systems and their Applications, Avignon, France, April 28\u201330, 463\u2013478","journal-title":"April"},{"key":"21_CR7","doi-asserted-by":"crossref","first-page":"127","DOI":"10.4064\/cm-42-1-127-189","volume":"17","author":"K Glazek","year":"1979","unstructured":"Glazek K. (1979): Some Old and New Problems in the Independence Theory, Colloquium Mathematicum vol. 17, 127\u2013189","journal-title":"Colloquium Mathematicum"},{"key":"21_CR8","volume-title":"Morgan Kaufmann","author":"JY Halpern","year":"1986","unstructured":"Halpern J.Y. ed. (1986): Theoretical Aspects of Reasoning about Knowledge, Morgan Kaufmann"},{"key":"21_CR9","volume-title":"Decision Tables in Software Engineering","author":"RB Hurley","year":"1983","unstructured":"Hurley R. B. (1983): Decision Tables in Software Engineering, Van Nostrand Reinhold Company, New York"},{"key":"21_CR10","first-page":"352","volume-title":"Fault Testing and Diagnosis in Combinational Digital Circuits","author":"WH Kautz","year":"1968","unstructured":"Kautz W.H. (1968): Fault Testing and Diagnosis in Combinational Digital Circuits, IEEE Transactions on Computers, April, 352\u2013366"},{"key":"21_CR11","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1145\/320083.320088","volume":"4","author":"W Lipski Jr","year":"1979","unstructured":"Lipski W. Jr. (1979): On Semantic Issues Connected with Incomplete Information Databases, ACM Transactions on Database Systems vol. 4, 269\u2013296","journal-title":"ACM Transactions on Database Systems"},{"key":"21_CR12","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1145\/322234.322239","volume":"28","author":"W Lipski Jr","year":"1981","unstructured":"Lipski W. Jr. (1981): On Databases with Incomplete Information, Journal of the ACM. vol. 28, 41\u201370","journal-title":"Journal of the ACM"},{"key":"21_CR13","doi-asserted-by":"crossref","unstructured":"Los J. (1979): Characteristic Sets of a System of Equivalence Relations, Colloquium Mathematicum XLII, 291\u2013293","DOI":"10.4064\/cm-42-1-291-293"},{"key":"21_CR14","unstructured":"Marczewski E. (1958): A general Scheme of Independence in Mathematics, BAPS, 731\u2013736"},{"issue":"2","key":"21_CR15","first-page":"550","volume":"265","author":"MI Moshkov","year":"1982","unstructured":"Moshkov M.Iu., (1982): On the Conditional Tests (in Russian), Dokl. Akad. Nauk SSSR 265 (2), 550\u2013552.","journal-title":"Akad. Nauk SSSR"},{"key":"21_CR16","first-page":"597","volume-title":"Rough Sets and Some Aspects of Expert Systems Realization, Proc. 7-th Internat. Workshop on Expert Systems and their Applications","author":"A Mrozek","year":"1987","unstructured":"Mrozek A. (1987): Rough Sets and Some Aspects of Expert Systems Realization, Proc. 7-th Internat. Workshop on Expert Systems and their Applications, Avignon, France, 597\u2013611"},{"key":"21_CR17","first-page":"459","volume":"36","author":"M Novotny","year":"1988","unstructured":"Novotny M. and Pawlak Z. (1988): Independence of Attributes, Bull. Polish Acad. Sci. Math. vol. 36, 459\u2013465","journal-title":"Bull. Polish Acad. Sci. Math"},{"key":"21_CR18","first-page":"453","volume":"36","author":"M Novotny","year":"1988","unstructured":"Novotny M. and Pawlak Z. (1988): Partial Dependency of Attributes Bull. Polish Acad. Sci. Math.vol. 36, 453\u2013458","journal-title":"Bull. Polish Acad. Sci. Math"},{"key":"21_CR19","unstructured":"Novotny M. and Pawlak Z. (1989): Algebraic Theory of Independence in Information Systems, Institute of Mathematics Czechoslovak Academy of Sciences Report 51"},{"key":"21_CR20","doi-asserted-by":"crossref","first-page":"247","DOI":"10.3233\/FI-1983-63-403","volume":"6","author":"E Orlowska","year":"1983","unstructured":"Orlowska E. (1983): Dependencies of Attributes in Pawlak\u2019s Information Systems, Fundamenta Informaticae vol. 6, 247\u2013256","journal-title":"Fundamenta Informaticae"},{"key":"21_CR21","doi-asserted-by":"publisher","first-page":"485","DOI":"10.1016\/S0020-7373(84)80023-1","volume":"20","author":"E Orlowska","year":"1984","unstructured":"Orlowska E. and Pawlak Z. (1984): Expressive Power of Knowledge Representation Systems, International Journal of Man-Machine Studies vol. 20, 485\u2013500","journal-title":"International Journal of Man-Machine Studies"},{"key":"21_CR22","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1016\/0304-3975(84)90010-0","volume":"29","author":"E Orlowska","year":"1984","unstructured":"Orlowska E. and Pawlak Z. (1984): Representation of Nondeterministic Information, Theoretical Computer Science vol. 29, 27\u201339","journal-title":"Theoretical Computer Science"},{"key":"21_CR23","volume-title":"Internal Raport PAG \/3","author":"P Pagliani","year":"1987","unstructured":"Pagliani P. (1987): Polystructured Model Spaces as Algorithm Oriented Models for Approximation Spaces and Pawlak\u2019s Information Systems, Facolta di Science dell Informazione, Internal Raport PAG \/3"},{"key":"21_CR24","volume-title":"Information Systems - Theoretical Foundations","author":"Z Pawlak","year":"1981","unstructured":"Pawlak Z. (1981): Information Systems - Theoretical Foundations, ( The book in Polish ), PWN Warsaw"},{"key":"21_CR25","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1016\/0306-4379(81)90023-5","volume":"6","author":"Z Pawlak","year":"1981","unstructured":"Pawlak Z. (1981): Information Systems\u2013Theoretical Foundations, Information Systems vol. 6, 205\u2013218","journal-title":"Information Systems"},{"key":"21_CR26","first-page":"344","volume":"11","author":"Z Pawlak","year":"1982","unstructured":"Pawlak Z. (1982): Rough sets, International Journal of Information and Computer Science vol. 11, 344\u2013356","journal-title":"Rough sets, International Journal of Information and Computer Science"},{"key":"21_CR27","first-page":"481","volume":"33","author":"Z Pawlak","year":"1985","unstructured":"Pawlak Z. (1985): On Rough Dependency of Attributes in Information Systems, Bull. Polish Acad. Sci. Tech. vol. 33, 481\u2013485","journal-title":"Bull. Polish Acad. Sci. Tech"},{"key":"21_CR28","first-page":"551","volume":"33","author":"Z Pawlak","year":"1985","unstructured":"Pawlak Z. and Rauszer C. M. (1985): Dependency of Attributes in Information Systems, Bull. Polish Acad. Sci. Math. vol. 33, 551\u2013559","journal-title":"Bull. Polish Acad. Sci. Math"},{"key":"21_CR29","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-011-3534-4","volume-title":"Rough Sets","author":"Z Pawlak","year":"1991","unstructured":"Pawlak Z. (1991): Rough Sets: Theoretical Aspects of Reasoning about Data, Kluwer"},{"key":"21_CR30","volume-title":"Morgan Kaufmann","author":"R Parikh","year":"1990","unstructured":"Parikh R. ed. (1990): Theoretical Aspects of Reasoning about Knowledge, Morgan Kaufmann"},{"key":"21_CR31","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1007\/3-540-16444-8_8","volume-title":"Mathematical Methods of Specification and Synthesis of Software Systems 85, Akademie-Verlag Berlin, Band","author":"H Rasiowa","year":"1986","unstructured":"Rasiowa H. and Skowron A., (1986): Approximation Logic, In: Mathematical Methods of Specification and Synthesis of Software Systems \u201885, Akademie-Verlag Berlin, Band 31, 123\u2013139"},{"key":"21_CR32","unstructured":"Rauszer C. M. (1984): An Equivalence Between Indiscernibility Relations in Information Systems and a Fragment of Intuitionistic Logic, Lecture Notes in Computer Science vol. 208, Springer Verlag, 298\u2013317"},{"key":"21_CR33","first-page":"571","volume":"33","author":"CM Rauszer","year":"1985","unstructured":"Rauszer C. M. (1985): An Equivalence between Theory of Functional Dependencies and Fragment of Intuitionistic Logic, Bull. Polish Acad. Sci. Math. vol. 33, 571\u2013679","journal-title":"Bull. Polish Acad. Sci. Math"},{"key":"21_CR34","unstructured":"Rauszer C. M. (1985): An Algebraic and Logical Approach to Indiscernibility Relations, ICS PAS Reports No 559"},{"key":"21_CR35","unstructured":"Rauszer C. M. (1987): Algebraic and Logical Description of Functional and Multivalued Dependencies. Proc of the Sec. Int. Symp. on Methodologies for Intelligent Systems. October 17, Charlotte, North Holland 1987, 145\u2013155"},{"key":"21_CR36","first-page":"561","volume":"33","author":"CM Rauszer","year":"1988","unstructured":"Rauszer C. M. (1988): Algebraic Properties of Functional Dependencies, Bull. Polish Acad. Sci. Math. vol. 33, 561\u2013569","journal-title":"Bull. Polish Acad. Sci. Math"},{"key":"21_CR37","unstructured":"Rauszer C.: Decision Logic, to appear in Fundamenta Informaticae"},{"key":"21_CR38","volume-title":"Automatic Information Organization and Retrieval","author":"G Salton","year":"1968","unstructured":"Salton G. (1968): Automatic Information Organization and Retrieval, McGraw-Hill, New York"},{"key":"21_CR39","first-page":"477","volume":"36","author":"A Skowron","year":"1988","unstructured":"Skowron A. (1988): On Topology in Information Systems, Bull. Acad. Polon. Sci. Math. vol. 36, pp. 477\u2013479","journal-title":"Bull. Acad. Polon. Sci. Math"},{"key":"21_CR40","volume-title":"Warsaw","author":"A Skowron","year":"1990","unstructured":"Skowron A. (1990): An Approach to Synthesis of Decision Algorithms in Interaction with Knowledge Bases and Environment. An Example Based on Some Glaucoma Processes (in cooperation with Medical Center in Warsaw), manuscript pp.1\u2013173, Warsaw"},{"issue":"2","key":"21_CR41","doi-asserted-by":"crossref","first-page":"187","DOI":"10.3233\/FI-1991-15208","volume":"15","author":"A Skowron","year":"1991","unstructured":"Skowron A. and Stepaniuk J. (1991): Towards an Approximation Theory of Discrete Problems: Part I, Fundamenta Informaticae 15 (2), 187\u2013208","journal-title":"Fundamenta Informaticae"},{"key":"21_CR42","doi-asserted-by":"crossref","unstructured":"Skowron A. (1991): The Discernibility Matrix and Function in Information System, manuscript","DOI":"10.1007\/978-94-015-7975-9_21"},{"key":"21_CR43","doi-asserted-by":"crossref","unstructured":"Truszczynski M., (1982): Algorithmic Aspects of the Minimization of the Set of Attribute Problems, Fundamenta Informaticae 4 (4)","DOI":"10.3233\/FI-1981-4209"},{"key":"21_CR44","first-page":"I","volume-title":"Artificial Intelligence","author":"D Vakarelov","year":"1987","unstructured":"Vakarelov D. (1987): Abstract Characterization of Some Modal Knowledge Representation Systems and the Logic NIL of Nondeterministic Information, In: Jorraud, Ph. and Squrev, V. (ed.) Artificial Intelligence I I, Methodology, Systems, Applications, North Holland"},{"key":"21_CR45","first-page":"257","volume":"363","author":"D Vakarelov","year":"1989","unstructured":"Vakarelov D. (1989): Modal Logics for Knowledge Representation Systems,LNCS vol.363: 257\u2013277","journal-title":"LNCS"},{"key":"21_CR46","volume-title":"John Wiley and Sons","author":"I Wegener","year":"1987","unstructured":"Wegener I. (1987): The Complexity of Boolean Functions, John Wiley and Sons"},{"key":"21_CR47","doi-asserted-by":"publisher","first-page":"445","DOI":"10.1007\/978-94-009-7798-3_15","volume-title":"Ordered Sets","author":"R Wille","year":"1982","unstructured":"Wille R. (1982): Restructuring Lattice Theory: An Approach Based on Hierarchies of Concepts, In: I.Rival (Ed.), Ordered Sets, Reidel, Dordrecht-Boston, 445\u2013470"},{"key":"21_CR48","first-page":"99","volume-title":"On Reduction of Knowledge Representation, Proc. 2-nd International Symp.on Methodologies of for Intelligent Systems","author":"W Ziarko","year":"1987","unstructured":"Ziarko W. (1987): On Reduction of Knowledge Representation, Proc. 2-nd International Symp.on Methodologies of for Intelligent Systems, Charlotte USA, North Holland, 99\u2013113"},{"key":"21_CR49","doi-asserted-by":"publisher","first-page":"551","DOI":"10.1016\/0895-7177(88)90125-2","volume":"10","author":"W Ziarko","year":"1988","unstructured":"Ziarko W. (1988): Acquisition of Design Knowledge from Examples, Math. Comput. Modeling vol. 10, 551\u2013554","journal-title":"Math. Comput. Modeling"}],"container-title":["Intelligent Decision Support"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-94-015-7975-9_21.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,29]],"date-time":"2025-04-29T17:54:38Z","timestamp":1745949278000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-94-015-7975-9_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9789048141944","9789401579759"],"references-count":49,"URL":"https:\/\/doi.org\/10.1007\/978-94-015-7975-9_21","relation":{},"subject":[],"published":{"date-parts":[[1992]]}}}