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

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á desa...

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: 1995
Materias:
Ciencias Informáticas
PROGRAMMING LANGUAGES
Programación en lógica
máquina abstracta de Warren
Logic Programming
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/24269
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-24269
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
PROGRAMMING LANGUAGES
Programación en lógica
máquina abstracta de Warren
Logic Programming
spellingShingle Ciencias Informáticas
PROGRAMMING LANGUAGES
Programación en lógica
máquina abstracta de Warren
Logic Programming
García, Alejandro Javier
Simari, Guillermo Ricardo
Compilación de programas lógicos que utilizan la negación por falla : Una extensión de la máquina abstracta de Warren
topic_facet Ciencias Informáticas
PROGRAMMING LANGUAGES
Programación en lógica
máquina abstracta de Warren
Logic Programming
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.
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 Compilación de programas lógicos que utilizan la negación por falla : Una extensión de la máquina abstracta de Warren
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
publishDate 1995
url http://sedici.unlp.edu.ar/handle/10915/24269
work_keys_str_mv AT garciaalejandrojavier compilaciondeprogramaslogicosqueutilizanlanegacionporfallaunaextensiondelamaquinaabstractadewarren
AT simariguillermoricardo compilaciondeprogramaslogicosqueutilizanlanegacionporfallaunaextensiondelamaquinaabstractadewarren
bdutipo_str Repositorios
_version_ 1764820466885722112

Ejemplares similares