DeLP como lenguaje de consulta: un enfoque preliminar al poder expresivo

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...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Cecchi, Laura, Simari, Guillermo Ricardo
Formato: Objeto de conferencia
Lenguaje:Español
Publicado: 2012
Materias:
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/23809
Aporte de:
id I19-R120-10915-23809
record_format dspace
institution Universidad Nacional de La Plata
institution_str I-19
repository_str R-120
collection SEDICI (UNLP)
language Español
topic Ciencias Informáticas
base de datos
Logic Programming
Sistemas Argumentativos
Languages
Razonamiento Rebatible
Programación en lógica
Complejidad
Poder Expresivo
spellingShingle Ciencias Informáticas
base de datos
Logic Programming
Sistemas Argumentativos
Languages
Razonamiento Rebatible
Programación en lógica
Complejidad
Poder Expresivo
Cecchi, Laura
Simari, Guillermo Ricardo
DeLP como lenguaje de consulta: un enfoque preliminar al poder expresivo
topic_facet Ciencias Informáticas
base de datos
Logic Programming
Sistemas Argumentativos
Languages
Razonamiento Rebatible
Programación en lógica
Complejidad
Poder Expresivo
description 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.
format Objeto de conferencia
Objeto de conferencia
author Cecchi, Laura
Simari, Guillermo Ricardo
author_facet Cecchi, Laura
Simari, Guillermo Ricardo
author_sort Cecchi, Laura
title DeLP como lenguaje de consulta: un enfoque preliminar al poder expresivo
title_short DeLP como lenguaje de consulta: un enfoque preliminar al poder expresivo
title_full DeLP como lenguaje de consulta: un enfoque preliminar al poder expresivo
title_fullStr DeLP como lenguaje de consulta: un enfoque preliminar al poder expresivo
title_full_unstemmed DeLP como lenguaje de consulta: un enfoque preliminar al poder expresivo
title_sort delp como lenguaje de consulta: un enfoque preliminar al poder expresivo
publishDate 2012
url http://sedici.unlp.edu.ar/handle/10915/23809
work_keys_str_mv AT cecchilaura delpcomolenguajedeconsultaunenfoquepreliminaralpoderexpresivo
AT simariguillermoricardo delpcomolenguajedeconsultaunenfoquepreliminaralpoderexpresivo
bdutipo_str Repositorios
_version_ 1764820466254479361