Approximate reasoning and similarity
|Title:||Approximate reasoning based on similarity|
|Journal:||Mathematical Logic Quarterly|
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.