6 citations · 8 across the 7 of their papers we have counts for
8 papers
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…
Abstract Mathematical morphology based on structuring element: Application to morpho-logic
Marc Aiguier, Isabelle Bloch, Ramon Pino-Pérez
A general definition of mathematical morphology has been defined within the algebraic framework of complete lattice theory. In this framework, dealing with deterministic and increa…
Belief revision and 3-valued logics: Characterization of 19,683 belief change operators
Nerio Borges, Ramón Pino Pérez
In most classical models of belief change, epistemic states are represented by theories (AGM) or formulas (Katsuno-Mendelzon) and the new pieces of information by formulas. The Rep…
Resource allocation under uncertainty: an algebraic and qualitative treatment
Franklin Camacho, Gerardo Chacón, Ramón Pino Peréz
We use an algebraic viewpoint, namely a matrix framework to deal with the problem of resource allocation under uncertainty in the context of a qualitative approach. Our basic quali…
Explanatory relations in arbitrary logics based on satisfaction systems, cutting and retraction
Marc Aiguier, Jamal Atif, Isabelle Bloch +1
The aim of this paper is to introduce a new framework for defining abductive reasoning operators based on a notion of retraction in arbitrary logics defined as satisfaction systems…
Morphologic for knowledge dynamics: revision, fusion, abduction
Isabelle Bloch, Jérôme Lang, Ramón Pino Pérez +1
Several tasks in artificial intelligence require to be able to find models about knowledge dynamics. They include belief revision, fusion and belief merging, and abduction. In this…