Dinámica de Conocimiento: implementación computacional de Operaciones de Contracción Múltiples Horn

Abstract

Esta línea de investigación tiene como objetivo estudiar, en el marco de la teoría de cambio de creencias, algoritmos para la obtención de contracciones múltiples con cláusulas Horn, considerando las operaciones de contracción bajo lṕgica Horn como lenguaje de representación de conocimiento. Para ello, estudiamos los resultados generales realizados en la adaptación al marco AGM a lógicas no clásicas, como Orderly Maxichoice Horn Contraction, Partial Meet Horn Contraction, e Infra Horn Contraction. Se analizan, algoritmos conocidos en el campo de base de creencias para el c´alculo de sus conjuntos de restos y kernels en sus diversas variantes con una sola sentencia como entrada, para as´ı poder realizar sus extensiones para múltiples sentencias como entrada. La contribución de esta investigación consiste en: definir los algoritmos y sus heurísticas para encontrar los elementos del kernel, definir sus cortes minimales mediante funciones de incisión, y finalmente definir contracciones múltiples. De manera análoga, se proceder´a a definir procedimientos para los conjuntos de restos y sus cortes maximales.