Verificação de evidências
A RAIVA é a plataforma de IA baseada em evidências para o conhecimento empresarial. Liga pesquisa, métodos analíticos e modelos de linguagem para verificar afirmações com as respetivas fontes.
Arquitetura documentada. Não comprova aprovação para produção.
Arquitetura
A preparação documental cria a base. As pesquisas semântica, lexical e por grafos complementam-se em paralelo. Os perfis de função coordenam a pesquisa e podem iniciar novas pesquisas. Geração e verificação de evidências continuam a ser tarefas distintas.
Arquitetura documentada. Não comprova aprovação para produção.
Limites dos modelos
A geração de linguagem pode produzir afirmações plausíveis sem fundamento. Contexto ausente, resultados inadequados, versões contraditórias e conclusões erradas são fontes de erro distintas.
ChatGPT e Claude também podem utilizar ferramentas de pesquisa e fontes. Importam a configuração e o processo concretos. As citações, por si só, não confirmam uma afirmação nem a pesquisa completa. A amostragem afeta a saída, não a sua veracidade.
Cadeia de verificação
Escolha um caso e um componente. A mudança de caso mantém o componente escolhido. A apresentação mostra funções, não uma ordem técnica fixa de execução.
Exemplo ilustrativo · documentos fictícios
Documentos fictícios de Lindenhof. Verificação ilustrativa, sem consulta em direto.
Fundamentado no âmbito apresentado; os outros documentos não foram revistos exaustivamente.
Pesquisar novamente quando faltam evidências
v1 · Página 8 · § 12
O contrato de arrendamento é celebrado por prazo certo, com termo em 31 de dezembro de 2030.
O aditamento está assinado apenas pelo arrendatário. A sua eficácia não está esclarecida; o termo aplicável do arrendamento continua em aberto.
Pesquisar novamente quando faltam evidências
v1 · Página 8 · § 12
O contrato de arrendamento é celebrado por prazo certo, com termo em 31 de dezembro de 2030.
v2 · Página 2 · § 1
O prazo é prorrogado até 31 de dezembro de 2033. O arrendatário pode denunciar o contrato uma única vez, com efeitos a 31 de dezembro de 2031.
Utiliza as datas de termo do mapa de rendas. Se o 2.º aditamento for eficaz, a unidade A vigora até 2033, com denúncia antecipada em 2031, e o WALT tem de ser recalculado. Um cálculo aritmeticamente correto não confirma nem a integralidade nem a exatidão dos dados de entrada.
Pesquisar novamente quando faltam evidências
v1 · Data de referência 30 jun. 2026 · Linhas 1–2
Unidade A: 229.200 €/ano, termo a 31 dez. 2030. Unidade B: 110.400 €/ano, termo a 30 jun. 2029.
IA analítica
Determinístico significa que um cálculo ou regra definidos podem ser reproduzidos com as mesmas entradas. Não se aplica a todas as decisões do modelo nem a respostas completas.
(229.200 € × 4,5 anos + 110.400 € × 3,0 anos) / 339.600 € = 4,01 anos
Mapa de rendas · v1 · Data de referência 30 jun. 2026 · Linhas 1–2Mesmo um WALT corretamente calculado está errado para a decisão se o mapa de rendas não refletir o 2.º aditamento.
Aplicações
Colocar lado a lado datas de termo, rendas e direitos de denúncia antecipada divergentes e deixar em aberto a eficácia não esclarecida.
Associar cada arrendamento do mapa de rendas a um contrato e assinalar as lacunas com a respetiva fonte.
Mostrar rendas, datas de termo, data de referência e fórmula juntamente com o resultado.
A fonte apresentada sustenta a afirmação no âmbito indicado.
As fontes divergem; é necessário esclarecimento.
Não foi encontrada uma fonte suficiente.
Não afirmar que a verificação foi concluída com sucesso.
Citações individuais não substituem uma pesquisa exaustiva.
Perguntas frequentes
O processo explicita fontes, verificações e limites em aberto. Um chat também pode usar ferramentas; a configuração importa.
Ajuda a encontrar relações documentadas e fontes ligadas. Uma relação, por si só, não demonstra validade substantiva.
Prioriza resultados por relevância. Não decide se uma afirmação é verdadeira.
Influencia a escolha das continuações do texto durante a geração. Não é verificação de factos.
Não. Cálculos definidos podem ser reproduzíveis; isso não garante decisões do modelo ou respostas completas corretas.
A lacuna permanece visível. São necessárias pesquisas adicionais ou esclarecimento humano; afirmações sem suporte não são apresentadas como confirmadas.
Próximo passo
Falemos dos documentos, da pergunta e do âmbito necessário.
Princípios do produto, sem garantia operacional ou jurídica.
Arquitetura documentada. Não comprova aprovação para produção.
