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

Marc Aiguier Isabelle Bloch Salim Nibouche Ramón Pino Pérez

Published in: CoRR (2023)

Keyphrases

artificial intelligence
databases
neural network
information retrieval
computational intelligence
real time
machine learning
artificial neural networks
case based reasoning
intelligent systems
logic programming
theorem proving
multi valued