Un compilador para 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: 1997
Materias:
Ciencias Informáticas
lógica rebatible
ARTIFICIAL INTELLIGENCE
compilador para la programación
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/24080
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-24080
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
lógica rebatible
ARTIFICIAL INTELLIGENCE
compilador para la programación
spellingShingle Ciencias Informáticas
lógica rebatible
ARTIFICIAL INTELLIGENCE
compilador para la programación
García, Alejandro Javier
Simari, Guillermo Ricardo
Un compilador para la programación en lógica rebatible
topic_facet Ciencias Informáticas
lógica rebatible
ARTIFICIAL INTELLIGENCE
compilador para la programación
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 entre metas contradictorias. El objetivo de este trabajo es presentar un compilador que se desarrolló para los programas lógicos rebatibles, Dicho compilador toma como entrada un PLR, y produce como salida un programa en instrucciones de una máquina abstracta para la programación rebatible llamada JAM. Para realizar este trabajo, se combinaron técnicas convencionales de compilación, como el análisis recursivo descendente, con técnicas especiales para la programación en lógica. De esta forma, cada cláusula de programa puede compilarse por separado e integrarse a un único código ejecutable. Esto permite que el programa este dividido en varios archivos, o agregar nuevas cláusulas al programa sin necesidad de recompilar el programa entero. El compilador además permite la generación de código para predicados predefinidos del lenguaje. El compilador construido puede utilizarse también para traducir programas en Prolog a códigoWAM (Warren’s Abstract Machine), y podría modificarse fácilmente para producir compiladores para otras extensiones de la programación en lógica.
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 Un compilador para la programación en lógica rebatible
title_short Un compilador para la programación en lógica rebatible
title_full Un compilador para la programación en lógica rebatible
title_fullStr Un compilador para la programación en lógica rebatible
title_full_unstemmed Un compilador para la programación en lógica rebatible
title_sort un compilador para la programación en lógica rebatible
publishDate 1997
url http://sedici.unlp.edu.ar/handle/10915/24080
work_keys_str_mv AT garciaalejandrojavier uncompiladorparalaprogramacionenlogicarebatible
AT simariguillermoricardo uncompiladorparalaprogramacionenlogicarebatible
bdutipo_str Repositorios
_version_ 1764820466582683648

Ejemplares similares