Esta dissertação apresenta o projeto de construção do sistema INTEMA: um gerador de explicações e um ambiente de interação para Sistemas Tutores Inteligentes (sTIs) em Matemática. o INTEMA é parte de uma arquitetura genérica de STIs em Matemática que permite a troca de domínio, sem necessidade de alterar a geração de explicações. As explicações geradas têm por objetivo justificar o comportamento do sistema e informar os usuários, de maneira individualizada, sobre as características e funções do sistema. O estilo de interação fornecido pelo sistema é o de manipulação direta. São discutidos em detalhes os três módulos principais do INTEMA: planejador, realizador e interface. Um exemplo de interação com o sistema no domínio de Lógica de Primeira Ordem é apresentado.

This work presents the system INTEMA: an Intelligent Tutoring System (ITS) module which consists of an explanation generator and an interaction environment for ITSs in any mathematical domain. INTEMA is part of a generic architecture for representing mathematical knowledge, what allows the domain exchange. The explanations aim to justi$ the system's behaviour by teaching and informing the user about the characteristics and the functions of the system. Direct manipulation is the interaction style provided by the system. The three main system's modules - the planner, the realizer and the interface - are discussed in detail. An example of an interaction with a system that teaches First Order Logic is also presented.