Publicação:
The implementation of a theorem prover in functional language and the use of the Rasch Model combined with Condorcet-List Theorem

Página do item simplificado
dc.contributor.advisor1Lima, Luciano Vieira
dc.contributor.advisor1Latteshttp://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4321085D1pt_BR
dc.contributor.referee1Sousa, Marcelo Rodrigues
dc.contributor.referee1Latteshttp://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4709990H9pt_BR
dc.contributor.referee2Pereira, Antônio Eduardo Costa
dc.contributor.referee2Latteshttp://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4703666E8pt_BR
dc.contributor.referee3Siqueira Neto, José Lopes de
dc.contributor.referee3Latteshttp://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4781172D2pt_BR
dc.contributor.referee4Cury Filho, Reny
dc.contributor.referee4Latteshttp://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4753773U9pt_BR
dc.creatorRocha, Junia Magalhães
dc.creator.Latteshttp://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4180775H1pt_BR
dc.crossref.doibatchid1fe6c7ac-7b7f-4d57-9c51-528fd539ee77
dc.date.accessioned2018-03-27T14:47:28Z
dc.date.available2018-03-27T14:47:28Z
dc.date.issued2015-09-24
dc.description.abstractThis 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.description.degreenameTese (Doutorado)pt_BR
dc.description.resumoXpt_BR
dc.identifier.citationROCHA, 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.126pt_BR
dc.identifier.doihttps://doi.org/10.14393/ufu.te.2015.126por
dc.identifier.urihttps://repositorio.ufu.br/handle/123456789/20991
dc.languageengpt_BR
dc.orcid.putcode81755149
dc.publisherUniversidade Federal de Uberlândiapt_BR
dc.publisher.countryBrasilpt_BR
dc.publisher.programPrograma de Pós-graduação em Engenharia Elétricapt_BR
dc.rightsAcesso Abertopt_BR
dc.sizeorduration122pt_BR
dc.subjectEngenharia eléticapt_BR
dc.subjectInteligência artificialpt_BR
dc.subjectProcessamento de linguagem natural (Computação)pt_BR
dc.subjectProlog (Linguagem de programação de computador)pt_BR
dc.subjectNatural Language Processingpt_BR
dc.subjectWarren Abstract Machinept_BR
dc.subjectRasch Modelpt_BR
dc.subjectCondorcet-List Theorempt_BR
dc.subject.cnpqCNPQ::ENGENHARIAS::ENGENHARIA ELETRICApt_BR
dc.titleThe implementation of a theorem prover in functional language and the use of the Rasch Model combined with Condorcet-List Theorempt_BR
dc.title.alternativeA implementação de um provador de teoremas em linguagem funcional e o uso do Modelo Rasch combinado com o Teorema da Lista de Condorcetpt_BR
dc.typeTesept_BR
dspace.entity.typePublication

Arquivos

Pacote original

Agora exibindo 1 - 1 de 1
Imagem de Miniatura
Nome:
ImplementationTheoremProver.pdf
Tamanho:
988.66 KB
Formato:
Adobe Portable Document Format
Descrição:
Tese
Baixar

Licença do pacote

Agora exibindo 1 - 1 de 1
Imagem de Miniatura
Nome:
license.txt
Tamanho:
1.75 KB
Formato:
Item-specific license agreed upon to submission
Descrição:
Baixar

Coleções

TESE - Engenharia Elétrica