Publicação: The implementation of a theorem prover in functional language and the use of the Rasch Model combined with Condorcet-List Theorem
Carregando...
Tipo do documento
Data
Direito de acesso
Coleções
Área do conhecimento
CNPQ::ENGENHARIAS::ENGENHARIA ELETRICA
Título da Revista
ISSN da Revista
Título de Volume
Autores
Orientador
Coorientador
Resumo
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.
Palavras-chave
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
Citação
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