Morpho-logic from a topos perspective -- application to symbolic AI
From MaRDI portal
Publication:6178744
DOI10.1016/J.IJAR.2023.109011arXiv2303.04895OpenAlexW4385652373MaRDI QIDQ6178744FDOQ6178744
Authors: Marc Aiguier, I. Bloch, Salim Nibouche, Ramón Pino Pérez 
Publication date: 4 September 2023
Published in: International Journal of Approximate Reasoning (Search for Journal in Brave)
Abstract: Modal logics have proved useful for many reasoning tasks in symbolic artificial intelligence (AI), such as belief revision, spatial reasoning, among others. On the other hand, mathematical morphology (MM) is a theory for non-linear analysis of structures, that was widely developed and applied in image analysis. Its mathematical bases rely on algebra, complete lattices, topology. Strong links have been established between MM and mathematical logics, mostly modal logics. In this paper, we propose to further develop and generalize this link between mathematical morphology and modal logic from a topos perspective, i.e. categorial structures generalizing space, and connecting logics, sets and topology. Furthermore, we rely on the internal language and logic of topos. We define structuring elements, dilations and erosions as morphisms. Then we introduce the notion of structuring neighborhoods, and show that the dilations and erosions based on them lead to a constructive modal logic, for which a sound and complete proof system is proposed. We then show that the modal logic thus defined (called morpho-logic here), is well adapted to define concrete and efficient operators for revision, merging, and abduction of new knowledge, or even spatial reasoning.
Full work available at URL: https://arxiv.org/abs/2303.04895
Recommendations
- scientific article; zbMATH DE number 1735982
- scientific article; zbMATH DE number 810107
- scientific article; zbMATH DE number 559225
- scientific article; zbMATH DE number 2196608
- scientific article; zbMATH DE number 5316602
- scientific article; zbMATH DE number 4057054
- Publication:3481704
- Publication:3478387
- Topological representation of intuitionistic and distributive abstract logics
- scientific article; zbMATH DE number 2154581
Cites Work
- On the logic of theory change: Partial meet contraction and revision functions
- Universal coalgebra: A theory of systems
- Sur quelques points d'algèbre homologique
- A judgmental reconstruction of modal logic
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Coalgebraic modal logic: soundness, completeness and decidability of local consequence
- Fuzzy Set Theory and Topos Theory
- Title not available (Why is that?)
- The algebraic basis of mathematical morphology I. Dilations and erosions
- Title not available (Why is that?)
- Propositional knowledge base revision and minimal change
- Bi-Heyting algebras, toposes and modalities
- Modal logics based on mathematical morphology for qualitative spatial reasoning
- Fuzzy sets: A topos-logical point of view
- Jumping to explanations versus jumping to conclusions
- Propositional lax logic
- Logic for physical space. From antiquity to present day
- Title not available (Why is that?)
- Neighborhood semantics for modal logic
- Title not available (Why is that?)
- Fuzzy sets do not form a topos
- Fuzzy techniques in image processing
- Logic based merging
- Some morphological operators on simplicial complex spaces
- Some Morphological Operators in Graph Spaces
- Merging First-Order Knowledge Using Dilation Operators
- Intuitionistic propositional logic with Galois connections
- Modes of adjointness
- Duality vs. adjunction for fuzzy mathematical morphology and general form of fuzzy erosions and dilations
- Belief revision, minimal change and relaxation: A general framework based on satisfaction systems, and applications to description logics
- Mathematical morphology on bipolar fuzzy sets: general algebraic framework
- Constructive modal logics. I
- Contraction in propositional logic
- Title not available (Why is that?)
- Title not available (Why is that?)
- From structuring elements to structuring neighborhood systems
- Lattice fuzzy transforms from the perspective of mathematical morphology
- Explanatory relations in arbitrary logics based on satisfaction systems, cutting and retraction
- Robust similarity between hypergraphs based on valuations and mathematical morphology operators
- On some associations between mathematical morphology and artificial intelligence
- Logical dual concepts based on mathematical morphology in stratified institutions: applications to spatial reasoning
- Topos Semantics for Higher-Order Modal Logic
- Morphology on Graphs and Minimum Spanning Trees
Cited In (2)
This page was built for publication: Morpho-logic from a topos perspective -- application to symbolic AI
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6178744)
