INTEMA: UM GERADOR DE EXPLICAÇÕES PARA SISTEMAS TUTORES INTELIGENTES

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 al...

ver descrição completa

Detalhes bibliográficos
Autor: Maltempi, Marcus Vinicius
Formato: tesis de maestría
Estado:Versión publicada
Fecha de publicación:1995
País:Brasil
Recursos:Universidade de São Paulo (USP)
Repositorio:Biblioteca Digital de Teses e Dissertações da USP
Idioma:portugués
OAI Identifier:oai:teses.usp.br:tde-19042018-160150
Acesso em linha:http://www.teses.usp.br/teses/disponiveis/55/55134/tde-19042018-160150/
Access Level:acceso abierto
Palavra-chave:Não disponível
Not available
Descrição
Resumo: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.