El criterio de especificidad en la programación en lógica rebatible

La programación en lógica rebatible es una extensión de la programación en lógica que captura aspectos del razonamiento del sentido común que son difíciles de expresar en la programación en lógica tradicional. Los programas lógicos rebatibles (PLR) permiten representar información incompleta y poten...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: García, Alejandro Javier, Simari, Guillermo Ricardo
Formato: Objeto de conferencia
Lenguaje:Español
Publicado: 1996
Materias:
Ciencias Informáticas
criterio de especificidad
ARTIFICIAL INTELLIGENCE
lógica rebatible
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/24236
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-24236
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
criterio de especificidad
ARTIFICIAL INTELLIGENCE
lógica rebatible
spellingShingle Ciencias Informáticas
criterio de especificidad
ARTIFICIAL INTELLIGENCE
lógica rebatible
García, Alejandro Javier
Simari, Guillermo Ricardo
El criterio de especificidad en la programación en lógica rebatible
topic_facet Ciencias Informáticas
criterio de especificidad
ARTIFICIAL INTELLIGENCE
lógica rebatible
description La programación en lógica rebatible es una extensión de la programación en lógica que captura aspectos del razonamiento del sentido común que son difíciles de expresar en la programación en lógica tradicional. Los programas lógicos rebatibles (PLR) permiten representar información incompleta y potencialmente inconsistente, y utilizan los conceptos de la argumentación rebatible a fin de poder decidir metas contradictorias. Para esto se utiliza un criterio de preferencia entre derivaciones rebatibles. Tanto la argumentación rebatible, como la programación en lógica rebatible, pueden definirse independientemente del criterio de preferencia entre argumentos. Sin embargo, uno de los criterios más utilizados es la especificidad. La programación e lógica rebatible incorpora además conceptos que no estaban presentes en la argumentación rebatible: la negación por falla y las presuposiciones. El objetivo de este trabajo es definir el criterio de especificidad para los PLR, de tal manera que pueda comprar correctamente argumentos que contengan presuposiciones y el operador de negación por falla. Además, se presenta una definición refinada que permite calcular en forma eficiente cuando un argumento es más específico que otro.
format Objeto de conferencia
Objeto de conferencia
author García, Alejandro Javier
Simari, Guillermo Ricardo
author_facet García, Alejandro Javier
Simari, Guillermo Ricardo
author_sort García, Alejandro Javier
title El criterio de especificidad en la programación en lógica rebatible
title_short El criterio de especificidad en la programación en lógica rebatible
title_full El criterio de especificidad en la programación en lógica rebatible
title_fullStr El criterio de especificidad en la programación en lógica rebatible
title_full_unstemmed El criterio de especificidad en la programación en lógica rebatible
title_sort el criterio de especificidad en la programación en lógica rebatible
publishDate 1996
url http://sedici.unlp.edu.ar/handle/10915/24236
work_keys_str_mv AT garciaalejandrojavier elcriteriodeespecificidadenlaprogramacionenlogicarebatible
AT simariguillermoricardo elcriteriodeespecificidadenlaprogramacionenlogicarebatible
bdutipo_str Repositorios
_version_ 1764820466799738881

Ejemplares similares