Un procesador de expresiones epistémicas en programas lógicos

Abstract

[Resumen] En este proyecto se ha desarrollado la herramienta eclingo que calcula los modelos de un programa lógico con expresiones epistémicas. Estas expresiones suponen una ampliación del lenguaje declarativo Answer Set Programming (ASP), ampliamente usado en el área de Representación del Conocimiento en Inteligencia Artificial. En ASP, un problema de búsqueda se representa en términos de un programa lógico, y las soluciones al problema se obtienen a partir de los modelos (answer sets) del programa. Las expresiones epistémicas admitidas por eclingo permiten razonar sobre hechos que están presentes en todos los answer sets o en alguno de ellos, lo que permite razonamiento sobre incertidumbre y conocimiento parcial. La eficiencia de eclingo se ha evaluado a través de un estudio comparativo frente a otra herramienta de características similares, ofreciendo unos resultados muy positivos que la sitúan como una alternativa competitiva dentro del estado del arte.

[Abstract] The developed tool, eclingo, computes the models of logic programs with epistemic expressions. These expressions represent an extension of the declarative language Answer Set Programming, widely used in the area of Knowledge Representation in Artificial Intelligence. In ASP, a search problem is represented in terms of a logic program, and solutions to the problem are obtained from the models (answer sets) of this program. The epistemic expressions accepted by eclingo allow reasoning about facts that are present in all answer sets or in some of them, which enables reasoning about uncertainty and partial knowledge. The efficiency of eclingo has been evaluated through a comparative study against another tool with similar characteristics, offering very positive results that place it as a competitive alternative within the state of the art.