Uma automação de lógica temporal

Veloso, Sheila Regina Murgel; Souza, Luiz Fernando Pereira de

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
Production unit:	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)
Appears in Collections:	Relatórios

Files in This Item:

File	Description	Size	Format
11_92_000040823.pdf		835.26 kB	Adobe PDF	View/Open

Show full item record Recommend this item View Statistics

Pantheon Institutional repository