Una semántica basada en juegos para la programación lógica rebatible
El objetivo principal de esta tesis es estudiar la teoría de prueba de la Programación en Lógica Rebatible (P.L.R.) y brindar una caracterización declarativa equivalente. La P.L.R. es una herramienta valiosa para la representación de conoci-miento tentativo, incierto y potencialmente inconsistente,...
Guardado en:
Autor principal: | |
---|---|
Otros Autores: | |
Formato: | tesis doctoral |
Lenguaje: | Español |
Publicado: |
2011
|
Materias: | |
Acceso en línea: | http://repositoriodigital.uns.edu.ar/handle/123456789/2207 |
Aporte de: |
id |
I20-R126123456789-2207 |
---|---|
record_format |
dspace |
institution |
Universidad Nacional del Sur |
institution_str |
I-20 |
repository_str |
R-126 |
collection |
Repositorio Institucional Universidad Nacional del Sur (UNS) |
language |
Español |
orig_language_str_mv |
spa |
topic |
Ciencias de la computación Semántica basada en juegos Complejidad DELP |
spellingShingle |
Ciencias de la computación Semántica basada en juegos Complejidad DELP Cecchi, Laura Andrea Una semántica basada en juegos para la programación lógica rebatible |
topic_facet |
Ciencias de la computación Semántica basada en juegos Complejidad DELP |
description |
El objetivo principal de esta tesis es estudiar la teoría de prueba de la Programación en Lógica Rebatible (P.L.R.) y brindar una caracterización declarativa equivalente. La P.L.R. es una herramienta valiosa para la representación de conoci-miento tentativo, incierto y potencialmente inconsistente, que provee un mecanismo de inferencia basado en los sistemas argumentativos. En los últimos años, los sistemas argumenta-tivos han comenzado a ser utilizados en diversos campos de aplicación como la web y sistemas multiagentes. En esta Tesis se presenta una caracterización declarativa basada en la teoría de modelos y en la noción de juegos, de la P.L.R.. La semántica declarativa trivaluada desarrollada, que se denomi-na GS, es sensata y completa con respecto a la teoría de prueba de P.L.R.. Como punto intermedio, se brinda una forma-lización declarativa equivalente de la estructura de argumento
y se circunscribe el conjunto de todos los posibles argumen-tos a favor y en contra que pueden construirse para una con-sulta dada bajo un programa lógico rebatible. A partir de los resultados obtenidos, se realizó un estudio de la complejidad computacional de la P.L.R.. En este sentido, se definieron pro-blemas de decision relevantes con respecto a los juegos bajo el contexto de un programa lógico rebatible y se calculó la complejidad computacional de la existencia de argumentos y contraargumentos. Asimismo, considerando el nexo existente entre la Programación en Lógica y las bases de datos deduc-tivas se definieron las complejidades de datos, expresión y combinada, y se establecio una cota superior para la com-plejidad de datos. Dichos resultados nos dan un indicio para determinar el poder expresivo de la P.L.R.. |
author2 |
Simari, Guillermo R. |
author_facet |
Simari, Guillermo R. Cecchi, Laura Andrea |
format |
tesis doctoral |
author |
Cecchi, Laura Andrea |
author_sort |
Cecchi, Laura Andrea |
title |
Una semántica basada en juegos para la programación lógica rebatible |
title_short |
Una semántica basada en juegos para la programación lógica rebatible |
title_full |
Una semántica basada en juegos para la programación lógica rebatible |
title_fullStr |
Una semántica basada en juegos para la programación lógica rebatible |
title_full_unstemmed |
Una semántica basada en juegos para la programación lógica rebatible |
title_sort |
una semántica basada en juegos para la programación lógica rebatible |
publishDate |
2011 |
url |
http://repositoriodigital.uns.edu.ar/handle/123456789/2207 |
work_keys_str_mv |
AT cecchilauraandrea unasemanticabasadaenjuegosparalaprogramacionlogicarebatible |
bdutipo_str |
Repositorios |
_version_ |
1764820505331761155 |