Logic of approximate entailment in quasimetric spaces

DOI10.1016/J.IJAR.2015.06.008MaRDI QIDQ899186zbMATH OpenOpenAlexFDO

Authors Thomas Vetterlein

Publication date 21 December 2015

Published in International Journal of Approximate Reasoning (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1808.10320

zbMATH Keywords

logic of approximate entailmentquasimetric spaceproof forest

Mathematics Subject Classification ID

Reasoning under uncertainty in the context of artificial intelligence (68T37) Logic in artificial intelligence (68T27)

Abstract: The logic LAE discussed in this paper is based on an approximate entailment relation. LAE generalises classical propositional logic to the effect that conclusions can be drawn with a quantified imprecision. To this end, properties are modelled by subsets of a distance space and statements are of the form that one property implies another property within a certain limit of tolerance. We adopt the conceptual framework defined by E. Ruspini; our work is towards a contribution to the investigation of suitable logical calculi. LAE is based on the assumption that the distance function is a quasimetric. We provide a proof calculus for LAE and we show its soundness and completeness for finite theories. As our main tool for showing completeness, we use a representation of proofs by means of weighted directed graphs.

Recommendations

• Logic of approximate entailment in quasimetric and in metric spaces
• \(D\)-logic metric space and approximate reasoning
• scientific article; zbMATH DE number 994051
• Logics of metric spaces
• Modal logics of metric spaces
• An approximate logic for measures
• Logics for approximate and strong entailments
• Quantified intuitionistic logic over metrizable spaces
• Measure-entailment and support in the logic of approximate generalizations
• scientific article; zbMATH DE number 1746426

Cites work

• scientific article; zbMATH DE number 4089532 (Why is no real title available?)
• scientific article; zbMATH DE number 1759368 (Why is no real title available?)
• scientific article; zbMATH DE number 3304085 (Why is no real title available?)
• A Logic for Concepts and Similarity
• A logical approach to interpolation based on similarity relations
• A modal account of similarity-based reasoning
• A representation theorem for quasi-metric spaces
• Comparative concept similarity over minspaces: axiomatisation and tableaux calculus
• Foundations of computational intelligence. Volume 2: Approximate reasoning
• Graded consequence revisited
• Graded consequence with fuzzy set of premises
• Logical approaches to fuzzy similarity-based reasoning: an overview
• Logics for approximate and strong entailments
• Logics of metric spaces
• Notes on logics of metric spaces
• On implicative closure operators in approximate reasoning.
• On the semantics of fuzzy logic
• Proof systems for lattice theory
• Proof theory for fuzzy logics

Cited in

(4)

• scientific article; zbMATH DE number 994051 (Why is no real title available?)
• Logics for approximate entailment in ordered universes of discourse
• Logic of approximate entailment in quasimetric and in metric spaces
• A similarity-based three-valued modal logic approach to reason with prototypes and counterexamples

This page was built for publication: Logic of approximate entailment in quasimetric spaces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q899186)