Please use this identifier to cite or link to this item: http://hdl.handle.net/11422/1079
Type: Relatório
Title: Uma automação de lógica temporal
Author(s)/Inventor(s): Souza, Luiz Fernando Pereira de
Veloso, Sheila Regina Murgel
Abstract: 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.
Abstract: 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.
Keywords: Automação de lógica temporal linear
Linear temporal logic automation
Prolog
Subject CNPq: CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO
Department : Instituto Tércio Pacitti de Aplicações e Pesquisas Computacionais
In: Relatório Técnico NCE
Issue: 1192
Issue Date: 23-Dec-1992
Publisher country: Brasil
Language: por
Right access: Acesso Aberto
Citation: 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)
URI: http://hdl.handle.net/11422/1079
Appears in Collections:Relatórios Técnicos e de Pesquisa

Files in This Item:
File Description SizeFormat 
11_92_000040823.pdf835,26 kBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.