Parte IV · Cap. 32 — Neuro-simbólico

Híbrida · Raciocínio · Rede neural + lógica/solver. Acopla a intuição perceptual das redes ao rigor verificável dos símbolos. Card: ../02-tipos-de-ia/06-hibrida-neuro-simbolica.kmd.

🎨 Figura F-IV.32.0 — Intuição + prova. Brief: lado esquerdo "neural" (nuvem difusa propondo ideias), lado direito "simbólico" (engrenagens lógicas verificando); ponte no meio fechando o ciclo.

1. Definição e história curta

Une os paradigmas conexionista (cap. 02-14) e simbólico (cap. 15-18): a rede gera candidatospercepção, o solver verificaraciocina. Avanços recentes: AlphaGeometry e AlphaProof (2024) em matemática olímpica.

2. Fundamentos

• Lógica matemática / teoria da prova — verificação formal.
• Combinatória / complexidade — busca em espaços simbólicos.
• Otimização / aprendizado — lado neural (intuição, priors).
• Filosofia / epistemologia — conhecimento verificável vs. estatístico.

3. Algoritmos e arquiteturas

• Neural propõe — rede sugere passos, lemas, ou interpreta percepção.
• Simbólico verifica/resolve — solver SAT/SMT, prova, constraint.
• Acoplamento — neural-guided search (rede guia a busca simbólica).
• Variantes — DeepProbLog (lógica probabilística), razoadores sobre KG.

4. Insumos

• Hardware: GPU (rede) + CPU (solver/busca).
• Dados: problemas formais + soluções; self-play simbólico para gerar dados.
• Estruturas de dados: árvores de prova, grafos lógicos, embeddings.
• Sistemas: integração rede↔solver; verificadores formais.

5. Ciclo de vida especializado