Autora: Fabiane Flores Penteado Galafassi
Data: 02/03/2017
Horário: 14:00
Local: Sala 329 – Auditório do PPGIE/CINTED
Orientadora: Profª. Drª. Rosa Maria Viccari
Banca Examinadora:
Profª. Drª. Liliana Maria Passerino (PPGIE/UFRGS)
Prof. Dr. Ricardo Azambuja Silveira (UFSC)
Prof. Dr. Jorge Luiz Victória Barbosa (UNISINOS)
Resumo: Historicamente, disciplinas de Lógica para computação apresentam grandes índices de reprovação e desistência de modo que, na maioria dos casos, as dificuldades começaram quando conceitos como fórmula, regras de dedução e prova formal começam a ser apresentados. Nesse sentido, o presente estudo busca desenvolver um método para auxiliar alunos no processo de resolução de exercícios relacionados ao conteúdo de dedução natural na lógica proposicional. O problema de pesquisa em questão está relacionado à disciplina de Lógica, abordada no ensino superior, tipicamente nos 1° e 2º semestres. Mais especificamente, este estudo propõe um modelo de aluno integrado ao ambiente Heráclito que visa identificar o nível de conhecimento do aluno. Para atingir seus objetivos, baseia-se em dois grandes eixos: o pedagógico, que se fundamenta na teoria sócio histórica de Vygotsky, englobando os conceitos de nível de desenvolvimento real e zona de desenvolvimento proximal, e o eixo tecnológico, centrando-se no conceito de agentes de softwares e redes probabilísticas. Em termos metodológicos é uma pesquisa de natureza aplicada, pois visa gerar conhecimentos para aplicação prática em turmas de nível de graduação, buscando a solução de um problema específico. A abordagem é eminentemente qualitativa com aspectos quantitativos, pois se acredita que a combinação de ambos os métodos complemente os resultados dessas duas modalidades oferecendo uma visão mais ampla do problema de pesquisa. Ainda, quanto aos procedimentos técnicos, pode ser definida como pesquisa experimental e estudo de caso. Espera-se ao final deste estudo criar um modelo para representação do conhecimento e de inferência que valide informações que expressem, principalmente, o que ocorre durante as interações ocorridas entre o aluno e o professor (tutor) em um ambiente computacional de aprendizagem.
Palavras-chave: Ambientes Computacionais de Aprendizagem, Modelo de Aluno, Nível de Desenvolvimento Real, Zona de Desenvolvimento Proximal, Redes Probabilísticas.