La relevancia de la lógica relevante en el razonamiento no monotónico

Abstract

La lógica clásica es un sistema formal muy bien establecido cuyo objetivo podría describirse como el de razonar con conocimiento verdadero e inmutable. En la lógica clásica las inferencias son de-ductivas, lo cual tiene la propiedad de validez, es decir, preserva la verdad de los antecedentes, resultando imposible deducir una conclusión falsa a partir de antecedentes verdaderos. Si bien sus características sintácticas y semánticas son inmejorables en dicha situación, desde un punto de vista pragmático resulta difícil adecuar la lógica clásica a situaciones mundanas, fundamentalmente por lo problemático del concepto de verdad y su difícil aplicabilidad. Una de las razones de esto es que en una lógica debería estar también expresada la conexión necesaria entre la conclusión de una inferencia y sus premisas, es decir, la relevancia de las premisas para la conclusión [2]. Es poco intuitivo en la lógica clásica que de una premisa falsa se pueda concluir cualquier sentencia arbitraria, así como que una conclusión verdadera pueda ser inferida a partir de cualquier premisa arbitraria. Éstas, entre otras, son las denominadas paradojas de la implicación. En este trabajo proponemos que la lógica relevante presupone una mejor base el razonamiento en general y para la implementación computacional de sistemas basados en conocimiento. Se muestra una presentación de una lógica relevante en un sistema de deducción natural, la cual es computacionalmente implementable, y se discuten sus aplicaciones en el razonamiento revisable.