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

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: Cecchi, Laura Andrea
Otros Autores: Simari, Guillermo R.
Formato: tesis doctoral
Lenguaje:Español
Publicado: 2011
Materias:
Ciencias de la computación
Semántica basada en juegos
Complejidad DELP
Acceso en línea:http://repositoriodigital.uns.edu.ar/handle/123456789/2207
Aporte de:
Repositorio Institucional Universidad Nacional del Sur (UNS) de Universidad Nacional del Sur
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

Ejemplares similares