Morpho-logic from a topos perspective -- application to symbolic AI
From MaRDI portal
Publication:6178744
DOI10.1016/j.ijar.2023.109011arXiv2303.04895OpenAlexW4385652373MaRDI QIDQ6178744
Salim Nibouche, Isabelle Bloch, Ramón Pino Pérez, Marc Aiguier
Publication date: 4 September 2023
Published in: International Journal of Approximate Reasoning (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2303.04895
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Logic for physical space. From antiquity to present day
- Modes of adjointness
- Logic based merging
- Constructive modal logics. I
- Duality vs. adjunction for fuzzy mathematical morphology and general form of fuzzy erosions and dilations
- Fuzzy sets: A topos-logical point of view
- Fuzzy sets do not form a topos
- Propositional knowledge base revision and minimal change
- Propositional lax logic
- Fuzzy techniques in image processing
- Universal coalgebra: A theory of systems
- Jumping to explanations versus jumping to conclusions
- Lattice fuzzy transforms from the perspective of mathematical morphology
- Explanatory relations in arbitrary logics based on satisfaction systems, cutting and retraction
- Belief revision, minimal change and relaxation: A general framework based on satisfaction systems, and applications to description logics
- Coalgebraic modal logic: soundness, completeness and decidability of local consequence
- Bi-Heyting algebras, toposes and modalities
- Mathematical morphology on bipolar fuzzy sets: general algebraic framework
- On some associations between mathematical morphology and artificial intelligence
- From structuring elements to structuring neighborhood systems
- Robust similarity between hypergraphs based on valuations and mathematical morphology operators
- Contraction in propositional logic
- Neighborhood semantics for modal logic
- Sur quelques points d'algèbre homologique
- A judgmental reconstruction of modal logic
- Topos Semantics for Higher-Order Modal Logic
- Some Morphological Operators on Simplicial Complex Spaces
- Intuitionistic propositional logic with Galois connections
- Some Morphological Operators in Graph Spaces
- Morphology on Graphs and Minimum Spanning Trees
- Modal Logics Based on Mathematical Morphology for Qualitative Spatial Reasoning
- Fuzzy Set Theory and Topos Theory
- On the logic of theory change: Partial meet contraction and revision functions
- The algebraic basis of mathematical morphology I. Dilations and erosions
- Logical dual concepts based on mathematical morphology in stratified institutions: applications to spatial reasoning
- Merging First-Order Knowledge Using Dilation Operators
