Use este identificador para citar ou linkar para este item:
https://repositorio.ufu.br/handle/123456789/20991
Tipo do documento: | Tese |
Tipo de acesso: | Acesso Aberto |
Título: | The implementation of a theorem prover in functional language and the use of the Rasch Model combined with Condorcet-List Theorem |
Título(s) alternativo(s): | A implementação de um provador de teoremas em linguagem funcional e o uso do Modelo Rasch combinado com o Teorema da Lista de Condorcet |
Autor(es): | Rocha, Junia Magalhães |
Primeiro orientador: | Lima, Luciano Vieira |
Primeiro membro da banca: | Sousa, Marcelo Rodrigues |
Segundo membro da banca: | Pereira, Antônio Eduardo Costa |
Terceiro membro da banca: | Siqueira Neto, José Lopes de |
Quarto membro da banca: | Cury Filho, Reny |
Resumo: | X |
Abstract: | This thesis proposes the implementation of a theorem prover using a functional programing language. The implementation was based on the Warren Abstract Machine (WAM). The objective behind implementing the WAM is to achieve robustness and while running remain constant in both time and space. The inference engine was implemented using Common Lisp, due to its mathematical roots. The Theorem prover syntax approaches that of the language Prolog. Besides the theorem prover, it was demonstrated that the Rasch Model and the Condorcet-List can be brought together and used for the processing of natural language. |
Palavras-chave: | Engenharia elética Inteligência artificial Processamento de linguagem natural (Computação) Prolog (Linguagem de programação de computador) Natural Language Processing Warren Abstract Machine Rasch Model Condorcet-List Theorem |
Área(s) do CNPq: | CNPQ::ENGENHARIAS::ENGENHARIA ELETRICA |
Idioma: | eng |
País: | Brasil |
Editora: | Universidade Federal de Uberlândia |
Programa: | Programa de Pós-graduação em Engenharia Elétrica |
Referência: | ROCHA, Júnia Magalhães. The implementation of a theorem prover in functional language and the use of the Rasch Model combined with Condorcet-List Theorem 2015.122 f. Tese (Doutorado em Ciências) - Universidade Federal de Uberlândia, Uberlândia, 2015. DOI https://doi.org/10.14393/ufu.te.2015.126 |
Identificador do documento: | https://doi.org/10.14393/ufu.te.2015.126 |
URI: | https://repositorio.ufu.br/handle/123456789/20991 |
Data de defesa: | 24-Set-2015 |
Aparece nas coleções: | TESE - Engenharia Elétrica |
Arquivos associados a este item:
Arquivo | Descrição | Tamanho | Formato | |
---|---|---|---|---|
ImplementationTheoremProver.pdf | Tese | 988.66 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.