Pressman e Maxim (2021) afirmam que em Engenharia de Software existem sete grandes categorias as quais apresentam desafios contínuos para os engenheiros de software, dentre elas, destacamos a categoria que faz uso da heurística para solucionar problemas complexos que não são passiveis de computação ou de análise direta, aplicações nesta área incluem: robótica, sistemas de tomadas de decisão, reconhecimento de padrões, provas de teoremas e jogos.

Assim, assinale a alternativa que corresponde corretamente ao nome da categoria de software destacada acima.