Use este identificador para citar ou linkar para este item: http://hdl.handle.net/11422/1079
Tipo: Relatório
Título: Uma automação de lógica temporal
Autor(es)/Inventor(es): Souza, Luiz Fernando Pereira de
Veloso, Sheila Regina Murgel
Resumo: 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.
Resumo : 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.
Palavras-chave: Automação de lógica temporal linear
Linear temporal logic automation
Prolog
Assunto CNPq: CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO
Departamento: Instituto Tércio Pacitti de Aplicações e Pesquisas Computacionais
In: Relatório Técnico NCE
Número: 1192
Data de publicação: 23-Dez-1992
País de publicação: Brasil
Idioma da publicação: por
Tipo de acesso: Acesso Aberto
Citação: 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
Aparece nas coleções:Relatórios Técnicos e de Pesquisa

Arquivos associados a este item:
Arquivo Descrição TamanhoFormato 
11_92_000040823.pdf835,26 kBAdobe PDFVisualizar/Abrir


Os itens no repositório estão protegidos por copyright, com todos os direitos reservados, salvo quando é indicado o contrário.