A popularização da Internet e o crescimento da educação à distância tornaram possível a criação de softwares e cursos à distância, disponíveis na WWW. Atualmente, a Inteligência Artificial (IA) vem sendo utilizada para aumentar a capacidade de ambientes de educação à distância, diminuindo a desistência pela falta de estímulos externos e de interação entre colegas e professores. Este trabalho encontra-se inserido no ambiente colaborativo suportado por computador, definido no projeto “Uma Proposta de Modelo Computacional de Aprendizagem à Distância Baseada na Concepção Sócio-Interacionista de Vygotsky” chamado MACES (Multiagent Architecture for an Collaborative Educational System). Sua principal proposta, como parte do projeto do grupo, é desenvolver e implementar a interface animada do personagem para os agentes pedagógicos animados Colaborativo e Mediador que operam no ambiente de aprendizado colaborativo proposto pelo grupo. O personagem desenvolvido chama-se PAT (Pedagogical and Affective Tutor). A interface do personagem foi desenvolvida em Java, JavaScript e usa o Microsoft Agent para a movimentação. O Resin 2.1.6 (semelhante ao Tomcat que também foi usado de teste) é o compilador de servlet usado na execução de Java Servlet’s e tecnologias jsp – que monta páginas HTML dinamicamente. Esta montagem é feita no servidor e enviada para o browser do usuário. Para definir a aparência do personagem foram feitas entrevistas com pedagogas, psicólogas, psicopedagogas e idéias tiradas de entrevistas informais com profissionais que trabalham com desenho industrial, propaganda, cartoon e desenho animado. A PAT faz parte da interface do MACES e promove a comunicação entre esse ambiente e o usuário. Portanto, acredita-se que a PAT e os recursos da Inteligência artificial poderão aumentar a capacidade de ambientes de educação à distância, tornando-os mais agradáveis, assim como diminuir a desistência pela falta de estímulos externos e de interação com colegas e professores.

A popularização da Internet e o crescimento da educação à distância tornaram possível a criação de softwares e cursos à distância, disponíveis na WWW. Atualmente, a Inteligência Artificial (IA) vem sendo utilizada para aumentar a capacidade de ambientes de educação à distância, diminuindo a desistência pela falta de estímulos externos e de interação entre colegas e professores. Este trabalho encontra-se inserido no ambiente colaborativo suportado por computador, definido no projeto “Uma Proposta de Modelo Computacional de Aprendizagem à Distância Baseada na Concepção Sócio-Interacionista de Vygotsky” chamado MACES (Multiagent Architecture for an Collaborative Educational System). Sua principal proposta, como parte do projeto do grupo, é desenvolver e implementar a interface animada do personagem para os agentes pedagógicos animados Colaborativo e Mediador que operam no ambiente de aprendizado colaborativo proposto pelo grupo. O personagem desenvolvido chama-se PAT (Pedagogical and Affective Tutor). A interface do personagem foi desenvolvida em Java, JavaScript e usa o Microsoft Agent para a movimentação. O Resin 2.1.6 (semelhante ao Tomcat que também foi usado de teste) é o compilador de servlet usado na execução de Java Servlet’s e tecnologias jsp – que monta páginas HTML dinamicamente. Esta montagem é feita no servidor e enviada para o browser do usuário. Para definir a aparência do personagem foram feitas entrevistas com pedagogas, psicólogas, psicopedagogas e idéias tiradas de entrevistas informais com profissionais que trabalham com desenho industrial, propaganda, cartoon e desenho animado. A PAT faz parte da interface do MACES e promove a comunicação entre esse ambiente e o usuário. Portanto, acredita-se que a PAT e os recursos da Inteligência artificial poderão aumentar a capacidade de ambientes de educação à distância, tornando-os mais agradáveis, assim como diminuir a desistência pela falta de estímulos externos e de interação com colegas e professores.

A popularização da Internet e o crescimento da educação à distância tornaram possível a criação de softwares e cursos à distância, disponíveis na WWW. Atualmente, a Inteligência Artificial (IA) vem sendo utilizada para aumentar a capacidade de ambientes de educação à distância, diminuindo a desistência pela falta de estímulos externos e de interação entre colegas e professores. Este trabalho encontra-se inserido no ambiente colaborativo suportado por computador, definido no projeto “Uma Proposta de Modelo Computacional de Aprendizagem à Distância Baseada na Concepção Sócio-Interacionista de Vygotsky” chamado MACES (Multiagent Architecture for an Collaborative Educational System). Sua principal proposta, como parte do projeto do grupo, é desenvolver e implementar a interface animada do personagem para os agentes pedagógicos animados Colaborativo e Mediador que operam no ambiente de aprendizado colaborativo proposto pelo grupo. O personagem desenvolvido chama-se PAT (Pedagogical and Affective Tutor). A interface do personagem foi desenvolvida em Java, JavaScript e usa o Microsoft Agent para a movimentação. O Resin 2.1.6 (semelhante ao Tomcat que também foi usado de teste) é o compilador de servlet usado na execução de Java Servlet’s e tecnologias jsp – que monta páginas HTML dinamicamente. Esta montagem é feita no servidor e enviada para o browser do usuário. Para definir a aparência do personagem foram feitas entrevistas com pedagogas, psicólogas, psicopedagogas e idéias tiradas de entrevistas informais com profissionais que trabalham com desenho industrial, propaganda, cartoon e desenho animado. A PAT faz parte da interface do MACES e promove a comunicação entre esse ambiente e o usuário. Portanto, acredita-se que a PAT e os recursos da Inteligência artificial poderão aumentar a capacidade de ambientes de educação à distância, tornando-os mais agradáveis, assim como diminuir a desistência pela falta de estímulos externos e de interação com colegas e professores.

A Inteligência Artificial é uma área da computação onde se está constantemente desenvolvendo pesquisas em software educacionais, principalmente os Sistemas Tutores Inteligentes (STI). Esses sistemas têm a capacidade de se adaptarem às particularidades de cada aluno, proporcionando assim, ambientes que facilitam a aprendizagem do usuário. Recentemente foi incorporada a tecnologia de agentes na modelagem do STI e nos ambientes educacionais na Internet. Estes agentes são denominados pedagógicos quando estão ligados a um ambiente onde existe uma sociedade de agentes que compõem um sistema de ensino-aprendizagem. Este texto apresenta um modelo de adaptação para ambientes genéricos de ensino, composto por agentes pedagógicos. A proposta é baseada em estudos relacionados com sistemas hipermídia adaptativos, sistemas tutores inteligentes, sistemas multiagentes e agentes pedagógicos. Inicialmente, o texto descreve o modelo. Logo após, é apresentada a implementação dos agentes os quais tem como tarefa prover a adaptação do ensino, sendo responsáveis em fornecer o caminho mais efetivo para a aprendizagem do aluno. Os agentes do modelo são denominados Agente Tutor, Agente Perfil e Agente de Comunicação. A realização da adaptação da instrução às características individuais do aprendiz implica o sistema conhecer: os padrões cognitivos de aprendizagem do aluno, traduzidos como estilos de aprendizagem e as suas implicações pedagógicas; e a modelagem das características do aprendiz: nível de conhecimento, metas, experiência e preferências do aprendiz. Finalmente, o texto descreve um estudo de caso, onde o modelo proposto foi integrado num ambiente de aprendizagem, e validado numa disciplina virtual a fim de avaliação de seus objetivos.

A Inteligência Artificial é uma área da computação onde se está constantemente desenvolvendo pesquisas em software educacionais, principalmente os Sistemas Tutores Inteligentes (STI). Esses sistemas têm a capacidade de se adaptarem às particularidades de cada aluno, proporcionando assim, ambientes que facilitam a aprendizagem do usuário. Recentemente foi incorporada a tecnologia de agentes na modelagem do STI e nos ambientes educacionais na Internet. Estes agentes são denominados pedagógicos quando estão ligados a um ambiente onde existe uma sociedade de agentes que compõem um sistema de ensino-aprendizagem. Este texto apresenta um modelo de adaptação para ambientes genéricos de ensino, composto por agentes pedagógicos. A proposta é baseada em estudos relacionados com sistemas hipermídia adaptativos, sistemas tutores inteligentes, sistemas multiagentes e agentes pedagógicos. Inicialmente, o texto descreve o modelo. Logo após, é apresentada a implementação dos agentes os quais tem como tarefa prover a adaptação do ensino, sendo responsáveis em fornecer o caminho mais efetivo para a aprendizagem do aluno. Os agentes do modelo são denominados Agente Tutor, Agente Perfil e Agente de Comunicação. A realização da adaptação da instrução às características individuais do aprendiz implica o sistema conhecer: os padrões cognitivos de aprendizagem do aluno, traduzidos como estilos de aprendizagem e as suas implicações pedagógicas; e a modelagem das características do aprendiz: nível de conhecimento, metas, experiência e preferências do aprendiz. Finalmente, o texto descreve um estudo de caso, onde o modelo proposto foi integrado num ambiente de aprendizagem, e validado numa disciplina virtual a fim de avaliação de seus objetivos.

A Inteligência Artificial é uma área da computação onde se está constantemente desenvolvendo pesquisas em software educacionais, principalmente os Sistemas Tutores Inteligentes (STI). Esses sistemas têm a capacidade de se adaptarem às particularidades de cada aluno, proporcionando assim, ambientes que facilitam a aprendizagem do usuário. Recentemente foi incorporada a tecnologia de agentes na modelagem do STI e nos ambientes educacionais na Internet. Estes agentes são denominados pedagógicos quando estão ligados a um ambiente onde existe uma sociedade de agentes que compõem um sistema de ensino-aprendizagem. Este texto apresenta um modelo de adaptação para ambientes genéricos de ensino, composto por agentes pedagógicos. A proposta é baseada em estudos relacionados com sistemas hipermídia adaptativos, sistemas tutores inteligentes, sistemas multiagentes e agentes pedagógicos. Inicialmente, o texto descreve o modelo. Logo após, é apresentada a implementação dos agentes os quais tem como tarefa prover a adaptação do ensino, sendo responsáveis em fornecer o caminho mais efetivo para a aprendizagem do aluno. Os agentes do modelo são denominados Agente Tutor, Agente Perfil e Agente de Comunicação. A realização da adaptação da instrução às características individuais do aprendiz implica o sistema conhecer: os padrões cognitivos de aprendizagem do aluno, traduzidos como estilos de aprendizagem e as suas implicações pedagógicas; e a modelagem das características do aprendiz: nível de conhecimento, metas, experiência e preferências do aprendiz. Finalmente, o texto descreve um estudo de caso, onde o modelo proposto foi integrado num ambiente de aprendizagem, e validado numa disciplina virtual a fim de avaliação de seus objetivos.

A Educação Ubíqua, tema de pesquisa desta tese, tem como objetivo relacionar os aprendizes com o ambiente em seu entorno, formando uma rede virtual e real de pessoas, objetos e situações, auxiliando para uma aprendizagem contínua, contextualizada e significativa. A consciência do contexto do aprendiz constitui-se do elemento fundamental neste tipo de educação. A partir das pesquisas realizadas, concluiu-se que, atualmente, os ambientes virtuais de suporte à Educação Ubíqua possuem um contexto de atuação específico ou localizado, além de um ambiente computacional próprio. Desta forma, o problema de pesquisa desta tese consiste em identificar os elementos básicos necessários para auxiliar uma aprendizagem independente de lugar, de tempo, do contexto em que ela ocorre e do ambiente computacional de suporte. A partir desses aspectos, esta tese aborda a hipótese de que o desenvolvimento de um ambiente educacional ubíquo deve ser apoiado por mecanismos computacionais pró-ativos, providos por um ambiente de suporte à ubiqüidade, que possibilite perceber o contexto do aprendiz e o uso de diversas tecnologias de acesso. Cabe ao ambiente educacional adaptar os recursos disponíveis, levando em consideração a dinamicidade com que eles se alteram, de forma contínua e transparente, criando um ambiente propício para a aprendizagem. Desta forma, este trabalho propõe um modelo de Educação Ubíqua orientado à consciência do contexto do aprendiz denominado GlobalEdu. Neste, o aprendiz tem a possibilidade de aprender de forma contínua e integrada com o seu contexto. O GlobalEdu provê uma organização em camadas. A camada de Aplicação é representada por um Agente Pedagógico, cujo objetivo é auxiliar a interação do aprendiz no ambiente. A camada de Sistema consitui-se de um conjunto de módulos Educacionais e de Suporte, necessários para auxiliar no processo educacional do aprendiz no ambiente, manipulando o contexto do aprendiz, seu perfil e seus conteúdos, além de elementos que auxiliem a execução do agente e dos recursos que ele manipula. As principais contribuições dessa tese consistem em aprofundar os aspectos referentes à consciência do contexto do aprendiz, bem como a proposta e desenvolvimento do modelo e sua integração com ambientes de suporte à Computação Ubíqua. Além disso, a partir de uma ontologia para representação de contexto, o modelo permite o mapeamento de contextos diversos. A partir da avaliação do sistema, identificou-se a importância do ambiente educacional preocupar-se com os processos educacionais, enquanto o ambiente computacional suporta os elementos necessários para prover à consciência do contexto e os demais aspectos relacionados à ubiqüidade. / This research is about Ubiquitous Learning. The idea of ubiquitous learning is to create a network of devices, people and situation that allows learning experiences to play out. The learner’s context-aware is a fundamental element of this type of education. Thus, the ubiquitous learning environment supports omnipresense processes, learner autonomy and integration with learner’s surrounding environment. The current related works are oriented for specific contexts. We are investigating what subset of functionality is required for to provide learning can occur anywhere, anytime, with continued computing support and no-specific computational environment. Our hypothesis is that it is possible to develop ubiquitous learning environment using ubiquitous computing support, because this type of computing can provide the context aware characteristics and support several access technologies. With this, the learning environment provides continuous learning resources, creating a propitious environment for the learning. This work proposes a ubiquitous learning model addressed to learner’s context-aware called GlobalEdu. This model supports learning on ubiquitous computing environments. It is composed by Pedagogical Agent, Educational Services and Support Services. The Pedagogical Agent is an agent that runs in the device that the learner is using, assisting the educational process in the ubiquitous environment. It contains an interface to the Educational Services and provides a ubiquitous vision through ubiquitous environment. The Educational Services and Support Services provide the support to agent execution in the ubiquitous environment, through identification and adaptation of resources in agreement with the learner’s profile and learner’s context. The main contributions of this work are concentrated in the surrounding context of the learner. An ontology for context representation was proposed. Moreover, it was proposed a ubiquitous learning model and its integration with a ubiquitous environment. We concluded that the integration of learning environment and ubiquitous environment is important. The ubiquitous environment supports context information and others ubiquitous aspects while the learning environment is dedicated to the educational process.

A Educação Ubíqua, tema de pesquisa desta tese, tem como objetivo relacionar os aprendizes com o ambiente em seu entorno, formando uma rede virtual e real de pessoas, objetos e situações, auxiliando para uma aprendizagem contínua, contextualizada e significativa. A consciência do contexto do aprendiz constitui-se do elemento fundamental neste tipo de educação. A partir das pesquisas realizadas, concluiu-se que, atualmente, os ambientes virtuais de suporte à Educação Ubíqua possuem um contexto de atuação específico ou localizado, além de um ambiente computacional próprio. Desta forma, o problema de pesquisa desta tese consiste em identificar os elementos básicos necessários para auxiliar uma aprendizagem independente de lugar, de tempo, do contexto em que ela ocorre e do ambiente computacional de suporte. A partir desses aspectos, esta tese aborda a hipótese de que o desenvolvimento de um ambiente educacional ubíquo deve ser apoiado por mecanismos computacionais pró-ativos, providos por um ambiente de suporte à ubiqüidade, que possibilite perceber o contexto do aprendiz e o uso de diversas tecnologias de acesso. Cabe ao ambiente educacional adaptar os recursos disponíveis, levando em consideração a dinamicidade com que eles se alteram, de forma contínua e transparente, criando um ambiente propício para a aprendizagem. Desta forma, este trabalho propõe um modelo de Educação Ubíqua orientado à consciência do contexto do aprendiz denominado GlobalEdu. Neste, o aprendiz tem a possibilidade de aprender de forma contínua e integrada com o seu contexto. O GlobalEdu provê uma organização em camadas. A camada de Aplicação é representada por um Agente Pedagógico, cujo objetivo é auxiliar a interação do aprendiz no ambiente. A camada de Sistema consitui-se de um conjunto de módulos Educacionais e de Suporte, necessários para auxiliar no processo educacional do aprendiz no ambiente, manipulando o contexto do aprendiz, seu perfil e seus conteúdos, além de elementos que auxiliem a execução do agente e dos recursos que ele manipula. As principais contribuições dessa tese consistem em aprofundar os aspectos referentes à consciência do contexto do aprendiz, bem como a proposta e desenvolvimento do modelo e sua integração com ambientes de suporte à Computação Ubíqua. Além disso, a partir de uma ontologia para representação de contexto, o modelo permite o mapeamento de contextos diversos. A partir da avaliação do sistema, identificou-se a importância do ambiente educacional preocupar-se com os processos educacionais, enquanto o ambiente computacional suporta os elementos necessários para prover à consciência do contexto e os demais aspectos relacionados à ubiqüidade. / This research is about Ubiquitous Learning. The idea of ubiquitous learning is to create a network of devices, people and situation that allows learning experiences to play out. The learner’s context-aware is a fundamental element of this type of education. Thus, the ubiquitous learning environment supports omnipresense processes, learner autonomy and integration with learner’s surrounding environment. The current related works are oriented for specific contexts. We are investigating what subset of functionality is required for to provide learning can occur anywhere, anytime, with continued computing support and no-specific computational environment. Our hypothesis is that it is possible to develop ubiquitous learning environment using ubiquitous computing support, because this type of computing can provide the context aware characteristics and support several access technologies. With this, the learning environment provides continuous learning resources, creating a propitious environment for the learning. This work proposes a ubiquitous learning model addressed to learner’s context-aware called GlobalEdu. This model supports learning on ubiquitous computing environments. It is composed by Pedagogical Agent, Educational Services and Support Services. The Pedagogical Agent is an agent that runs in the device that the learner is using, assisting the educational process in the ubiquitous environment. It contains an interface to the Educational Services and provides a ubiquitous vision through ubiquitous environment. The Educational Services and Support Services provide the support to agent execution in the ubiquitous environment, through identification and adaptation of resources in agreement with the learner’s profile and learner’s context. The main contributions of this work are concentrated in the surrounding context of the learner. An ontology for context representation was proposed. Moreover, it was proposed a ubiquitous learning model and its integration with a ubiquitous environment. We concluded that the integration of learning environment and ubiquitous environment is important. The ubiquitous environment supports context information and others ubiquitous aspects while the learning environment is dedicated to the educational process.

A Educação Ubíqua, tema de pesquisa desta tese, tem como objetivo relacionar os aprendizes com o ambiente em seu entorno, formando uma rede virtual e real de pessoas, objetos e situações, auxiliando para uma aprendizagem contínua, contextualizada e significativa. A consciência do contexto do aprendiz constitui-se do elemento fundamental neste tipo de educação. A partir das pesquisas realizadas, concluiu-se que, atualmente, os ambientes virtuais de suporte à Educação Ubíqua possuem um contexto de atuação específico ou localizado, além de um ambiente computacional próprio. Desta forma, o problema de pesquisa desta tese consiste em identificar os elementos básicos necessários para auxiliar uma aprendizagem independente de lugar, de tempo, do contexto em que ela ocorre e do ambiente computacional de suporte. A partir desses aspectos, esta tese aborda a hipótese de que o desenvolvimento de um ambiente educacional ubíquo deve ser apoiado por mecanismos computacionais pró-ativos, providos por um ambiente de suporte à ubiqüidade, que possibilite perceber o contexto do aprendiz e o uso de diversas tecnologias de acesso. Cabe ao ambiente educacional adaptar os recursos disponíveis, levando em consideração a dinamicidade com que eles se alteram, de forma contínua e transparente, criando um ambiente propício para a aprendizagem. Desta forma, este trabalho propõe um modelo de Educação Ubíqua orientado à consciência do contexto do aprendiz denominado GlobalEdu. Neste, o aprendiz tem a possibilidade de aprender de forma contínua e integrada com o seu contexto. O GlobalEdu provê uma organização em camadas. A camada de Aplicação é representada por um Agente Pedagógico, cujo objetivo é auxiliar a interação do aprendiz no ambiente. A camada de Sistema consitui-se de um conjunto de módulos Educacionais e de Suporte, necessários para auxiliar no processo educacional do aprendiz no ambiente, manipulando o contexto do aprendiz, seu perfil e seus conteúdos, além de elementos que auxiliem a execução do agente e dos recursos que ele manipula. As principais contribuições dessa tese consistem em aprofundar os aspectos referentes à consciência do contexto do aprendiz, bem como a proposta e desenvolvimento do modelo e sua integração com ambientes de suporte à Computação Ubíqua. Além disso, a partir de uma ontologia para representação de contexto, o modelo permite o mapeamento de contextos diversos. A partir da avaliação do sistema, identificou-se a importância do ambiente educacional preocupar-se com os processos educacionais, enquanto o ambiente computacional suporta os elementos necessários para prover à consciência do contexto e os demais aspectos relacionados à ubiqüidade. / This research is about Ubiquitous Learning. The idea of ubiquitous learning is to create a network of devices, people and situation that allows learning experiences to play out. The learner’s context-aware is a fundamental element of this type of education. Thus, the ubiquitous learning environment supports omnipresense processes, learner autonomy and integration with learner’s surrounding environment. The current related works are oriented for specific contexts. We are investigating what subset of functionality is required for to provide learning can occur anywhere, anytime, with continued computing support and no-specific computational environment. Our hypothesis is that it is possible to develop ubiquitous learning environment using ubiquitous computing support, because this type of computing can provide the context aware characteristics and support several access technologies. With this, the learning environment provides continuous learning resources, creating a propitious environment for the learning. This work proposes a ubiquitous learning model addressed to learner’s context-aware called GlobalEdu. This model supports learning on ubiquitous computing environments. It is composed by Pedagogical Agent, Educational Services and Support Services. The Pedagogical Agent is an agent that runs in the device that the learner is using, assisting the educational process in the ubiquitous environment. It contains an interface to the Educational Services and provides a ubiquitous vision through ubiquitous environment. The Educational Services and Support Services provide the support to agent execution in the ubiquitous environment, through identification and adaptation of resources in agreement with the learner’s profile and learner’s context. The main contributions of this work are concentrated in the surrounding context of the learner. An ontology for context representation was proposed. Moreover, it was proposed a ubiquitous learning model and its integration with a ubiquitous environment. We concluded that the integration of learning environment and ubiquitous environment is important. The ubiquitous environment supports context information and others ubiquitous aspects while the learning environment is dedicated to the educational process.

Submitted by William Justo Figueiro (williamjf) on 2015-07-06T22:22:41Z No. of bitstreams: 1 03a.pdf: 2459401 bytes, checksum: 4be1a43d873e5061b50682baa16f9ead (MD5) / Made available in DSpace on 2015-07-06T22:22:41Z (GMT). No. of bitstreams: 1 03a.pdf: 2459401 bytes, checksum: 4be1a43d873e5061b50682baa16f9ead (MD5) Previous issue date: 2013 / FINEP - Financiadora de Estudos e Projetos / 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. / 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.