no code implementations • 30 Oct 2019 • 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.
no code implementations • 14 Feb 2018 • Isabelle Bloch, Jérôme Lang, Ramón Pino Pérez, Carlos Uzcátegui
Several tasks in artificial intelligence require to be able to find models about knowledge dynamics.
no code implementations • 14 Jun 2016 • Amílcar Mata Díaz, Ramón Pino Pérez
We state some representation theorems for these operators.