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.

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

e-Recruitment: descrição e inferência sobre oferta e procura

Trabalho de Projeto para obtenção do grau de Mestre em Engenharia Informática e de Computadores

Liderança em agrupamentos de territórios de intervenção prioritária: imperativos, contingências e lógicas de acção

Centrado na acção de liderança, este estudo propôs-se identificar as contingências e imperativos inerentes ao processo de implementação do programa TEIP num agrupamento de escolas. Especificamente, pretendeu-se captar a heterogeneidade das lógicas de mudança e identificar modos de apropriação subjectiva da liderança pedagógica e organizacional. Os resultados reforçam a ideia de que implementar um programa novo é construção de complexidade holística, implicando a conjunção integrada de múltiplas estratégias de liderança. Discutem-se os resultados à luz das teorizações iniciais, com relevo para as lógicas de prestação de contas e alguns sinais de „balcanização‟ organizacional.