El criterio de especificidad en la programación en lógica rebatible

Abstract

La programación en lógica rebatible es una extensión de la programación en lógica que captura aspectos del razonamiento del sentido común que son difíciles de expresar en la programación en lógica tradicional. Los programas lógicos rebatibles (PLR) permiten representar información incompleta y potencialmente inconsistente, y utilizan los conceptos de la argumentación rebatible a fin de poder decidir metas contradictorias. Para esto se utiliza un criterio de preferencia entre derivaciones rebatibles. Tanto la argumentación rebatible, como la programación en lógica rebatible, pueden definirse independientemente del criterio de preferencia entre argumentos. Sin embargo, uno de los criterios más utilizados es la especificidad. La programación e lógica rebatible incorpora además conceptos que no estaban presentes en la argumentación rebatible: la negación por falla y las presuposiciones. El objetivo de este trabajo es definir el criterio de especificidad para los PLR, de tal manera que pueda comprar correctamente argumentos que contengan presuposiciones y el operador de negación por falla. Además, se presenta una definición refinada que permite calcular en forma eficiente cuando un argumento es más específico que otro.