La necesidad de contar con modelos de razonamiento no monotónico en los sistemas inteligentes fue rápidamente reconocida en la comunidad del KR&R [3], especialmente para poder manejar los problemas originados al aplicar deducción en teorías incompletas. Las reglas derrotables en…
|