Un compilador para la programación en lógica rebatible
- Autores
- García, Alejandro Javier; Simari, Guillermo Ricardo
- Año de publicación
- 1997
- Idioma
- español castellano
- Tipo de recurso
- documento de conferencia
- Estado
- versión publicada
- Descripción
- 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.
Eje: Workshop sobre Aspectos Teoricos de la Inteligencia Artificial
Red de Universidades con Carreras en Informática (RedUNCI) - Materia
-
Ciencias Informáticas
lógica rebatible
ARTIFICIAL INTELLIGENCE
compilador para la programación - Nivel de accesibilidad
- acceso abierto
- Condiciones de uso
- http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
- Repositorio
- Institución
- Universidad Nacional de La Plata
- OAI Identificador
- oai:sedici.unlp.edu.ar:10915/24080
Ver los metadatos del registro completo
id |
SEDICI_0acbbfe29258af4c0068f707534b0832 |
---|---|
oai_identifier_str |
oai:sedici.unlp.edu.ar:10915/24080 |
network_acronym_str |
SEDICI |
repository_id_str |
1329 |
network_name_str |
SEDICI (UNLP) |
spelling |
Un compilador para la programación en lógica rebatibleGarcía, Alejandro JavierSimari, Guillermo RicardoCiencias Informáticaslógica rebatibleARTIFICIAL INTELLIGENCEcompilador para la programaciónLa 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.Eje: Workshop sobre Aspectos Teoricos de la Inteligencia ArtificialRed de Universidades con Carreras en Informática (RedUNCI)1997info:eu-repo/semantics/conferenceObjectinfo:eu-repo/semantics/publishedVersionObjeto de conferenciahttp://purl.org/coar/resource_type/c_5794info:ar-repo/semantics/documentoDeConferenciaapplication/pdfhttp://sedici.unlp.edu.ar/handle/10915/24080spainfo:eu-repo/semantics/openAccesshttp://creativecommons.org/licenses/by-nc-sa/2.5/ar/Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)reponame:SEDICI (UNLP)instname:Universidad Nacional de La Platainstacron:UNLP2025-09-03T10:28:29Zoai:sedici.unlp.edu.ar:10915/24080Institucionalhttp://sedici.unlp.edu.ar/Universidad públicaNo correspondehttp://sedici.unlp.edu.ar/oai/snrdalira@sedici.unlp.edu.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:13292025-09-03 10:28:30.158SEDICI (UNLP) - Universidad Nacional de La Platafalse |
dc.title.none.fl_str_mv |
Un compilador para la programación en lógica rebatible |
title |
Un compilador para la programación en lógica rebatible |
spellingShingle |
Un compilador para la programación en lógica rebatible García, Alejandro Javier Ciencias Informáticas lógica rebatible ARTIFICIAL INTELLIGENCE compilador para la programación |
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 |
dc.creator.none.fl_str_mv |
García, Alejandro Javier Simari, Guillermo Ricardo |
author |
García, Alejandro Javier |
author_facet |
García, Alejandro Javier Simari, Guillermo Ricardo |
author_role |
author |
author2 |
Simari, Guillermo Ricardo |
author2_role |
author |
dc.subject.none.fl_str_mv |
Ciencias Informáticas lógica rebatible ARTIFICIAL INTELLIGENCE compilador para la programación |
topic |
Ciencias Informáticas lógica rebatible ARTIFICIAL INTELLIGENCE compilador para la programación |
dc.description.none.fl_txt_mv |
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. Eje: Workshop sobre Aspectos Teoricos de la Inteligencia Artificial Red de Universidades con Carreras en Informática (RedUNCI) |
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. |
publishDate |
1997 |
dc.date.none.fl_str_mv |
1997 |
dc.type.none.fl_str_mv |
info:eu-repo/semantics/conferenceObject info:eu-repo/semantics/publishedVersion Objeto de conferencia http://purl.org/coar/resource_type/c_5794 info:ar-repo/semantics/documentoDeConferencia |
format |
conferenceObject |
status_str |
publishedVersion |
dc.identifier.none.fl_str_mv |
http://sedici.unlp.edu.ar/handle/10915/24080 |
url |
http://sedici.unlp.edu.ar/handle/10915/24080 |
dc.language.none.fl_str_mv |
spa |
language |
spa |
dc.rights.none.fl_str_mv |
info:eu-repo/semantics/openAccess http://creativecommons.org/licenses/by-nc-sa/2.5/ar/ Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5) |
eu_rights_str_mv |
openAccess |
rights_invalid_str_mv |
http://creativecommons.org/licenses/by-nc-sa/2.5/ar/ Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5) |
dc.format.none.fl_str_mv |
application/pdf |
dc.source.none.fl_str_mv |
reponame:SEDICI (UNLP) instname:Universidad Nacional de La Plata instacron:UNLP |
reponame_str |
SEDICI (UNLP) |
collection |
SEDICI (UNLP) |
instname_str |
Universidad Nacional de La Plata |
instacron_str |
UNLP |
institution |
UNLP |
repository.name.fl_str_mv |
SEDICI (UNLP) - Universidad Nacional de La Plata |
repository.mail.fl_str_mv |
alira@sedici.unlp.edu.ar |
_version_ |
1842260124208463872 |
score |
13.13397 |