Approximate reasoning and similarity

From Mathfuzzlog
Jump to: navigation, search
Loredana Biacino
Giangiacomo Gerla
MinghSheng Ying
Title: Approximate reasoning based on similarity
Journal: Mathematical Logic Quarterly
Volume 46
Pages: 77-86
Year: 2000


A general approach to similarity-based logic is proposed. The idea is that it is possible to define an inferential apparatus taking in account the synonymy relation. This was done by starting form a fuzzy equivalence (similarity) among the predicates with the same arity, by extending such an equivalence to the whole set of formulas. Also an inference rule is relaxed by admitting an approximate matching.