Modelos computacionales del razonamiento en las teorías científicas

Abstract

Las teorías científicas pueden considerarse como extensiones de las teorías lógicas, en las que se incorpora un conjunto heterogeneo y posiblemente inconsistente de conocimiento tentativo (leyes empíricas, conjeturas, hipótesis auxiliares, etc.). Dicho conocimiento está organizado por medio de una jerarquía que representa una dimensión pragmática que tiene en cuenta los posibles beneficios en el uso de dicho conocimiento por medio de patrones de inferencia, englobados dentro de lo que usualmente se denomina método científico. En este trabajo se propone formalizar algunos aspectos de la dinámica de las teorías científicas, tomando como base la propuesta de Lakatos denominada Programas de Investigación Científica. En particular, consideramos que un programa es representable por medio de teorías no monotónicas. También se analiza el efecto en los programas de la aparición de nueva evidencia, y se propone un mecanismo de comparación de programas en función del progreso empírico o del grado de conformación de los mismos.