6 citations · 8 across the 7 of their papers we have counts for
6 papers · 1 filter
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…
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…
Impossibility in Belief Merging
Amílcar Mata Díaz, Ramón Pino Pérez
With the aim of studying social properties of belief merging and having a better understanding of impossibility, we extend in three ways the framework of logic-based merging introd…
Exploring the rationality of some syntactic merging operators (extended version)
José Luis Chacón, Ramón Pino Pérez
Most merging operators are defined by semantics methods which have very high computational complexity. In order to have operators with a lower computational complexity, some mergin…