INTEMA: UM GERADOR DE EXPLICAÇÕES PARA SISTEMAS TUTORES INTELIGENTES
Autor(a) principal: | |
---|---|
Data de Publicação: | 1995 |
Tipo de documento: | Dissertação |
Idioma: | por |
Título da fonte: | Biblioteca Digital de Teses e Dissertações da USP |
Texto Completo: | http://www.teses.usp.br/teses/disponiveis/55/55134/tde-19042018-160150/ |
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. |
id |
USP_ba39f3d3d1657ba26235cfd4a3df5fa3 |
---|---|
oai_identifier_str |
oai:teses.usp.br:tde-19042018-160150 |
network_acronym_str |
USP |
network_name_str |
Biblioteca Digital de Teses e Dissertações da USP |
repository_id_str |
2721 |
spelling |
INTEMA: UM GERADOR DE EXPLICAÇÕES PARA SISTEMAS TUTORES INTELIGENTESlNTEMA: AN EXPLANATION GENERATOR FOR INTELLIGENT TUTORING SYSTEMSNão disponívelNot availableEsta 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.Biblioteca Digitais de Teses e Dissertações da USPNunes, Maria das Graças VolpeMaltempi, Marcus Vinicius1995-03-24info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdfhttp://www.teses.usp.br/teses/disponiveis/55/55134/tde-19042018-160150/reponame:Biblioteca Digital de Teses e Dissertações da USPinstname:Universidade de São Paulo (USP)instacron:USPLiberar o conteúdo para acesso público.info:eu-repo/semantics/openAccesspor2018-07-19T20:50:39Zoai:teses.usp.br:tde-19042018-160150Biblioteca Digital de Teses e Dissertaçõeshttp://www.teses.usp.br/PUBhttp://www.teses.usp.br/cgi-bin/mtd2br.plvirginia@if.usp.br|| atendimento@aguia.usp.br||virginia@if.usp.bropendoar:27212018-07-19T20:50:39Biblioteca Digital de Teses e Dissertações da USP - Universidade de São Paulo (USP)false |
dc.title.none.fl_str_mv |
INTEMA: UM GERADOR DE EXPLICAÇÕES PARA SISTEMAS TUTORES INTELIGENTES lNTEMA: AN EXPLANATION GENERATOR FOR INTELLIGENT TUTORING SYSTEMS |
title |
INTEMA: UM GERADOR DE EXPLICAÇÕES PARA SISTEMAS TUTORES INTELIGENTES |
spellingShingle |
INTEMA: UM GERADOR DE EXPLICAÇÕES PARA SISTEMAS TUTORES INTELIGENTES Maltempi, Marcus Vinicius Não disponível Not available |
title_short |
INTEMA: UM GERADOR DE EXPLICAÇÕES PARA SISTEMAS TUTORES INTELIGENTES |
title_full |
INTEMA: UM GERADOR DE EXPLICAÇÕES PARA SISTEMAS TUTORES INTELIGENTES |
title_fullStr |
INTEMA: UM GERADOR DE EXPLICAÇÕES PARA SISTEMAS TUTORES INTELIGENTES |
title_full_unstemmed |
INTEMA: UM GERADOR DE EXPLICAÇÕES PARA SISTEMAS TUTORES INTELIGENTES |
title_sort |
INTEMA: UM GERADOR DE EXPLICAÇÕES PARA SISTEMAS TUTORES INTELIGENTES |
author |
Maltempi, Marcus Vinicius |
author_facet |
Maltempi, Marcus Vinicius |
author_role |
author |
dc.contributor.none.fl_str_mv |
Nunes, Maria das Graças Volpe |
dc.contributor.author.fl_str_mv |
Maltempi, Marcus Vinicius |
dc.subject.por.fl_str_mv |
Não disponível Not available |
topic |
Não disponível Not available |
description |
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. |
publishDate |
1995 |
dc.date.none.fl_str_mv |
1995-03-24 |
dc.type.status.fl_str_mv |
info:eu-repo/semantics/publishedVersion |
dc.type.driver.fl_str_mv |
info:eu-repo/semantics/masterThesis |
format |
masterThesis |
status_str |
publishedVersion |
dc.identifier.uri.fl_str_mv |
http://www.teses.usp.br/teses/disponiveis/55/55134/tde-19042018-160150/ |
url |
http://www.teses.usp.br/teses/disponiveis/55/55134/tde-19042018-160150/ |
dc.language.iso.fl_str_mv |
por |
language |
por |
dc.relation.none.fl_str_mv |
|
dc.rights.driver.fl_str_mv |
Liberar o conteúdo para acesso público. info:eu-repo/semantics/openAccess |
rights_invalid_str_mv |
Liberar o conteúdo para acesso público. |
eu_rights_str_mv |
openAccess |
dc.format.none.fl_str_mv |
application/pdf |
dc.coverage.none.fl_str_mv |
|
dc.publisher.none.fl_str_mv |
Biblioteca Digitais de Teses e Dissertações da USP |
publisher.none.fl_str_mv |
Biblioteca Digitais de Teses e Dissertações da USP |
dc.source.none.fl_str_mv |
reponame:Biblioteca Digital de Teses e Dissertações da USP instname:Universidade de São Paulo (USP) instacron:USP |
instname_str |
Universidade de São Paulo (USP) |
instacron_str |
USP |
institution |
USP |
reponame_str |
Biblioteca Digital de Teses e Dissertações da USP |
collection |
Biblioteca Digital de Teses e Dissertações da USP |
repository.name.fl_str_mv |
Biblioteca Digital de Teses e Dissertações da USP - Universidade de São Paulo (USP) |
repository.mail.fl_str_mv |
virginia@if.usp.br|| atendimento@aguia.usp.br||virginia@if.usp.br |
_version_ |
1815257166983987200 |