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 条
  • [31] A logic for reasoning about digital rights
    Pucella, R
    Weissman, V
    [J]. 15TH IEEE COMPUTER SECURITY FOUNDATION WORKSHOP, PROCEEDINGS, 2002, : 282 - 294
  • [32] A tableau algorithm for reasoning about concepts and similarity
    Lutz, C
    Wolter, F
    Zakharyaschev, M
    [J]. AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, PROCEEDINGS, 2003, 2796 : 134 - 149
  • [33] A Classical Propositional Logic for Reasoning About Reversible Logic Circuits
    Axelsen, Holger Bock
    Gluck, Robert
    Kaarsgaard, Robin
    [J]. LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION, 2016, 9803 : 52 - 67
  • [34] A TEMPORAL LOGIC FOR MULTILEVEL REASONING ABOUT HARDWARE
    MOSZKOWSKI, B
    [J]. COMPUTER, 1985, 18 (02) : 10 - 19
  • [35] A Logic for Reasoning about Justified Uncertain Beliefs
    Fan, Tuan-Fang
    Liau, Churn-Jung
    [J]. PROCEEDINGS OF THE TWENTY-FOURTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI), 2015, : 2948 - 2954
  • [36] A Framework for Reasoning about the Semantics of Logic Programs
    [J]. Bull Eur Assoc Theor Comput Sci, 59 (426):
  • [37] Reasoning about Intuitionistic Computation Tree Logic
    Catta, Davide
    Malvone, Vadim
    Murano, Aniello
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2023, 391 : 42 - 48
  • [38] A simple logic for reasoning about incomplete knowledge
    Banerjee, Mohua
    Dubois, Didier
    [J]. INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, 2014, 55 (02) : 639 - 653
  • [39] MOMO: A modal logic for reasoning about mobility
    De Nicola, R
    Loreti, M
    [J]. FORMAL METHODS FOR COMPONENTS AND OBJECTS, 2005, 3657 : 95 - 119
  • [40] Dynamic logic for reasoning about actions and agents
    Meyer, JJC
    [J]. LOGIC-BASED ARTIFICIAL INTELLIGENCE, 2000, 597 : 281 - 311
12345