Usando el ambiente Maude para la demostración semi-automática de teoremas en lógica temporal lineal de primer orden
En este artículo, presentamos una implementación modular de un demostrador semi-automático de teoremas para la lógica temporal lineal de primer orden, realizada en el ambiente Maude. Maude es un ambiente de programación y especificación, basado en la lógica de reescritura, propuesta por J. Meseguer....
Guardado en:
Autores principales: | , |
---|---|
Formato: | Objeto de conferencia |
Lenguaje: | Español |
Publicado: |
2005
|
Materias: | |
Acceso en línea: | http://sedici.unlp.edu.ar/handle/10915/23074 |
Aporte de: |
id |
I19-R120-10915-23074 |
---|---|
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 Temporal logic Programming Environments |
spellingShingle |
Ciencias Informáticas Temporal logic Programming Environments Mac Donnell, Patricio Aguirre, Nazareno Matías Usando el ambiente Maude para la demostración semi-automática de teoremas en lógica temporal lineal de primer orden |
topic_facet |
Ciencias Informáticas Temporal logic Programming Environments |
description |
En este artículo, presentamos una implementación modular de un demostrador semi-automático de teoremas para la lógica temporal lineal de primer orden, realizada en el ambiente Maude. Maude es un ambiente de programación y especificación, basado en la lógica de reescritura, propuesta por J. Meseguer. Entre las aplicaciones de la lógica de reescritura, se destaca la aplicación de ´esta como ambiente para la implementación de otras lógicas.
Aprovechamos en este artículo esta singular característica de la lógica de reescritura, y la simplicidad, expresividad y eficiencia de Maude, para construir un demostrador de teoremas interactivo, para la lógica temporal lineal de primer orden, basado en un cálculo de secuentes para ésta |
format |
Objeto de conferencia Objeto de conferencia |
author |
Mac Donnell, Patricio Aguirre, Nazareno Matías |
author_facet |
Mac Donnell, Patricio Aguirre, Nazareno Matías |
author_sort |
Mac Donnell, Patricio |
title |
Usando el ambiente Maude para la demostración semi-automática de teoremas en lógica temporal lineal de primer orden |
title_short |
Usando el ambiente Maude para la demostración semi-automática de teoremas en lógica temporal lineal de primer orden |
title_full |
Usando el ambiente Maude para la demostración semi-automática de teoremas en lógica temporal lineal de primer orden |
title_fullStr |
Usando el ambiente Maude para la demostración semi-automática de teoremas en lógica temporal lineal de primer orden |
title_full_unstemmed |
Usando el ambiente Maude para la demostración semi-automática de teoremas en lógica temporal lineal de primer orden |
title_sort |
usando el ambiente maude para la demostración semi-automática de teoremas en lógica temporal lineal de primer orden |
publishDate |
2005 |
url |
http://sedici.unlp.edu.ar/handle/10915/23074 |
work_keys_str_mv |
AT macdonnellpatricio usandoelambientemaudeparalademostracionsemiautomaticadeteoremasenlogicatemporallinealdeprimerorden AT aguirrenazarenomatias usandoelambientemaudeparalademostracionsemiautomaticadeteoremasenlogicatemporallinealdeprimerorden |
bdutipo_str |
Repositorios |
_version_ |
1764820468089487363 |