Por favor, use este identificador para citar o enlazar este ítem:
https://repositorio.ufu.br/handle/123456789/20991| Tipo de documento: | Tese |
| Tipo de acceso: | 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: | Rocha, Junia Magalhães |
| Primer orientador: | Lima, Luciano Vieira |
| Primer miembro de la banca: | Sousa, Marcelo Rodrigues |
| Segundo miembro de la banca: | Pereira, Antônio Eduardo Costa |
| Tercer miembro de la banca: | Siqueira Neto, José Lopes de |
| Cuarto miembro de la banca: | Cury Filho, Reny |
| Resumen: | 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. |
| Palabras clave: | 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) del 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 |
| Cita: | 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 del documento: | https://doi.org/10.14393/ufu.te.2015.126 |
| URI: | https://repositorio.ufu.br/handle/123456789/20991 |
| Fecha de defensa: | 24-sep-2015 |
| Aparece en las colecciones: | TESE - Engenharia Elétrica |
Ficheros en este ítem:
| Fichero | Descripción | Tamaño | Formato | |
|---|---|---|---|---|
| ImplementationTheoremProver.pdf | Tese | 988.66 kB | Adobe PDF |  Visualizar/Abrir |
Los ítems de DSpace están protegidos por copyright, con todos los derechos reservados, a menos que se indique lo contrario.