Agente pedagógico para mediação do processo de ensino-aprendizagem da dedução natural na lógica
| Orientador(a) (dc.contributor.advisor) | Gluz, João Carlos | |
| Coorientador(a) (dc.contributor.advisor-co1) | Costa, Cristiano André da | |
| Lattes Coorientador(a) (dc.contributor.advisor-co1Lattes) | http://lattes.cnpq.br/9637121030877187 | pt_BR |
| Lattes Orientador(a) (dc.contributor.advisorLattes) | http://lattes.cnpq.br/5782887287137603 | pt_BR |
| Autor(a) (dc.contributor.author) | Galafassi, Fabiane Flores Penteado | |
| Autor(a) Lattes (dc.contributor.authorLattes) | http://lattes.cnpq.br/5263172314646839 | pt_BR |
| Data de Disponibilização (dc.date.accessioned) | 2015-07-06T22:22:41Z | |
| dc.date.available (dc.date.available) | 2015-07-06T22:22:41Z | |
| Data da defesa / Data do evento (dc.date.issued) | 2012-12-13 | |
| Abstract (dc.description.abstract) | Logic is a mathematical science of nature that is strongly linked to Philosophy, tending the laws of reasoning, or right thinking, therefore, an instrument of thought. So learning the logic is necessary to ensure that our thoughts are carried correctly to produce true knowledge. Logic studies the methods and principles used to distinguish correct from incorrect reasoning. Thus, the logic is a fundamental discipline for academic courses of Computer Science. However, the persistence of high levels of premature failure or dropouts shows that there is ample room for improving the process of teaching this subject. In this context, a particularly critical of Logic and causing severe difficulties for students is learning the processes of formal deduction. With this question in mind, this paper aims to propose a computational model of mediation appropriate for the teaching of Natural Deduction for Propositional Logic, incorporated as a pedagogical agent to assist students in their learning process, serving as a tool support for this process. This agent is part of a research project, named Heraclitus, which aims to integrate and apply the technologies of Smart Objects Learning and Pedagogical Agents in teaching Logic. | en |
| Resumo (dc.description.resumo) | A Lógica é uma ciência de índole matemática que está fortemente ligada à Filosofia, cuidando das leis do raciocínio, ou do pensar correto, sendo, portanto, um instrumento do pensar. Assim o aprendizado da lógica se faz necessário para garantir que nossos pensamentos se realizem de forma correta a fim de produzir conhecimentos verdadeiros. A lógica estuda os princípios e métodos usados para distinguir o raciocínio correto do incorreto. Desta forma, a Lógica é uma disciplina fundamental para os cursos acadêmicos de Ciência da Computação. No entanto, uma persistência de altos níveis de reprovação ou desistências prematuras mostra que há um amplo espaço para melhorar o processo de ensino desta disciplina. Nesse contexto, um tema particularmente crítico da Lógica e que causa sérias dificuldades aos alunos é a aprendizagem dos processos de dedução formal. Tendo essa questão em vista, o presente trabalho tem por objetivo propor um modelo computacional de mediação apropriado para o ensino da Dedução Natural para a Lógica Proposicional, incorporado na forma de um agente pedagógico que auxilie o aluno em seu processo de aprendizagem, servindo como ferramenta de apoio para esse processo. Este agente é parte de um projeto de pesquisa, denominado Heráclito, que visa integrar e aplicar as tecnologias de Objetos Inteligentes de Aprendizagem e Agentes Pedagógicos no ensino de Lógica. | pt_BR |
| Agência de fomento (dc.description.sponsorship) | FINEP - Financiadora de Estudos e Projetos | pt_BR |
| URI (dc.identifier.uri) | http://www.repositorio.jesuita.org.br/handle/UNISINOS/4257 | |
| Idioma (dc.language) | pt_BR | pt_BR |
| Nome da instituição (dc.publisher) | Universidade do Vale do Rio dos Sinos | pt_BR |
| País da Instituição (dc.publisher.country) | Brasil | pt_BR |
| Departamento (dc.publisher.department) | Escola Politécnica | pt_BR |
| Sigla da Instituição (dc.publisher.initials) | Unisinos | pt_BR |
| Programa (dc.publisher.program) | Programa de Pós-Graduação em Computação Aplicada | pt_BR |
| Direitos de acesso ao documento (dc.rights) | openAccess | pt_BR |
| Assunto (dc.subject) | Objetos de aprendizagem | pt_BR |
| Assunto (dc.subject) | Sistemas tutores inteligentes | pt_BR |
| Assunto (dc.subject) | Agentes pedagógicos | pt_BR |
| Assunto (dc.subject) | Estratégias de mediação | pt_BR |
| Assunto (dc.subject) | Learning objects | en |
| Assunto (dc.subject) | Virtual learning environments | en |
| Assunto (dc.subject) | Intelligent tutoring systems | en |
| Assunto (dc.subject) | Software agents | en |
| Assunto (dc.subject) | Mediation learning | en |
| Tema (CNPq) (dc.subject.cnpq) | ACCNPQ::Ciências Exatas e da Terra::Ciência da Computação | pt_BR |
| Título (dc.title) | Agente pedagógico para mediação do processo de ensino-aprendizagem da dedução natural na lógica | pt_BR |
| Tipo de arquivo (dc.type) | Dissertação | pt_BR |