Please use this identifier to cite or link to this item:
https://repositorio.ufu.br/handle/123456789/20991| Document type: | Tese |
| Access type: | Acesso Aberto |
| Title: | The implementation of a theorem prover in functional language and the use of the Rasch Model combined with Condorcet-List Theorem |
| Alternate title (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 |
| Author: | Rocha, Junia Magalhães |
| First Advisor: | Lima, Luciano Vieira |
| First member of the Committee: | Sousa, Marcelo Rodrigues |
| Second member of the Committee: | Pereira, Antônio Eduardo Costa |
| Third member of the Committee: | Siqueira Neto, José Lopes de |
| Fourth member of the Committee: | Cury Filho, Reny |
| Summary: | 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. |
| Keywords: | 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 |
| Area (s) of CNPq: | CNPQ::ENGENHARIAS::ENGENHARIA ELETRICA |
| Language: | eng |
| Country: | Brasil |
| Publisher: | Universidade Federal de Uberlândia |
| Program: | Programa de Pós-graduação em Engenharia Elétrica |
| Quote: | 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 |
| Document identifier: | https://doi.org/10.14393/ufu.te.2015.126 |
| URI: | https://repositorio.ufu.br/handle/123456789/20991 |
| Date of defense: | 24-Sep-2015 |
| Appears in Collections: | TESE - Engenharia Elétrica |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| ImplementationTheoremProver.pdf | Tese | 988.66 kB | Adobe PDF |  View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.