Symbolic Knowledge Extraction from Trained Neural Networks Governed by Lukasiewicz Logics

This work describes a methodology to extract symbolic rules from trained neural networks. In our approach, patterns on the network are codified using formulas on a Lukasiewicz logic. For this we take advantage of the fact that every connective in this multi-valued logic can be evaluated by a neuron in an artificial network having, by activation function the identity truncated to zero and one. This fact simplifies symbolic rule extraction and allows the easy injection of formulas into a network architecture. We trained this type of neural network using a back-propagation algorithm based on Levenderg-Marquardt algorithm, where in each learning iteration, we restricted the knowledge dissemination in the network structure. This makes the descriptive power of produced neural networks similar to the descriptive power of Lukasiewicz logic language, minimizing the information loss on the translation between connectionist and symbolic structures. To avoid redundance on the generated network, the method simplifies them in a pruning phase, using the "Optimal Brain Surgeon" algorithm. We tested this method on the task of finding the formula used on the generation of a given truth table. For real data tests, we selected the Mushrooms data set, available on the UCI Machine Learning Repository.

Formação contínua e supervisão pedagógica: o impacto do Programa Nacional do Ensino do Português no desenvolvimento profissional de professores do 1º Ciclo do Ensino Básico

Este estudo pretende descrever e compreender o processo formativo dos professores do 1º ciclo do Ensino Básico, no contexto do Programa Nacional de Ensino do Português (PNEP), as suas dimensões mais relevantes e como é percecionada a supervisão nesse processo de formação contínua. A metodologia adotada nesta investigação foi de natureza qualitativa e baseou-se num conjunto de entrevistas semi-diretivas realizadas a formandos que frequentaram o PNEP entre 2008/2010. Dos resultados obtidos foi possível verificar o impacto positivo que esta modalidade de formação contínua teve no desenvolvimento profissional dos professores preparando-os para a implementação do novo programa de português e permitindo-lhes desmistificar o papel do supervisor através da participação numa experiência de supervisão. O trabalho colaborativo entre professores emergiu durante este processo formativo fomentando a construção de saber em colaboração. A prática pedagógica dos professores apresentou mudanças que pretenderam repercutir-se no aproveitamento dos alunos na área da língua portuguesa. - Abstract This study aims to comprehend and describe the formative process and practice of teachers in Basic education (1st Cycle), in the context of the National Programme for the Teaching of Portuguese Language (PNEP), its most relevant dimensions, the factors which affected it and how supervision was perceived by the teachers involved. A qualitative approach was used, based on semi-directed interviews done to teachers that attended the PNEP, from 2008 to 2010. The impact of this type of continuing training on teachers‟ professional development was positive. They felt prepared for the implementation of the new Portuguese Language Programme. They also demystified the role of the supervisor through the participation in an experience of supervision. The teachers‟ collaborative work emerged during this formative process, promoting the construction of knowledge among teachers. Added to this, teachers‟ pedagogical practice also improved reflected on the students‟ proficiency in the Portuguese language.

Perspetivas das educadoras de infância de uma instituição particular de solidariedade social sobre o contributo da colaboração para o seu desenvolvimento profissional

Dissertação apresentada à Escola Superior de Educação de Lisboa para obtenção de grau de mestre em Ciências da Educação, especialidade em Supervisão em Educação

Conceções e práticas dos professores de língua portuguesa em relação ao ensino e à aprendizagem da gramática: um estudo exploratório no 2.º ciclo do ensino básico

Dissertação apresentada à Escola Superior de Educação de Lisboa para obtenção do grau de Mestre em Didática da Língua Portuguesa no 1.º e no 2.º Ciclos.

O fim de um ciclo? A coconstrução da articulação curricular entre o 1.º e o 2.º Ciclos do Ensino Básico

Dissertação Apresentada à Escola Superior de Educação de Lisboa para obtenção de grau de mestre em Ciências da Educação - Especialidade Supervisão em Educação

Práticas de inclusão de alunos com perturbação do espectro do autismo no 1º Ciclo

Dissertação apresentada à Escola Superior de Educação de Lisboa para obtenção de grau de mestre em Ciências da Educação, especialidade Educação Especial – Problemas Cognitivos e Multideficiência

Teatro no 1º ciclo do ensino básico: relação entre formação dos professores e práticas pedagógicas

Dissertação apresentada à Escola Superior de Educação de Lisboa para obtenção de grau de mestre em Ciências da Educação, especialidade em Educação Artística -Teatro na Educação

Universidades da terceira idade: duas décadas de intervenção em Portugal

Dissertação apresentada à Escola Superior de Educação de Lisboa para a obtenção do grau de mestre em Ciências da Educação - Especialidade em Educação Social e Intervenção Comunitária

Can power laws help us understand gene and proteome information?

Proteins are biochemical entities consisting of one or more blocks typically folded in a 3D pattern. Each block (a polypeptide) is a single linear sequence of amino acids that are biochemically bonded together. The amino acid sequence in a protein is defined by the sequence of a gene or several genes encoded in the DNA-based genetic code. This genetic code typically uses twenty amino acids, but in certain organisms the genetic code can also include two other amino acids. After linking the amino acids during protein synthesis, each amino acid becomes a residue in a protein, which is then chemically modified, ultimately changing and defining the protein function. In this study, the authors analyze the amino acid sequence using alignment-free methods, aiming to identify structural patterns in sets of proteins and in the proteome, without any other previous assumptions. The paper starts by analyzing amino acid sequence data by means of histograms using fixed length amino acid words (tuples). After creating the initial relative frequency histograms, they are transformed and processed in order to generate quantitative results for information extraction and graphical visualization. Selected samples from two reference datasets are used, and results reveal that the proposed method is able to generate relevant outputs in accordance with current scientific knowledge in domains like protein sequence/proteome analysis.

Os desafios da inclusão de alunos com síndrome de down

Dissertação apresentada à Escola Superior de Educação de Lisboa para a obtenção do Grau de Mestre em Ciências da Educação - Especialidade Educação especial

A educação de adultos: um novo desafio organizacional na escola pública

Dissertação apresentada à Escola Superior de Educação de Lisboa para obtenção de grau de mestre em Ciências da Educação Especialização em Administração Escolar

Ontologies for reusing data cleaning knowledge

The emergence of new business models, namely, the establishment of partnerships between organizations, the chance that companies have of adding existing data on the web, especially in the semantic web, to their information, led to the emphasis on some problems existing in databases, particularly related to data quality. Poor data can result in loss of competitiveness of the organizations holding these data, and may even lead to their disappearance, since many of their decision-making processes are based on these data. For this reason, data cleaning is essential. Current approaches to solve these problems are closely linked to database schemas and specific domains. In order that data cleaning can be used in different repositories, it is necessary for computer systems to understand these data, i.e., an associated semantic is needed. The solution presented in this paper includes the use of ontologies: (i) for the specification of data cleaning operations and, (ii) as a way of solving the semantic heterogeneity problems of data stored in different sources. With data cleaning operations defined at a conceptual level and existing mappings between domain ontologies and an ontology that results from a database, they may be instantiated and proposed to the expert/specialist to be executed over that database, thus enabling their interoperability.

Necessidades de formação em educação para a saúde em contexto escolar: contributos para os currículos de enfermagem

Tese de Doutoramento, Educação (Desenvolvimento Curricular), 9 de Dezembro de 2013, Universidade dos Açores.

Concepções dos professores face à inclusão de alunos com NEE no ensino regular

Dissertação apresentada à Escola Superior de Educação de Lisboa para a obtenção de grau de mestre em Ciências da Educação -Especialidade Educação Especial

A incidência da avaliação sumativa externa (provas de aferição) nas práticas docentes do 1.º ciclo do Ensino Básico e nos projetos curriculares de turma

Dissertação de Mestrado, Educação (Desenvolvimento e Concepção de Projectos Educativos), 19 de Março de 2013, Universidade dos Açores.