A Logic for Reasoning about Relative Similarity

被引：29

作者：

Konikowska B. ^{[1
]}

机构：

[1] Institute of Computer Science Polish, Academy of Sciences, 01-237 Warsaw

来源：

Studia Logica | 1997年 / 58卷 / 1期

关键词：

Completeness; Entities; Lower and upper approximations; Multi-modal logics; Properties; Rough sets; Similarity;

D O I：

10.1023/A:1004952317628

中图分类号：

学科分类号：

摘要：

A similarity relation is a reflexive and symmetric binary relation between objects. Similarity is relative: it depends on the set of properties of objects used in determining their similarity or dissimilarity. A multi-modal logical language for reasoning about relative similarities is presented. The modalities correspond semantically to the upper and lower approximations of a set of objects by similarity relations corresponding to all subsets of a given set of properties of objects. A complete deduction system for the language is presented. © 1997 Kluwer Academic Publishers.

引用

页码：185 / 226

页数：41

共 11 条

[1]

Beth E.W., The Foundations of Mathematics, (1959)

[2]

Fitting M., Proof Methods for Modal and Intuitionistic Logics, (1983)

[3]

Koletsos G., Sequent Calculus and Partial Logic, (1978)

[4]

Konikowska B., A logic for reasoning about similarity, Reasoning with Incomplete Information: the Rough Set Approach

[5]

Konikowska B., Tarlecki A., Blikle A., A three-valued logic for software specification and validation, Fundamenta Informaticae, 14, pp. 411-453, (1991)

[6]

Lyndon C., Notes on Logic, (1964)

[7]

Orlowska E., Logic of indiscernibility relations, Bull. Pol. Acad. Sci., 33, pp. 467-485, (1985)

[8]

Pawlak Z., Rough sets, Intl. Journ. of Comp. and Inf. Sci., 11, pp. 341-356, (1982)

[9]

Rasiowa H., Sikorski R., The Mathematics of Metamathematics, (1963)

[10]

Vakarelov D., Modal logics for similarity relations in Pawlak knowledge representation systems, Fundamente, Informaticae, 15, pp. 61-79, (1991)

← 1 2 →