Please use this identifier to cite or link to this item:
https://repositorio.ufu.br/handle/123456789/20991
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.creator | Rocha, Junia Magalhães | - |
dc.date.accessioned | 2018-03-27T14:47:28Z | - |
dc.date.available | 2018-03-27T14:47:28Z | - |
dc.date.issued | 2015-09-24 | - |
dc.identifier.citation | 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 | pt_BR |
dc.identifier.uri | https://repositorio.ufu.br/handle/123456789/20991 | - |
dc.description.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. | pt_BR |
dc.language | eng | pt_BR |
dc.publisher | Universidade Federal de Uberlândia | pt_BR |
dc.rights | Acesso Aberto | pt_BR |
dc.subject | Engenharia elética | pt_BR |
dc.subject | Inteligência artificial | pt_BR |
dc.subject | Processamento de linguagem natural (Computação) | pt_BR |
dc.subject | Prolog (Linguagem de programação de computador) | pt_BR |
dc.subject | Natural Language Processing | pt_BR |
dc.subject | Warren Abstract Machine | pt_BR |
dc.subject | Rasch Model | pt_BR |
dc.subject | Condorcet-List Theorem | pt_BR |
dc.title | The implementation of a theorem prover in functional language and the use of the Rasch Model combined with Condorcet-List Theorem | pt_BR |
dc.title.alternative | 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 | pt_BR |
dc.type | Tese | pt_BR |
dc.contributor.advisor1 | Lima, Luciano Vieira | - |
dc.contributor.advisor1Lattes | http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4321085D1 | pt_BR |
dc.contributor.referee1 | Sousa, Marcelo Rodrigues | - |
dc.contributor.referee1Lattes | http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4709990H9 | pt_BR |
dc.contributor.referee2 | Pereira, Antônio Eduardo Costa | - |
dc.contributor.referee2Lattes | http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4703666E8 | pt_BR |
dc.contributor.referee3 | Siqueira Neto, José Lopes de | - |
dc.contributor.referee3Lattes | http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4781172D2 | pt_BR |
dc.contributor.referee4 | Cury Filho, Reny | - |
dc.contributor.referee4Lattes | http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4753773U9 | pt_BR |
dc.creator.Lattes | http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4180775H1 | pt_BR |
dc.description.degreename | Tese (Doutorado) | pt_BR |
dc.description.resumo | X | pt_BR |
dc.publisher.country | Brasil | pt_BR |
dc.publisher.program | Programa de Pós-graduação em Engenharia Elétrica | pt_BR |
dc.sizeorduration | 122 | pt_BR |
dc.subject.cnpq | CNPQ::ENGENHARIAS::ENGENHARIA ELETRICA | pt_BR |
dc.identifier.doi | https://doi.org/10.14393/ufu.te.2015.126 | por |
dc.orcid.putcode | 81755149 | - |
dc.crossref.doibatchid | 1fe6c7ac-7b7f-4d57-9c51-528fd539ee77 | - |
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.