Diferentes formas de hipótesis de mundo cerrado en la programación en lógica rebatible

Los programas lógicos rebatibles (PLR) permiten utilizar dos tipos de negación: la negación por falla finzta (not), y la negación clásica (-,). De esta forma, es posible trabajar con información incompleta, y potencialmente inconsistente. El objetivo de este trabajo es mostrar como la expresividad...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Simari, Guillermo Ricardo, García, Alejandro Javier
Formato: Objeto de conferencia
Lenguaje:Español
Publicado: 1996
Materias:
Ciencias Informáticas
hipótesis de mundo cerrado
ARTIFICIAL INTELLIGENCE
lógica rebatible
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/24200
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-24200
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
hipótesis de mundo cerrado
ARTIFICIAL INTELLIGENCE
lógica rebatible
spellingShingle Ciencias Informáticas
hipótesis de mundo cerrado
ARTIFICIAL INTELLIGENCE
lógica rebatible
Simari, Guillermo Ricardo
García, Alejandro Javier
Diferentes formas de hipótesis de mundo cerrado en la programación en lógica rebatible
topic_facet Ciencias Informáticas
hipótesis de mundo cerrado
ARTIFICIAL INTELLIGENCE
lógica rebatible
description Los programas lógicos rebatibles (PLR) permiten utilizar dos tipos de negación: la negación por falla finzta (not), y la negación clásica (-,). De esta forma, es posible trabajar con información incompleta, y potencialmente inconsistente. El objetivo de este trabajo es mostrar como la expresividad de los PLR, al disponer de dos tipos de negación, permite representar la hipótesis de mundo cerrado (dosed world assumption o CWA) directamente como cláusulas de programa. La CWA de lID predicado particular p puede lograrse incluyendo en el PLR la cláusula II-,p(X) ~ not p(X)", esto es, si no puedo probar p, entonces puedo derivar -'p., La posibilidad de incluir la hipótesis de mundo cerrado dentro del mismo lenguaje, permite representar otras formas de CWA como "p(X) ~ not -,p(X)" , "p(X) ~ not p(X)" y H-,p(X) ~ not -,p(X)". Por otro lado, la programaCión en lógica rebatible incorpora las cláusulas rebatibles (CPR), denotadas "l -~ A", que deben leerse como: "razones para creer en A son buenas razones para creer en l". Por lo tanto, los PLR permiten representar nuevas formas de CWA mediante la utilización de una cláusula de programa rebatible: II-,p(X) --< not p(X)", es decir, no poder probar "p(X)" es una buena razón (rebatible) para asumir "-,p(X)". Este nuevo tipo de cláusulas de CWA rebatibles soluciona problemas que puedenpl~ntearse al utilizar sólo cláusulas estrictas (no rebatibles).
format Objeto de conferencia
Objeto de conferencia
author Simari, Guillermo Ricardo
García, Alejandro Javier
author_facet Simari, Guillermo Ricardo
García, Alejandro Javier
author_sort Simari, Guillermo Ricardo
title Diferentes formas de hipótesis de mundo cerrado en la programación en lógica rebatible
title_short Diferentes formas de hipótesis de mundo cerrado en la programación en lógica rebatible
title_full Diferentes formas de hipótesis de mundo cerrado en la programación en lógica rebatible
title_fullStr Diferentes formas de hipótesis de mundo cerrado en la programación en lógica rebatible
title_full_unstemmed Diferentes formas de hipótesis de mundo cerrado en la programación en lógica rebatible
title_sort diferentes formas de hipótesis de mundo cerrado en la programación en lógica rebatible
publishDate 1996
url http://sedici.unlp.edu.ar/handle/10915/24200
work_keys_str_mv AT simariguillermoricardo diferentesformasdehipotesisdemundocerradoenlaprogramacionenlogicarebatible
AT garciaalejandrojavier diferentesformasdehipotesisdemundocerradoenlaprogramacionenlogicarebatible
bdutipo_str Repositorios
_version_ 1764820466717949952

Ejemplares similares