Compilación de programas lógicos que utilizan la negación por falla : Una extensión de la máquina abstracta de Warren

Autores
García, Alejandro Javier; Simari, Guillermo Ricardo
Año de publicación
1995
Idioma
español castellano
Tipo de recurso
documento de conferencia
Estado
versión publicada
Descripción
Con el objetivo de disponer de un lenguaje que capture los aspectos del razonamiento rebatible, se ha desarrollado un lenguaje de programación en lógica rebatible como una extensión de la programación en lógica convencional, el cuál fue presentado en los trabajos [12] y [1]. Actualmente se está desarrollando una máquina abstracta para los programas lógicos rebatibles, y luego se construirá un interprete en base a esta máquina a.bstracta, utilizando la semántica definida en (12]. De esta forma, se podrá obtener un sistema de características mas adecuadas para la programación de sistemas basados en conocimiento. Este trabajo constituye el primer paso en ese sentido extender la máquina abstracta de Warren para permitir utilizar la negación por falla. La máquina abstracta de Warren, o Warren Abstract Machine (WAM) ha sido aceptada como un estándar para la implementación de Prolog, y por este motivo se la ha utilizad.o como punto de partida de este desarrollo. Como los programas lógicos rebatibles utilizan la negación por falla, el objetivo principal de este trabajo es extender la máquina abstracta de Warren para incluir un conjunto de instrucciones que permita utilizar la negación por falla como un operador predefinido en el lenguaje. Además, se presenta el desarrollo de un compilador que traduce un programa lógico a instrucciones WAM, un soporte de ejecución para administrar la memoria de la arquitectura abstracta, y por último un intérprete que ejecuta el conjunto de instrucciones WAM.
Eje: Lenguaje de programación
Red de Universidades con Carreras en Informática (RedUNCI)
Materia
Ciencias Informáticas
PROGRAMMING LANGUAGES
Programación en lógica
máquina abstracta de Warren
Logic Programming
Nivel de accesibilidad
acceso abierto
Condiciones de uso
http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
Repositorio
SEDICI (UNLP)
Institución
Universidad Nacional de La Plata
OAI Identificador
oai:sedici.unlp.edu.ar:10915/24269
Acceder
id SEDICI_a686608ab1aecf9221ab0c34fa8f2a20
oai_identifier_str oai:sedici.unlp.edu.ar:10915/24269
network_acronym_str SEDICI
repository_id_str 1329
network_name_str SEDICI (UNLP)
spelling Compilación de programas lógicos que utilizan la negación por falla : Una extensión de la máquina abstracta de WarrenGarcía, Alejandro JavierSimari, Guillermo RicardoCiencias InformáticasPROGRAMMING LANGUAGESProgramación en lógicamáquina abstracta de WarrenLogic ProgrammingCon el objetivo de disponer de un lenguaje que capture los aspectos del razonamiento rebatible, se ha desarrollado un lenguaje de programación en lógica rebatible como una extensión de la programación en lógica convencional, el cuál fue presentado en los trabajos [12] y [1]. Actualmente se está desarrollando una máquina abstracta para los programas lógicos rebatibles, y luego se construirá un interprete en base a esta máquina a.bstracta, utilizando la semántica definida en (12]. De esta forma, se podrá obtener un sistema de características mas adecuadas para la programación de sistemas basados en conocimiento. Este trabajo constituye el primer paso en ese sentido extender la máquina abstracta de Warren para permitir utilizar la negación por falla. La máquina abstracta de Warren, o Warren Abstract Machine (WAM) ha sido aceptada como un estándar para la implementación de Prolog, y por este motivo se la ha utilizad.o como punto de partida de este desarrollo. Como los programas lógicos rebatibles utilizan la negación por falla, el objetivo principal de este trabajo es extender la máquina abstracta de Warren para incluir un conjunto de instrucciones que permita utilizar la negación por falla como un operador predefinido en el lenguaje. Además, se presenta el desarrollo de un compilador que traduce un programa lógico a instrucciones WAM, un soporte de ejecución para administrar la memoria de la arquitectura abstracta, y por último un intérprete que ejecuta el conjunto de instrucciones WAM.Eje: Lenguaje de programaciónRed de Universidades con Carreras en Informática (RedUNCI)1995-10info:eu-repo/semantics/conferenceObjectinfo:eu-repo/semantics/publishedVersionObjeto de conferenciahttp://purl.org/coar/resource_type/c_5794info:ar-repo/semantics/documentoDeConferenciaapplication/pdf27-38http://sedici.unlp.edu.ar/handle/10915/24269spainfo: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:34Zoai:sedici.unlp.edu.ar:10915/24269Institucionalhttp://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:34.874SEDICI (UNLP) - Universidad Nacional de La Platafalse
dc.title.none.fl_str_mv Compilación de programas lógicos que utilizan la negación por falla : Una extensión de la máquina abstracta de Warren
title Compilación de programas lógicos que utilizan la negación por falla : Una extensión de la máquina abstracta de Warren
spellingShingle Compilación de programas lógicos que utilizan la negación por falla : Una extensión de la máquina abstracta de Warren
García, Alejandro Javier
Ciencias Informáticas
PROGRAMMING LANGUAGES
Programación en lógica
máquina abstracta de Warren
Logic Programming
title_short Compilación de programas lógicos que utilizan la negación por falla : Una extensión de la máquina abstracta de Warren
title_full Compilación de programas lógicos que utilizan la negación por falla : Una extensión de la máquina abstracta de Warren
title_fullStr Compilación de programas lógicos que utilizan la negación por falla : Una extensión de la máquina abstracta de Warren
title_full_unstemmed Compilación de programas lógicos que utilizan la negación por falla : Una extensión de la máquina abstracta de Warren
title_sort Compilación de programas lógicos que utilizan la negación por falla : Una extensión de la máquina abstracta de Warren
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
PROGRAMMING LANGUAGES
Programación en lógica
máquina abstracta de Warren
Logic Programming
topic Ciencias Informáticas
PROGRAMMING LANGUAGES
Programación en lógica
máquina abstracta de Warren
Logic Programming
dc.description.none.fl_txt_mv Con el objetivo de disponer de un lenguaje que capture los aspectos del razonamiento rebatible, se ha desarrollado un lenguaje de programación en lógica rebatible como una extensión de la programación en lógica convencional, el cuál fue presentado en los trabajos [12] y [1]. Actualmente se está desarrollando una máquina abstracta para los programas lógicos rebatibles, y luego se construirá un interprete en base a esta máquina a.bstracta, utilizando la semántica definida en (12]. De esta forma, se podrá obtener un sistema de características mas adecuadas para la programación de sistemas basados en conocimiento. Este trabajo constituye el primer paso en ese sentido extender la máquina abstracta de Warren para permitir utilizar la negación por falla. La máquina abstracta de Warren, o Warren Abstract Machine (WAM) ha sido aceptada como un estándar para la implementación de Prolog, y por este motivo se la ha utilizad.o como punto de partida de este desarrollo. Como los programas lógicos rebatibles utilizan la negación por falla, el objetivo principal de este trabajo es extender la máquina abstracta de Warren para incluir un conjunto de instrucciones que permita utilizar la negación por falla como un operador predefinido en el lenguaje. Además, se presenta el desarrollo de un compilador que traduce un programa lógico a instrucciones WAM, un soporte de ejecución para administrar la memoria de la arquitectura abstracta, y por último un intérprete que ejecuta el conjunto de instrucciones WAM.
Eje: Lenguaje de programación
Red de Universidades con Carreras en Informática (RedUNCI)
description Con el objetivo de disponer de un lenguaje que capture los aspectos del razonamiento rebatible, se ha desarrollado un lenguaje de programación en lógica rebatible como una extensión de la programación en lógica convencional, el cuál fue presentado en los trabajos [12] y [1]. Actualmente se está desarrollando una máquina abstracta para los programas lógicos rebatibles, y luego se construirá un interprete en base a esta máquina a.bstracta, utilizando la semántica definida en (12]. De esta forma, se podrá obtener un sistema de características mas adecuadas para la programación de sistemas basados en conocimiento. Este trabajo constituye el primer paso en ese sentido extender la máquina abstracta de Warren para permitir utilizar la negación por falla. La máquina abstracta de Warren, o Warren Abstract Machine (WAM) ha sido aceptada como un estándar para la implementación de Prolog, y por este motivo se la ha utilizad.o como punto de partida de este desarrollo. Como los programas lógicos rebatibles utilizan la negación por falla, el objetivo principal de este trabajo es extender la máquina abstracta de Warren para incluir un conjunto de instrucciones que permita utilizar la negación por falla como un operador predefinido en el lenguaje. Además, se presenta el desarrollo de un compilador que traduce un programa lógico a instrucciones WAM, un soporte de ejecución para administrar la memoria de la arquitectura abstracta, y por último un intérprete que ejecuta el conjunto de instrucciones WAM.
publishDate 1995
dc.date.none.fl_str_mv 1995-10
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/24269
url http://sedici.unlp.edu.ar/handle/10915/24269
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
27-38
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_ 1842260125076684800
score 13.13397

Publicaciones similares