Raciocínio Lógico em Grandes Modelos Generativos de Linguagem

Resumo: A presente tese investiga o desenvolvimento de uma estrutura teórica universal para o
"cálculo de raciocínio", e envolve a integração aos grandes modelos de linguagem generativos
(Generative LLMs) tanto o raciocínio lógico quanto o alinhamento a valores humanos.
A pesquisa inicia com a referência histórica ao "Fundamenta Calculi Ratiocinatoris"de
Leibniz, que se trata de um cálculo lógico integrado a uma linguagem universal ("Lingua
Characteristica"), e posiciona os modelos de linguagem como uma manifestação contem-
porânea desse conceito. O trabalho compreende uma revisão abrangente da literatura,
examinando as habilidades de raciocínio lógico dos grandes modelos de linguagem (LLMs),
e avalia seus pontos fortes e fracos, escalabilidade e qualidade dos textos gerados.

Data de início: 01/09/2023
Prazo (meses): 36

Participantes:

Papel	Nome
Coordenador	FLÁVIO MIGUEL VAREJÃO