← Voltar à consulta

Método

O Doctor Angelicus é uma ferramenta de pesquisa neuro-simbólica sobre o pensamento de Santo Tomás de Aquino. Cada resposta percorre um pipeline de cinco etapas, desenhado para que a conclusão possa ser verificada — não apenas afirmada.

O pipeline em cinco etapas

Da pergunta à resposta citada, o raciocínio é explícito e auditável em cada passo:

  1. 1. Recuperação (retrieval) A pergunta é indexada semanticamente e confrontada com o corpus das obras de Aquino. Trechos candidatos são ranqueados por relevância sobre o índice vetorial e pré-filtrados por um índice de texto integral.
  2. 2. Rascunho (draft) Um modelo de linguagem compõe um rascunho dialético em quatro vozes (Objeção, Sed contra, Respondeo, Ad argumentum), citando os trechos recuperados.
  3. 3. Verificação formal (Z3) O rascunho é traduzido para um problema lógico e submetido ao verificador Z3 sobre o conjunto de axiomas da Constitutio Thomae. Hoje, esta etapa confirma a coerência e a consistência interna do arcabouço de axiomas em que a resposta se apoia; uma verificação formal pontual, dedutiva para a conclusão específica de cada resposta, está no roteiro do produto.
  4. 4. Portão das analogias As analogias e exemplos do rascunho são checados contra as mesmas fontes, de modo que o que ilustra a conclusão esteja de fato nas obras — e não inventado.
  5. 5. Resposta citada A resposta final traz cada citação com sua referência (obra, questão, artigo) e um link direto ao trecho, para que você possa conferir na fonte.

E quando o verificador falha? Quando a verificação não pode ser concluída — seja por limites do conjunto de axiomas, seja pela natureza da questão —, a resposta é entregue sem o selo “verificado” e rotulada como parcial. O selo é reservado para quando a etapa formal atesta a coerência do arcabouço que sustenta a resposta.

O que “verificado” significa

“Verificado” significa que a etapa lógica da resposta foi submetida ao verificador Z3 sobre o conjunto de axiomas da Constitutio Thomae, que retornou um resultado de satisfação (sat) atestando a coerência e a consistência interna desse arcabouço. Não é uma opinião da IA nem uma pontuação de confiança — é o resultado de um procedimento formal sobre as premissas tomistas que fundamentam a resposta. O selo, portanto, certifica a solidez do fundamento axiomático, não uma prova dedutiva fechada para cada frase da conclusão; essa verificação pontual, por resposta, está no roteiro do produto. Fora do escopo desses axiomas, a resposta não carrega o selo.

Em outras palavras: o “checkmark verde” é reservado para respostas apoiadas num arcabouço axiomático cuja coerência foi atestada pelo verificador — nunca atribuído por confiança aparente.

A estrutura dialética

Seguindo o método da Suma, cada resposta se desdobra em quatro vozes:

Objeção

Apresenta o melhor caso contra a tese a ser defendida. A posição contrária é argumentada com honestidade antes de ser respondida.

Sed contra

Oferece uma autoridade ou razão em sentido oposto à objeção, indicando a direção da resposta.

Respondeo

Expõe a posição do autor, articulando as distinções necessárias e a tese central, com citação das fontes.

Ad argumentum

Responde pontualmente à objeção inicial, mostrando onde ela acertou e onde deixou de considerar uma distinção.

Constitutio Thomae

O verificador opera sobre um conjunto explícito de axiomas lógicos e metafísicos extraídos do pensamento de Aquino — a Constitutio Thomae. É contra esse conjunto, e não contra a intuição de um modelo, que as provas são checadas:

O corpus

As citações são recuperadas das obras de Tomás de Aquino atualmente indexadas no serviço:

Honestidade

A IA pode errar. O filtro de segurança bloqueia pedidos de aconselhamento pastoral, mas isso não faz do serviço uma autoridade teológica. Verifique sempre nas fontes citadas antes de se basear em qualquer resposta.

Faça uma pergunta

A melhor forma de entender o método é vê-lo em ação. Faça uma pergunta e acompanhe cada etapa do raciocínio.

Ir para a consulta
Método — Doctor Angelicus