Condicionales, nomonotonía y primitivos pragmáticos

Abstract

El uso de métodos formales para el tratamiento de las expresiones condicionales, ha sido objeto de estudio de disciplinas como la lógica y la Inteligencia Artificial (lA). En cuanto a la primera, una de las maneras usuales definir el propósito de las las lógicas condicionales, es postular que se ocupan del estudio de la teoria de la prueba y la semántica para los condicionales del lenguaje natural. Desde la comunidad de la IA se han formado sistemas que permiten reflejar las propiedades de los llamados razonamtentos nomonótonos en términos de un sistema de lógica condicional. El tipo de condicionales asociados a esta clase de razonamientos es el de los llamados condicionales derrotables.