scientific article; zbMATH DE number 1790417
This book chapter deals with logical formalizations of the similarity-based reasoning based on upper approximations and continuous triangular norms-based similarity relations. Two types of formalizations are considered: graded entailments and graded modal systems. Graded entailments of two kinds (approximation entailment and proximity entailment) between arbitrary sets of propositions are induced by a reflexive relation \(R\) on the set of interpretations. In the multi-modal approach, a general system of graded modal logic is introduced. Here, Kripke structures with accessibility relations induced by the approximation fuzzy relations as well as some special completeness results are described. Observe that the latter approach is potentially stronger, especially in the finite case. The presented results bring important progress in building the logical foundations of approximate reasoning. For the entire collection see [Zbl 0979.00015].
- Graded similarity-based semantics for nonmonotonic inferences
- Logics for approximate and strong entailments
- A modal account of similarity-based reasoning
- Similarity based granules
- Similarity measures based on compiled arguments
- Reduction based on similarity and decision-making
- Bridges between contextual linguistic models of vagueness and t-norm based fuzzy logic
- Similarity-Based Equality with Lazy Evaluation
- A corresponding framework between three-valued logics and similarity-based approximate reasoning
- Similarity mass and approximate reasoning
- A logic for approximate reasoning
- scientific article; zbMATH DE number 1420888 (Why is no real title available?)
- Similarity mass and approximate reasoning
- A similarity-based three-valued modal logic approach to reason with prototypes and counterexamples
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4549482)
