1. Inicio
  2. Atrás
Título: DeLP como lenguaje de consulta: un enfoque preliminar al poder expresivo
Autores: Cecchi, Laura
Simari, Guillermo Ricardo
Fecha: 2012-11-07
2012-10
2012-10
Publicador: Unversidad Nacional de La Plata
Fuente:

Tipo: Objeto de conferencia
Objeto de conferencia
Tema: Sistemas Argumentativos
Razonamiento Rebatible
Programación en lógica
Complejidad
Poder Expresivo
Logic Programming
Languages
Ciencias Informáticas
base de datos
Descripción: La Programaci ón en Lógica Rebatible (DeLP) es una extensión de la Programacióon en L ógica que permite representar conocimiento tentativo y razonar a trav és de argumentos a partir de el. Actualmente, existen muchas aplicaciones de DeLP a bases de datos y la web, por lo que resulta de importancia el an álisis de la complejidad computacional y del poder expresivo del lenguaje. En este trabajo, se propone a DeLP como lenguaje de consulta para bases de datos ordenadas nitas. Asimismo, se relacionan resultados de la complejidad computacional ya alcanzados, con otros modelos y con la Complejidad Descriptiva. Finalmente, se avanza en el estudio del poder expresivo del lenguaje de consulta rebatible, analizando las consultas expresables en FO(TC), que coinciden con los problemas resolubles en NL. Se demuestra que las consultas expresables en FO(TC) son un subconjunto de las expresables en el lenguaje de consulta basado en DeLP.
Eje: Workshop Teóricos de ciencia de la computación (WATCC)
Idioma: Español