SOLER TOSCANO , Fernando

No description

No description

Exploramos las posibilidades que ofrece la lógica epistémica dinámica para modelar el razonamiento abductivo. Mostramos que muchos de los problemas que encuentran los tratamientos formales de la abducción basados en lógica clásica pueden ser resueltos al considerar un agente epistémico que razona y actúa.

No description

This paper presents an introduction to dynamic epis-temic logic through some formal systems that allow to represent knowledge and beliefs of one or more agents, as well as epistemic actions that can modify them. Specif ically, we present the public announcements logic, action models and plausibility models.

No description

No description

No description

La pregunta por la logicidad busca los criterios que hacen que cierto objeto se pueda considerar un objeto lógico. Los diferentes criterios de logicidad posibles marcarán no solo las distintas formas de concebir la lógica como disciplina académica, sino también distintos modos de entender, en el lenguaje ordinario o en otras disciplinas, qué...

La abducción es el tipo de razonamiento en que, dada una teoría T (habitualmente un conjunto de fórmulas del lenguaje con el que se trabaje) y una observación O (generalmente una fórmula), tales que ni O ni su negación son consecuencia lógica de T, se trata de buscar una explicación E (una fórmula) tal que O sea consecuencia lóg ica de la unión...

Realizamos un acercamiento al razonamiento explicativo mediante estructuras modales. Usamos el formalismo bien conocido de los marcos de Kripke, pero asociamos a cada mundo, no una interpretación, sino una lógica. De este modo, definimos operadores que nos permiten expresar distintas modificaciones que puede sufrir una teoría, concretamente...

No description

No description

Among the non-monotonic reasoning processes, abduction is one of the most important. Usually described as the process of looking florexplantions, it has been recognized as one of the most commonly used in our daily activities. Still, the traditional definitions of an abductive problem and an abductive solution mention only theories and...

Given the widespread use of lossless compression algorithms to approximate algorithmic (Kolmogorov-Chaitin) complexity, and that lossless compression algorithms fall short at characterizing patterns other than statistical ones not different to entropy estimations, here we explore an alternative and complementary approach. We study formal...

No description

Abduction can be intended as a special kind of deductive consequence. In fact a general trend is to consider it as a backward deduction with some additional conditions. However, there can be more than one kind of deduction, so that any definition of abduction must take that into account. From a logical perspective the problem is precisely the...