Pantheon Repositório Institucional da UFRJ
Coleta, preserva e divulga a produção acadêmica digital em todas as áreas do conhecimento.
São os ativos do repositório, além de teses e dissertações da UFRJ, artigos científicos, livros eletrônicos, capítulos de livros e trabalhos apresentados em eventos por professores, pesquisadores, funcionários administrativos e alunos de mestrado e doutorado.
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 |
| Unidade produtora: | 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) |
| Aparece nas coleções: | Relatórios |
Arquivos associados a este item:
| Arquivo | Descrição | Tamanho | Formato | |
|---|---|---|---|---|
| 11_92_000040823.pdf | 835.26 kB | Adobe PDF | Visualizar/Abrir |
Os itens no repositório estão protegidos por copyright, com todos os direitos reservados, salvo quando é indicado o contrário.