Razonamiento inductivo: un caso de razonamiento no monótono

Abstract

En este trabajo se propone una nueva aproximación a la formalización del razonamiento inductivo, caracterizándolo como una forma de razonamiento no monótono y definiendo las conclusiones inductivas que se obtienen de un conocimiento de respaldo (Γ) y de una base de hechos (Δ), como aquellas que explican los hechos y que se deducen lógicamente de la Circunscripción [McCA80, 86] de la base de datos Γ Ս Δ con respecto a un conjunto de predicados de los que se supone se posee información completa. Esta propuesta permite obtener una visión formal unificada, de diversas caracterizaciones del razonamiento inductivo, que en principio parecen muy diferentes.