Approximate Reasoning Based on Similarity

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. Mathematics Subject Classification: 03B52, 94D05,68T27.

• Type: Journal
• Year: 2000
• Where: MLQ
• Authors: Loredana Biacino, Giangiacomo Gerla, Mingsheng Ying
• Keywords: Closure Operator, Consequence Relation, MLQ 2000, Similarity Logic