O processo decisório é fortemente impactado pelo desafio de lidar com um crescente volume de informações, exigindo dos tomadores de decisão eficiência compatível com as atuais velocidades de transmissão e difusão dessas informações. As organizações brasileiras, especialmente as que trabalham com informações estratégicas, necessitam de tecnologias confiáveis, preferencialmente nacionais, de apoio à sua análise. Assim sendo, um dos requisitos para enfrentar este desafio é a criação de uma plataforma tecnológica para apoio à atividade de análise de informações, em especial das informações não-estruturadas, que inclua coleta automática, gere pré-análises e visualizações gráficas, permitindo-se transferir para o analista de informação apenas as tarefas mais nobres de agregação final de valor às informações estratégicas.

Neste contexto, são utilizadas duas aplicações cedidas ao laboratório pelo Grupo Metadox:
 - Gerenciador Gráfico de Conhecimento (Idealize)
 - Provador Automático de Teoremas (Mentor)