Neste trabalho são abordadas técnicas de processamento de linguagem natural. Nele, são explicitados alguns fundamentos teóricos necessários para uma abordagem de derivação sintática e semântica que visam obter o significado completo de comandos de busca e navegação. Para isso, são utilizados como formalismos o Cálculo Lambda e a Gramática Categorial Combinatória. O trabalho também aborda um algoritmo de aprendizado de máquina que aprende as variáveis latentes de um modelo probabilístico de Gramática Categorial Combinatória, assim como sua aplicação para a derivação da forma lógica de frases de um pequeno conjunto em língua portuguesa.