Parte II · Galeria — IA Simbólica

draft

"Good Old-Fashioned AI": inteligência como manipulação de símbolos e regras explícitas. Dominou de ~1956 aos anos 1980. Hoje vive em nichos e ressurge nos híbridos neuro-simbólicos (galeria 06).

🧩 Sistema Especialista Simbólica · Conhecimento/diagnóstico · Base de regras + motor de inferência

  • O que é: captura o conhecimento de um especialista humano em regras

    SE-ENTÃO e infere conclusões.

  • Exemplos: MYCIN (diagnóstico médico, 1972), DENDRAL, XCON.
  • Base algorítmica: encadeamento forward/backward, lógica de produção.
  • Auge: anos 1970–80 (o "boom" comercial da IA).
  • Capacidades / modos: intelectual/diagnóstico; explica o raciocínio.
  • → Parte IV: capítulo planejado.

🗺️ Planejamento e Busca Simbólica · Planejamento/decisão · Busca em espaço de estados

  • O que é: encontra uma sequência de ações que leva de um estado inicial a

    um objetivo.

  • Exemplos: STRIPS, planejadores PDDL, A* em jogos e rotas.
  • Base algorítmica: busca heurística (A*, IDA*), satisfação de restrições.
  • Auge: anos 1970–presente (robótica, logística, jogos).
  • Capacidades / modos: intelectual/estratégico.
  • → Parte IV: capítulo planejado.

🕸️ Grafo de Conhecimento + Razoador Simbólica · Conhecimento estruturado · Grafo + lógica descritiva (OWL/RDF)

  • O que é: representa fatos como entidades e relações, e infere fatos novos

    por lógica.

  • Exemplos: Cyc, Google Knowledge Graph, Wikidata + razoadores.
  • Base algorítmica: lógicas de descrição, regras SPARQL/Datalog.
  • Auge: anos 1980 (Cyc) e revival web-semântica 2010s.
  • Capacidades / modos: intelectual; conhecimento verificável e auditável.
  • → Parte IV: capítulo planejado.

📐 Programação Lógica / Solvers Simbólica · Raciocínio formal · Resolução / SAT-SMT

  • O que é: resolve problemas declarados como fórmulas lógicas ou restrições.
  • Exemplos: Prolog, solvers SAT/SMT (Z3), Answer Set Programming.
  • Base algorítmica: unificação, backtracking, DPLL/CDCL.
  • Auge: anos 1980 (Prolog, projeto Quinta Geração) e uso contínuo em

    verificação formal.

  • Capacidades / modos: intelectual/dedutivo; correção garantida.
  • → Parte IV: capítulo planejado.

Ciências e matemática salientes nesta família: lógica matemática, teoria da prova, combinatória/complexidade, filosofia (epistemologia). Contrasta com o paradigma conexionista por ser interpretável e exato, mas frágil fora do domínio modelado (brittleness).