The implementation of a theorem prover in functional language and the use of the Rasch Model combined with Condorcet-List Theorem
| Autor: | Rocha, Junia Magalhães |
|---|---|
| Přispěvatelé: | Lima, Luciano Vieira, Sousa, Marcelo Rodrigues, Pereira, Antônio Eduardo Costa, Siqueira Neto, José Lopes de, Cury Filho, Reny |
| Jazyk: | angličtina |
| Rok vydání: | 2015 |
| Předmět: |
TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES
Processamento de linguagem natural (Computação) Prolog (Linguagem de programação de computador) Rasch Model ENGENHARIAS::ENGENHARIA ELETRICA [CNPQ] Inteligência artificial Condorcet-List Theorem Engenharia elética Natural Language Processing Warren Abstract Machine |
| Zdroj: | Repositório Institucional da UFU Universidade Federal de Uberlândia (UFU) instacron:UFU |
| Popis: | X 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. Tese (Doutorado) |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|