Premium
Approximate Reasoning Based on Similarity
Author(s) -
Biacino Loredana,
Gerla Giangiacomo,
Ying Mingsheng
Publication year - 2000
Publication title -
mathematical logic quarterly
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.473
H-Index - 28
eISSN - 1521-3870
pISSN - 0942-5616
DOI - 10.1002/(sici)1521-3870(200001)46:1<77::aid-malq77>3.0.co;2-x
Subject(s) - closure operator , mathematics , equivalence relation , closure (psychology) , similarity (geometry) , operator (biology) , connection (principal bundle) , relation (database) , equivalence (formal languages) , pure mathematics , algebra over a field , calculus (dental) , discrete mathematics , data mining , computer science , artificial intelligence , closed set , market economy , medicine , biochemistry , chemistry , geometry , dentistry , repressor , transcription factor , economics , image (mathematics) , gene
The connection between similarity logic and the theory of closure operators is examined. Indeed one proves that the consequence relation defined in [14] can be obtained by composing two closure operators and that the resulting operator is still a closure operator. Also, we extend any similarity into a similarity which is compatible with the logical equivalence, and we prove that this gives the same consequence relation.