Pantheon Repositorio Institucional
Recopila, preserva y difundi la producción académica digital en todas las áreas del conocimiento.
Comprende los activos del repositorio, además de tesis y disertaciones en la UFRJ, artículos científicos, libros electrónicos, capítulos de libros y trabajos presentados en eventos para los profesores, investigadores, personal administrativo y estudiantes de maestría y doctorado.
Por favor, use este identificador para citar o enlazar este ítem:
http://hdl.handle.net/11422/1079| Especie: | Relatório |
| Título : | Uma automação de lógica temporal |
| Autor(es)/Inventor(es): | Souza, Luiz Fernando Pereira de Veloso, Sheila Regina Murgel |
| Resumen: | Analisamos a proposta de automação de lógica temporal linear discreta apresentada por Abadi e Manna, e sugeridos uma modificação a este método. Esta proposta pode ser vista como uma extensão da linguagem Prolog para aceitar os operadores próximo, sempre e eventualmente da lógica temporal. O método modificado foi implementado em Prolog e os principais aspectos desta implementação são discutidos. Por último., consideramos o problema de usar este método para lógica temporal ramificada. |
| Resumen: | The Abadi and Manna 's proposal for discrete linear temporallogic automation is analysed, and a modification of it is suggested. This proposal can be viewed as a Prolog language extension to accept the temporal logic operators next, ever and finally. The modified method has been implemented in Prolog, and its main issues are discussed. The problem of using this method for branched temporallogic is also considered. |
| Materia: | Automação de lógica temporal linear Linear temporal logic automation Prolog |
| Materia CNPq: | CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO |
| Unidade de producción: | Instituto Tércio Pacitti de Aplicações e Pesquisas Computacionais |
| Es parte de: | Relatório Técnico NCE |
| Número: | 1192 |
| Fecha de publicación: | 23-dic-1992 |
| País de edición : | Brasil |
| Idioma de publicación: | por |
| Tipo de acceso : | Acesso Aberto |
| Citación : | SOUZA, L. F. P. de; VELOSO, S. R. M. Uma automação de lógica temporal. Rio de Janeiro: NCE, UFRJ, 1992. 14 p. (Relatório Técnico, 11/92) |
| Aparece en las colecciones: | Relatórios |
Ficheros en este ítem:
| Fichero | Descripción | Tamaño | Formato | |
|---|---|---|---|---|
| 11_92_000040823.pdf | 835.26 kB | Adobe PDF | Visualizar/Abrir |
Los ítems de DSpace están protegidos por copyright, con todos los derechos reservados, a menos que se indique lo contrario.