Morpho-Logic from a Topos Perspective – Application to Symbolic AI - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue International Journal of Approximate Reasoning Année : 2023

Morpho-Logic from a Topos Perspective – Application to Symbolic AI

Résumé

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 a 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.
Fichier principal
Vignette du fichier
2023-5-Morphologic from a topos prespective-application to symbolic IA-IJAR-2023.pdf (581 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04453306 , version 1 (12-02-2024)

Identifiants

Citer

Marc Aiguier, Isabelle Bloch, Salim Nibouche, Ramón Pino Pérez. Morpho-Logic from a Topos Perspective – Application to Symbolic AI. International Journal of Approximate Reasoning, 2023, 161, pp.109011. ⟨10.1016/J.IJAR.2023.109011⟩. ⟨hal-04453306⟩
48 Consultations
27 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More