×

A modal logic for similarity relations in Pawlak knowledge representation systems. (English) Zbl 0737.68078

The paper presents some formal aspects of knowledge representation systems (KR-systems), based on object description by attributes and their values. After an introduction on the work environment, the KR-systems, and some similarity relations on them, there are introduced the set theoretical and the model logic points of view, each of them with a characterization theorem of the KR-systems. Finally, there are discussed the main properties of the modal logic characterization: the finite axiomatization, the finite model property and the decidability. The paper ends with some open problems.

MSC:

68T30 Knowledge representation
03B45 Modal logic (including the logic of norms)
PDFBibTeX XMLCite