A Logic for Reasoning about Relative Similarity

被引：27
|
作者：
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
相关论文
共 50 条
  • [1] Natural (language) temporal logic: Reasoning about absolute and relative time
    Iwanska, L
    [J]. INTERNATIONAL JOURNAL OF EXPERT SYSTEMS, 1996, 9 (01): : 113 - 149
  • [2] Reasoning about situation similarity
    Anagnostopoulos, Christos B.
    Ntarladimas, Yiorgos
    Hadjiefthymiades, Stathes
    [J]. 2006 3RD INTERNATIONAL IEEE CONFERENCE INTELLIGENT SYSTEMS, VOLS 1 AND 2, 2006, : 105 - 110
  • [3] A LOGIC FOR REASONING ABOUT PROBABILITIES
    FAGIN, R
    HALPERN, JY
    MEGIDDO, N
    [J]. INFORMATION AND COMPUTATION, 1990, 87 (1-2) : 78 - 128
  • [4] A logic for reasoning about ambiguity
    Halpern, Joseph Y.
    Kets, Willemien
    [J]. ARTIFICIAL INTELLIGENCE, 2014, 209 : 1 - 10
  • [5] A logic for reasoning about responsibility
    de Lima, Tiago
    Royakkers, Lamber
    Dignum, Frank
    [J]. LOGIC JOURNAL OF THE IGPL, 2010, 18 (01) : 99 - 117
  • [6] A LOGIC FOR REASONING ABOUT SECURITY
    GLASGOW, J
    MACEWEN, G
    PANANGADEN, P
    [J]. ACM TRANSACTIONS ON COMPUTER SYSTEMS, 1992, 10 (03): : 226 - 264
  • [7] A Logic for Reasoning about Persuasion
    Budzynska, Katarzyna
    Kacprzak, Magdalena
    [J]. FUNDAMENTA INFORMATICAE, 2008, 85 (1-4) : 51 - 65
  • [8] LOGIC FOR REASONING ABOUT KNOWLEDGE
    ORLOWSKA, E
    [J]. ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1989, 35 (06): : 559 - 572
  • [9] A logic for reasoning about evidence
    Halpern, Joseph Y.
    Pucella, Riccardo
    [J]. Journal of Artificial Intelligence Research, 2006, 26 : 1 - 34
  • [10] REASONING ABOUT UPDATE LOGIC
    VANEIJCK, J
    DEVRIES, FJ
    [J]. JOURNAL OF PHILOSOPHICAL LOGIC, 1995, 24 (01) : 19 - 45
12345