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.

Proof theory for hybrid(ised) logics

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. In a series of papers this process has been detailed and taken as a basis for a speci cation methodology for recon gurable systems. The present paper extends this work by showing how a proof calculus (in both a Hilbert and a tableau based format) for the hybridised version of a logic can be systematically generated from a proof calculus for the latter. Such developments provide the basis for a complete proof theory for hybrid(ised) logics, and thus pave the way to the development of (dedicated) proof support.

Scalable semantic aware context storage

The number of connected devices collecting and distributing real-world information through various systems, is expected to soar in the coming years. As the number of such connected devices grows, it becomes increasingly difficult to store and share all these new sources of information. Several context representation schemes try to standardize this information, but none of them have been widely adopted. In previous work we addressed this challenge, however our solution had some drawbacks: poor semantic extraction and scalability. In this paper we discuss ways to efficiently deal with representation schemes' diversity and propose a novel d-dimension organization model. Our evaluation shows that d-dimension model improves scalability and semantic extraction.

Desenvolver a consciência fonológica na educação pré-escolar : potencialidades da exploração da diversidade linguística

O presente trabalho centra-se no desenvolvimento de um projeto de sensibilização à diversidade linguística e cultural, intitulado “Por ritmos nunca dantes navegados”, numa sala de um jardim de infância português, tendo como finalidade avaliar e compreender o desenvolvimento da consciência fonológica de um grupo de doze crianças entre os 3 e os 4 anos de idade. Para o efeito, recorremos a uma metodologia mista, que se traduziu em procedimentos de tipo quantitativo e qualitativo de recolha e análise de dados: no primeiro caso, recorremos a testes de consciência fonológica e de discriminação auditiva, aplicados a um grupo experimental e a um grupo de controlo de seis crianças antes e após as sessões de sensibilização; no segundo caso, recorremos à observação direta e à vídeo gravação das quatro sessões do projeto. A análise dos dados recolhidos, realizada através de análise estatística e de conteúdo, permitiu alcançar resultados relevantes, tendo-se registado um desenvolvimento significativo das capacidades de discriminação auditiva e de consciência fonológica (silábica e da palavra) do grupo experimental que esteve presente nas sessões de sensibilização. Os resultados da análise estatística parecem sugerir que o contacto com línguas diferentes, através de atividades de sensibilização, contribui para a descoberta de unidades segmentais das línguas, essenciais para realizar tarefas de discriminação auditiva e de consciência fonológica. A análise de conteúdo ajudou a corroborar os resultados obtidos nos testes de discriminação auditiva e de consciência fonológica, tendo as crianças do grupo experimental revelado, nas suas interações, ser capazes de discriminar sons, bem como segmentar e manipular palavras e sílabas. Estes resultados sustentam a importância das abordagens plurais na educação pré-escolar, pois o contacto com sonoridades, línguas e palavras diferentes faz com que a criança atente no objeto-língua, realizando sobre ele múltiplas e ricas atividades para o desenvolvimento de competências metalinguísticas e também sociais.

Das representações sociais à educação intercultural: identidade/alteridade de alunos autóctones e estrangeiros numa escola multicultural

Os fenómenos migratórios têm contribuído para a configuração de uma realidade sociocultural diversa que marca as sociedades do século XXI. Portugal não é exceção, sendo um dos países onde mais aumentou proporcionalmente a imigração legal permanente, fenómeno coexistente com a emigração da sua população. Neste contexto de migrações reconfiguram-se identidades, não apenas para os migrantes mas também para os autóctones, cuja (re)construção balança entre a semelhança e a diferença. Sem esta relação, a identidade fica comprometida, pois ela existe fundamentalmente pelo reconhecimento dos outros. A liberdade cultural e linguística é também uma dimensão do desenvolvimento humano, pelo que tem vindo a ganhar proeminência a promoção da diversidade linguística e cultural, e a consequente educação intercultural, que se assume como espaço privilegiado de reflexão e ação. Defende-se que a verdadeira integração dos imigrantes terá de ser multilingue e não pode ser realizada apagando as suas diferenças, nem obrigando-os a abandonar as suas línguas nativas e culturas. O domínio da Língua Portuguesa é uma das vias mais poderosas para a integração dos estrangeiros a residir em Portugal, tanto como garantia da autonomia individual que faculta o exercício de uma cidadania ativa, como de harmonia social ao nível coletivo. A escola portuguesa, atenta a este facto, vê reconhecida, por parte do Ministério da Educação, a Língua Portuguesa como fator de integração. Todavia, esse reconhecimento contrasta com a indiferença perante as línguas maternas dos alunos estrangeiros, ignorando-se, assim, um importante elemento das suas pertenças identitárias. Neste âmbito, alguns autores afirmam que a escola portuguesa nem sempre tem praticado uma verdadeira educação intercultural, adotando, pelo contrário, parte das características hegemónicas da cultura dominante, o que se traduz, por conseguinte, no esmagamento simbólico (coletivo) das culturas minoritárias. O nosso estudo usa as Representações Sociais como formas de conhecimento prático que permitem a compreensão do mundo e a comunicação, proporcionando coerência às dinâmicas sociais. Procurámos fazer, através delas, uma leitura da valorização da diversidade linguística e cultural na escola, uma vez que as Representações Sociais que se têm do Outro justificam a forma como se interage com ele e imprimem direção às relações intra e intergrupais. A investigação que aqui apresentamos procura dar primazia à “voz” do aluno como fonte de conhecimento, aos fenómenos, a partir das experiências interindividuais e intergrupais, e à forma como as pessoas experienciam e interpretam o mundo social que constroem interativamente. Para esse efeito, recolhemos dados através de entrevistas semidiretivas individuais junto de dez alunos autóctones e dez alunosestrangeiros de uma mesma escola. Complementarmente, realizámos entrevistas aos Encarregados de Educação de oito dos alunos entrevistados, quatro de cada grupo, aos cinco Diretores de Turma desses alunos e ao Diretor da escola. Do ponto de vista metodológico, a presente investigação desenvolveu-se de acordo com uma abordagem de natureza qualitativa, relacionada com um paradigma fenomenológico-interpretativo – os fenómenos humanos e educativos apresentam-se, na sua complexidade, intimamente relacionados e a sua compreensão exige a reconciliação entre a epistemologia e o compromisso ético. Procurando uma leitura global dos resultados obtidos, e à semelhança de alguns estudos, a nossa investigação demonstra que, ao não se promover proativamente uma educação intercultural – designadamente a sua função de crítica cultural e o combate a estereótipos e preconceitos que essencializam as diferenças do Outro culturalmente diverso –, a escola não prepara os alunos para a sociedade contemporânea, culturalmente diversa, dinâmica e com um elevado nível de incerteza, nem para uma abordagem positiva e frontal dos conflitos em toda a sua complexidade. À escola impõem-se ainda muitos desafios relativos às muitas diversidades que acolhe no seu seio, de forma a que todos aqueles que constituem a comunidade escolar – designadamente os alunos, sejam eles estrangeiros ou autóctones – se sintam parte integrante dela, respeitados tanto pelas suas raízes, como pelas múltiplas pertenças dinamicamente em (re)construção, como, ainda, pelos seus projetos de futuro. A informação, por si só, não promove a ação. Revela-se necessária a adoção de estratégias de intervenção que concretizem a informação nas práticas escolares quotidianas, que promovam encontros positivamente significativos, que favoreçam a igualdade social e o reconhecimento das diferenças e, ainda, que previnam atitudes discriminatórias. Para essas estratégias de intervenção serem uma constante no quotidiano das nossas escolas, a didática intercultural deve ser incentivada e operacionalizada, tanto na prática pedagógica como na formação inicial e contínua dos professores.