Incerteza
Tentar utilizar lógica de primeira ordem para lidar com um
domínio de diagnóstico médico falha por três razões:
Preguiça: É muito trabalho listar o conjunto completo de sentenças
necessárias para garantir uma regra sem exceção.
Ignorância teórica: A medicina não tem nenhuma teoria completa para
todos os domínios.
Prático ignorância: Mesmo conhecendo todas as regras, poderiam
existir dúvidas sobre um determinado paciente.
Este tipo de problema afeta também outros domínios:
Negócios, Direito, Design, Reparação automóveis,
Jardinagem...