Paradigmas de programação: Lógico Funcional O formalismo de representação do conhecimento possibilita a utilização de linguagens formais, lógicas ou matemáticas para expressar conhecimento e informações de forma estruturada e precisa determinar um formalismo na representação desse conhecimento. O que NÃO podemos afirmar em relação a formalismos de representação na ciência da computação e em Inteligência Artificial (IA)? O uso de formalismos na representação do conhecimento permite que informações complexas sejam organizadas em formatos compreensíveis e manipuláveis por computadores. Com o uso de formalismos de representação do conhecimento, torna-se possível realizar também inferências e raciocínios lógicos sobre o conhecimento representado. Essa abordagem é amplamente aplicada em ciência da computação, inteligência artificial e áreas relacionadas, visto que é necessário representar conhecimento de maneira que esse conhecimento possa ser processado por sistemas computacionais de forma correta e eficiente. O uso de formalismos na representação do conhecimento pode burocratizar a organização de informações complexas em formatos compreensíveis e manipuláveis por