RAZONAMIENTO REVOCABLE Y LÓGICAS NO MONÓTONAS: UN ANÁLISIS CONCEPTUAL

Se llama revocables a todos aquellos razonamientos no deductivos en los cuales la conclusión es obtenida a partir de información incompleta, es decir, a partir de premisas que representan condiciones insuficientes para afirmar la conclusión. En los razonamientos revocables, nueva información que se agregue a las premisas puede invalidar la inferencia hecha, pues daría lugar a inconsistencias. Así, la relación de inferencia que subyace a los razonamientos revocables no cumple con la propiedad de monotonía que satisface la relación usual de inferencia deductiva. Las lógicas no monótonas han surgido con la idea de formalizar este tipo de razonamientos. En este trabajo se sostendrá que el problema de la revocabilidad no atañe a operadores lógicos ni a la lógica en sentido estricto, sino a cómo la lógica es aplicada en diferentes contextos, lo que implica tomar en cuenta factores externos a la caracterización de operadores lógicos. Esta perspectiva no conduce a una modificación de la lógica, sino de la manera en que se organiza la información a partir de la cual se hacen las inferencias. Así, se debe agregar estructura a la información, considerando un razonamiento revocable como una estructura más compleja que un razonamiento deductivo

Razonamiento abductivo en teorías no monotónicas

El razonamiento abductivo es aquel tendiente a encontrar explicaciones para observaciones sorprendentes o anómalas en algún sentido. Como tal, es utilizado y posee diversas aplicaciones, particularmente en la inteligencia artificial (sistemas de diagnóstico, resolución de problemas, planificación de tareas, aprendizaje, depuración algorítmica de programas, interpretación del lenguaje natural, y muchos otros). Sin embargo, hasta ahora ha recibido escasa atención la incorporación de patrones abductivos de inferencia en teorías no monotónicas. El objetivo de este trabajo consiste en investigar los modelos de integración del razonamiento no monotónico con la inferencia abductiva. Para ello es necesario generalizar los mecanismos de generación, comparación y aceptación de explicaciones en teorías no monotónicas, y encontrar en cada caso los mecanismos de resolución de conflictos y las estrategias computacionales asociadas.Eje: Teoría (TEOR)Red de Universidades con Carreras en Informática (RedUNCI

Razonamiento abductivo en teorías no monotónicas

El razonamiento abductivo es aquel tendiente a encontrar explicaciones para observaciones sorprendentes o anómalas en algún sentido. Como tal, es utilizado y posee diversas aplicaciones, particularmente en la inteligencia artificial (sistemas de diagnóstico, resolución de problemas, planificación de tareas, aprendizaje, depuración algorítmica de programas, interpretación del lenguaje natural, y muchos otros). Sin embargo, hasta ahora ha recibido escasa atención la incorporación de patrones abductivos de inferencia en teorías no monotónicas. El objetivo de este trabajo consiste en investigar los modelos de integración del razonamiento no monotónico con la inferencia abductiva. Para ello es necesario generalizar los mecanismos de generación, comparación y aceptación de explicaciones en teorías no monotónicas, y encontrar en cada caso los mecanismos de resolución de conflictos y las estrategias computacionales asociadas.Eje: Teoría (TEOR)Red de Universidades con Carreras en Informática (RedUNCI

Connexive Conditional Logic. Part I

In this paper, first some propositional conditional logics based on Belnap and Dunn’s useful four-valued logic of first-degree entailment are introduced semantically, which are then turned into systems of weakly and unrestrictedly connexive conditional logic. The general frame semantics for these logics makes use of a set of allowable (or admissible) extension/antiextension pairs. Next, sound and complete tableau calculi for these logics are presented. Moreover, an expansion of the basic conditional connexive logics by a constructive implication is considered, which gives an opportunity to discuss recent related work, motivated by the combination of indicative and counterfactual conditionals. Tableau calculi for the basic constructive connexive conditional logics are defined and shown to be sound and complete with respect to their semantics. This semantics has to ensure a persistence property with respect to the preorder that is used to interpret the constructive implication