Morpho-logic from a Topos Perspective: Application to symbolic AI

Marc Aiguier, Isabelle Bloch, Salim Nibouche +1

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, math…