Show simple item record

dc.contributor.advisorCabalar Fernández, José Pedro
dc.contributor.authorGarea Cidre, Javier
dc.contributor.otherUniversidade da Coruña. Facultade de Informáticaes_ES
dc.date.accessioned2019-10-11T15:03:28Z
dc.date.available2019-10-11T15:03:28Z
dc.date.issued2019-09-06
dc.identifier.urihttp://hdl.handle.net/2183/24095
dc.description.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.es_ES
dc.description.abstract[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.es_ES
dc.language.isospaes_ES
dc.rightsAtribución-NoComercial-SinDerivadas 3.0 Españaes_ES
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/3.0/es/*
dc.subjectProgramación lógicaes_ES
dc.subjectRepresentación del conocimientoes_ES
dc.subjectAnswer Set Programminges_ES
dc.subjectEspecificaciones epistémicases_ES
dc.subjectPlanificación conformantees_ES
dc.subjectLogic Programminges_ES
dc.subjectKnowledge Representationes_ES
dc.subjectAnswer Set Programminges_ES
dc.subjectEpistemic specificationses_ES
dc.subjectConformant planninges_ES
dc.titleUn procesador de expresiones epistémicas en programas lógicoses_ES
dc.typeinfo:eu-repo/semantics/bachelorThesises_ES
dc.rights.accessinfo:eu-repo/semantics/openAccesses_ES
dc.description.traballosTraballo fin de grao (UDC.FIC). Enxeñaría informática. Curso 2018/2019es_ES


Files in this item

Thumbnail
Thumbnail

This item appears in the following Collection(s)

Show simple item record