1 · Episódio regulatório sintético
A V1.0 usa regras deliberadamente simples e visíveis. O objetivo é tornar o contrato computacional discutível — não sugerir que estes pesos sejam clinicamente validados.
2 · Necessidade × capacidade × tempo
calculando3 · Raciocínio auditável
4 · Contrato de pesquisa
Abstention é obrigatória. Se faltar uma variável considerada essencial, o sistema deve declarar insuficiência em vez de fabricar precisão.
O que permanece determinístico?
Restrições duras: serviço não executa a intervenção requerida; recurso indisponível; incompatibilidade operacional.
O que pode exigir incerteza?
Probabilidade de deterioração, tempo de transporte, disponibilidade prospectiva e efeito da latência.
O que o C4AI pode formalizar?
Ontologia, regras, redes Bayesianas/credais, programação lógica probabilística, arquitetura neuro-simbólica e testes formais.