Reuse and integration of specification logics: the hybridisation perspective

Hybridisation is a systematic process along which the characteristic features of hybrid logic, both at the syntactic and the semantic levels, are developed on top of an arbitrary logic framed as an institution. It also captures the construction of first-order encodings of such hybridised institutions into theories in first-order logic. The method was originally developed to build suitable logics for the specification of reconfigurable software systems on top of whatever logic is used to describe local requirements of each system’s configuration. Hybridisation has, however, a broader scope, providing a fresh example of yet another development in combining and reusing logics driven by a problem from Computer Science. This paper offers an overview of this method, proposes some new extensions, namely the introduction of full quantification leading to the specification of dynamic modalities, and exemplifies its potential through a didactical application. It is discussed how hybridisation can be successfully used in a formal specification course in which students progress from equational to hybrid specifications in a uniform setting, integrating paradigms, combining data and behaviour, and dealing appropriately with systems evolution and reconfiguration.

Terminologia e ontologias : metodologias para representação do conhecimento

Discute-se na presente dissertação as metodologias de representação do conhecimento que podem ser utilizadas em terminologia na construção de ontologias. Através da análise de duas abordagens terminológicas – semasiologia e onomasiologia – observa-se o estatuto do texto de especialidade sob um ponto de vista teórico e prático, questionando-se a sua importância e o contributo do terminólogo e do especialista na captura de conhecimento enquanto especificação informal de uma conceptualização.

As tecnologias da comunicação no suporte a ambientes de eLearning e bLearning: o ambiente Formare em contexto de formação profissional

Como corolário do trabalho de investigação e desenvolvimento, iniciado em 1996, na área das tecnologias da comunicação e dos serviços multimédia em contexto de formação profissional, pretende-se, com este estudo, identificar os principais contributos das ciências e tecnologias da comunicação e da educação nos processos de especificação, concepção, desenvolvimento e utilização do sistema de gestão de aprendizagem Formare, em contexto de formação profissional. Tendo em conta a fundamentação teórica, a participação em projectos de investigação e de inovação e uma vivência prática de mais de 14 anos de actividade na área do ensino a distância, do eLearning e do bLearning em contexto empresarial, desenvolveu-se um modelo conceptual para a nova versão do LMS Formare baseada nos fundamentos da comunicação e da gestão da aprendizagem em ambiente real de utilização. Para além de estudar os fundamentos das Learning Organizations, do Ensino a Distância, da Comunicação Educacional Multimédia, do eLearning, do bLearning e dos seus principais componentes, esta tese focaliza-se na análise de dois estudos de caso, suportados pelo Formare – um, em contexto de Auto-aprendizagem no Campus PT, e outro, em contexto de Aprendizagem Colaborativa na Formação de eFormadores. Pela análise das conclusões de cada um dos estudos de caso realizados, foi possível validar as opções tecnológicas e pedagógicas utilizadas, conhecer a percepção, o grau de utilização e a avaliação pedagógica dos formandos, assim como identificar os principais indicadores de implementação do eLearning nas organizações que aderiram ao LMS Formare. A tese termina com a apresentação dos principais resultados, limitações e conclusões do estudo de investigação, e apresenta um conjunto de considerações futuras nesta área de actividade, esperando contribuir para o desenvolvimento do eLearning em contexto de uma Learning Organization.

Do grafema ao gesto : contributos linguísticos para um sistema de síntese de base articulatória

Motivados pelo propósito central de contribuir para a construção, a longo prazo, de um sistema completo de conversão de texto para fala, baseado em síntese articulatória, desenvolvemos um modelo linguístico para o português europeu (PE), com base no sistema TADA (TAsk Dynamic Application), que visou a obtenção automática da trajectória dos articuladores a partir do texto de entrada. A concretização deste objectivo ditou o desenvolvimento de um conjunto de tarefas, nomeadamente 1) a implementação e avaliação de dois sistemas de silabificação automática e de transcrição fonética, tendo em vista a transformação do texto de entrada num formato adequado ao TADA; 2) a criação de um dicionário gestual para os sons do PE, de modo a que cada fone obtido à saída do conversor grafema-fone pudesse ter correspondência com um conjunto de gestos articulatórios adaptados para o PE; 3) a análise do fenómeno da nasalidade à luz dos princípios dinâmicos da Fonologia Articulatória (FA), com base num estudo articulatório e perceptivo. Os dois algoritmos de silabificação automática implementados e testados fizeram apelo a conhecimentos de natureza fonológica sobre a estrutura da sílaba, sendo o primeiro baseado em transdutores de estados finitos e o segundo uma implementação fiel das propostas de Mateus & d'Andrade (2000). O desempenho destes algoritmos – sobretudo do segundo – mostrou-se similar ao de outros sistemas com as mesmas potencialidades. Quanto à conversão grafema-fone, seguimos uma metodologia baseada em regras de reescrita combinada com uma técnica de aprendizagem automática. Os resultados da avaliação deste sistema motivaram a exploração posterior de outros métodos automáticos, procurando também avaliar o impacto da integração de informação silábica nos sistemas. A descrição dinâmica dos sons do PE, ancorada nos princípios teóricos e metodológicos da FA, baseou-se essencialmente na análise de dados de ressonância magnética, a partir dos quais foram realizadas todas as medições, com vista à obtenção de parâmetros articulatórios quantitativos. Foi tentada uma primeira validação das várias configurações gestuais propostas, através de um pequeno teste perceptual, que permitiu identificar os principais problemas subjacentes à proposta gestual. Este trabalho propiciou, pela primeira vez para o PE, o desenvolvimento de um primeiro sistema de conversão de texto para fala, de base articulatória. A descrição dinâmica das vogais nasais contou, quer com os dados de ressonância magnética, para caracterização dos gestos orais, quer com os dados obtidos através de articulografia electromagnética (EMA), para estudo da dinâmica do velo e da sua relação com os restantes articuladores. Para além disso, foi efectuado um teste perceptivo, usando o TADA e o SAPWindows, para avaliar a sensibilidade dos ouvintes portugueses às variações na altura do velo e alterações na coordenação intergestual. Este estudo serviu de base a uma interpretação abstracta (em termos gestuais) das vogais nasais do PE e permitiu também esclarecer aspectos cruciais relacionados com a sua produção e percepção.