A Modal Logic for Similarity Relations in Pawlak Knowledge Representation Systems

Article type: Research Article

Authors: Vakarelov, Dimiter

Affiliations: Department of Mathematical Logic and its Applications, Sofia University, Faculty of Mathematics and Injormatics, Boul. Anton Ivanov 5, 1126 Sofia, Bulgaria

Abstract: One of the main results of the paper is a characterization of certain kind similarity relations in Pawlak knowledge representation systems by means of first order sentences. As an application we obtain a complete finite axiomatization of the corresponding poly modal logic, called in the paper MLSim. It is proved that MLSim possesses finite model property and is decidable.

DOI: 10.3233/FI-1991-15105

Journal: Fundamenta Informaticae, vol. 15, no. 1, pp. 61-79, 1991