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.

Through Eurocentric logics : The construction of difference in foreign news discourse on Venezuela

This study aims to explore the construction of difference in foreign news discourse on culturally similar but politically different non-Western subjects. Applying critical discourse analysis (CDA) together with a critique of Eurocentrism, the study examines difference in newspaper constructions of government supporters and oppositional groups in Venezuela. Discursive differences are evident in the strategies used for constructing the two groups with regard to political rationality and violence. Government supporters are associated with social justice, Venezuela’s poor, dogmatic behavior, and the use of political violence. The opposition, in contrast, is constructed as following a Western democratic rationale that stresses anti-authoritarianism. This group is primarily associated with victims of violence. While the opposition is conveyed as being compatible with Eurocentric values and practices, government supporters to great extent deviate from these norms. Such constructions serve to legitimize politico-ideological undercurrents of Eurocentrism, as the defense of liberalism.

[lay Agency And Healthcare: Producing Healthcare Maps].

This study aimed to characterize which regulatory logics (other than government regulation) result in healthcare output, using a two-stage qualitative study in two municipalities in the ABCD Paulista region in São Paulo State, Brazil. The first stage included interviews with strategic actors (managers and policymakers) and key health professionals. The second phase collected life histories from 18 individuals with high health-services utilization rates. An analysis of the researchers' involvement in the field allowed a better understanding of the narratives. Four regulatory systems were characterized (governmental, professional, clientelistic, and lay), indicating that regulation is a field in constant dispute, a social production. Users' action produces healthcare maps that reveal the existence of other possible health system arrangements, calling on us to test shared management of healthcare between health teams and users as a promising path to the urgent need to reinvent health.

Assembling a consistent set of sentences in relational probabilistic logic with stochastic independence

We examine the representation of judgements of stochastic independence in probabilistic logics. We focus on a relational logic where (i) judgements of stochastic independence are encoded by directed acyclic graphs, and (ii) probabilistic assessments are flexible in the sense that they are not required to specify a single probability measure. We discuss issues of knowledge representation and inference that arise from our particular combination of graphs, stochastic independence, logical formulas and probabilistic assessments. (C) 2007 Elsevier B.V. All rights reserved.

Probabilistic logic with independence

This paper investigates probabilistic logics endowed with independence relations. We review propositional probabilistic languages without and with independence. We then consider graph-theoretic representations for propositional probabilistic logic with independence; complexity is analyzed, algorithms are derived, and examples are discussed. Finally, we examine a restricted first-order probabilistic logic that generalizes relational Bayesian networks. (c) 2007 Elsevier Inc. All rights reserved.

Trace Semantics for the Owicki-Gries Theory Integrated with the Progress Logic from UNITY

The theory of Owicki and Gries has been used as a platform for safety-based verifcation and derivation of concurrent programs. It has also been integrated with the progress logic of UNITY which has allowed newer techniques of progress-based verifcation and derivation to be developed. However, a theoretical basis for the integrated theory has thus far been missing. In this paper, we provide a theoretical background for the logic of Owicki and Gries integrated with the logic of progress from UNITY. An operational semantics for the new framework is provided which is used to prove soundness of the progress logic.

Proof Explanation in the DR-DEVICE System

Trust is a vital feature for Semantic Web: If users (humans and agents) are to use and integrate system answers, they must trust them. Thus, systems should be able to explain their actions, sources, and beliefs, and this issue is the topic of the proof layer in the design of the Semantic Web. This paper presents the design and implementation of a system for proof explanation on the Semantic Web, based on defeasible reasoning. The basis of this work is the DR-DEVICE system that is extended to handle proofs. A critical aspect is the representation of proofs in an XML language, which is achieved by a RuleML language extension.

Mediatizing educational policy: The journalistic field, science policy, and cross-field effects

This paper is concerned to demonstrate the usefulness of the theory of Bourdieu, including the concepts of field, logics of practice and habitus, to understanding relationships between media and policy, what Fairclough has called the 'mediatization' of policy. Specifically, the paper draws upon Bourdieu's accessible account of the journalistic field as outlined in On television and journalism. The usefulness of this work is illustrated through a case study of a recent Australian science policy, The chance to change. As this policy went through various iterations and media representations, its naming and structure became more aphoristic. This is the mediatization of contemporary policy, which often results in policy as sound bite. The case study also shows the cross-field effects of this policy in education, illustrating how today educational policy can be spawned from developments in other public policy fields.

Metas do Conselho Nacional de Justi??a 2012/2013: uma an??lise dos contornos gerenciais assumidos pela reforma do poder judici??rio no Brasil

Este artigo tem como objetivo avan??ar no estudo do processo de reforma do Poder Judici??rio brasileiro, o qual se insere no processo de reforma do Estado p??trio. A partir das contribui????es de Osborne e Gaebler (1992) e Abrucio (2006), buscou-se tra??ar um paralelo entre as l??gicas gerencial e fiscal e esclarecer como as mesmas refletiram nos indicadores de efic??cia, efici??ncia e efetividade do Poder Judici??rio no Brasil. Para atingir o objetivo proposto, optou-se por utilizar como m??todo a an??lise de conte??do de Bardin (2002), pela regra de enumera????o do tipo frequ??ncia, buscando, com isso, observar o papel que o Conselho Nacional de Justi??a exerceu nesse processo e a l??gica do plano de metas estabelecido pela institui????o para os anos de 2012 e 2013. Como resultado, observou-se que as metas estabelecidas para o bi??nio buscaram implantar uma gest??o mais eficaz nesse n??cleo estrat??gico do Estado, com ??nfase na celeridade processual, gest??o administrativa e informatiza????o dos procedimentos. Percebeu-se que a l??gica gerencial continua exercendo grande influ??ncia no modelo de gest??o adotado. Como novidade, verificou-se a inser????o de indicadores de efetividade, os quais podem permitir aproximar os objetivos dessa esfera de poder com os da sociedade brasileira, repercutindo na elabora????o de metas futuras.

Introdu????o ?? cr??tica da raz??o desestatizante

O artigo compreende uma vis??o cr??tica sobre os processos de reestrutura????o do Estado baseados na l??gica neoliberal, que caracterizam as reformas minimalistas da d??cada de 80. O tema da reforma do Estado ?? visto como um dos grandes desafios intelectuais e pol??ticos deste fim de s??culo, devendo necessariamente ser contextualizado historicamente, uma vez que n??o existe uma ??nica crise do Estado, mas v??rias crises dos Estados espec??ficas e particulares, cujas solu????es n??o s??o ??nicas nem universais, mas dependentes do diagn??stico de cada caso. Entende-se que a raz??o desestatizante apresenta limita????es, reconhecidas at?? mesmo pelas institui????es financeiras internacionais que antes a defendiam. O cen??rio de um novo modo de atua????o estatal ?? apresentado como mais prov??vel, sendo o conceito de reestatiza????o mais adequado para as mudan??as que se fazem necess??rias.

Sentidos que emergem do/circulam no trabalho docente na educação infantil

Este estudo focaliza a constituição do trabalho docente na Educação Infantil (EI), tomando como referência o cenário da EI articulado ao campo profissional, vinculado às especificidades da EI, na indissociabilidade do educar e do cuidar, no contexto de transformações do sistema educativo e da expansão da oferta da EI. Perspectiva compreender os sentidos que emergem do/circulam no trabalho docente na EI das auxiliares de creche e professoras que atuam com crianças de zero a três anos, quando mediadas por um processo de formação. É sustentado pelos pressupostos teórico-metodológicos bakhtinianos vinculados aos referenciais do trabalho docente e da formação no campo da educação infantil, com base numa configuração dialógica da compreensão. Articula essa ancoragem à pesquisa de abordagem qualitativa por meio dos procedimentos metodológicos de observação participante e entrevistas, tendo como campo de estudo a experiência de uma instituição de Educação Infantil. Os resultados demonstram tensionamentos entre formação continuada e vivência profissional, estendendo-se às profissionais docentes em situação funcional díspar diante da perspectiva pedagógica da indissociabilidade do educar e do cuidar. Os sentidos que emergiram e circularam, a partir das rodas de conversa propostas nesta pesquisa, abrangem a complexidade do trabalho docente na EI, configurado por lógicas hierárquicas no exercício da docência. Tais fundamentos incidem na diluição de um trabalho educativo pautado no compromisso pedagógico e na formação das crianças, pois, da forma como vêm sendo ampliadas e flexibilizadas as contratações, intensificam a fragilidade da função docente, no que tange à formação mínima exigida em lei para atuar na EI quanto na formação continuada.

Gira Mundos : a Educação Ambiental no mito e o mito na Educação Ambiental

A Educação Ambiental constitui-se na relação entre a natureza e a cultura de modo indissociável das relações de poder e de saber. A pesquisa enreda-se na tendência da Educação Ambiental complexa, analisa os modos de fabricação das subjetividades impostas pelo discurso neocapitalista, investiga a racionalidade herdada da sociedade moderna e explora a lógica dos referenciais afrodescendentes, em específico as lógicas presentes nos Terreiros da Umbanda. Problematiza o mito na Educação Ambiental e a Educação Ambiental no mito a partir das orixalidades umbandistas. Adota a pesquisa narrativa dialogando com Tristão (2012), problematiza os processos de subjetivação a partir de Foucault (1996) e busca capturar os saberes sustentáveis da noosfera umbandista (MORIN, 2005c) influenciada por Deleuze e Guattari (1996-1997). Através das Giras, seu principal ritual, evidencia como essas lógicas são acionadas para a fabricação de novos modos de percepção da relação entre a cultura e a natureza. Contribuem, no processo de investigação para a produção dos dados, a realização de entrevistas abertas e semiestruturadas, o registro em cadernos de bordo, gravações em áudio e vídeo, fotografias e rodas de conversas em encontros com professores e alunos de uma escola pública, próxima aos Terreiros, onde problematiza os processos e mecanismos de exclusão e violência materializados em posturas discriminatórias e de negação da cultura afro-brasileira e o modo como essas experiências são partilhadas pelos professores e alunos no contexto de suas práticas. A aposta metodológica consiste em criar estratégias de narrar experiências da Educação Ambiental em espaços não formais, como os espaços dos Terreiros da Umbanda, e em espaços formais, como a escola, através das orixalidades em narrativas, na busca de zonas de confiança e na invenção de encontros mais solidários, por escutas mais sutis e híbridas, e de novos sentidos de alianças que dissolvam pontos de vistas e desestabilizem discursos do eixo dominante, como forma de exercício do pensamento para abertura de lógicas silenciadas historicamente. Conclui que lógicas complexas incluem as existências infames e obscurecidas pela lógica oficial e que lógicas complexas buscam ver os efeitos dos modos como nós próprios fomos constituídos. A fé-eco-lógica presente nas orixalidades em narrativas potencializa a desconstrução dos regimes de verdade e subverte a monocultura de lógicas.

Os ‘intrusos’ e os ‘outros’ quebrando o aquário e mudando os horizontes: as relações de raça e classe na implementação das cotas sociais no processo seletivo para cursos de graduação da UFES

A pesquisa desta tese investiga as mediações das categorias de raça e de classe social no processo de implementação do modelo de cotas sociais da Ufes para ingresso nos cursos de graduação, entre 2006 a 2012, como parte das ações afirmativas dessa universidade. Tal modelo, para incluir a população afro-brasileira no ensino superior do Espírito Santo, respeitou estritamente os critérios de renda e de origem escolar pública, não adotando o critério étnico-racial que contemplaria especificamente os negros e os indígenas. Diante disso, o autor busca sustentar a tese de que, considerando o padrão das relações raciais brasileiras produtor de assimetrias entre grupos com marcas raciais distintas, no caso de negros e brancos, as desigualdades raciais têm na operacionalização do racismo seu mote ofensivo e poderoso, ao mesmo tempo em que a classe social isolada é insuficiente na compreensão e superação do problema racial do Brasil. Portanto, na adoção de políticas de combate às desigualdades raciais no ensino superior, caberia também a utilização de medidas etnicamente referenciadas. Autores como Hall (2008) e Fraser (2006), ao trazerem a dimensão articulada e bifocal das injustiças simbólicas e das injustiças econômicas, permitem entender a complementaridade e as dinâmicas entre ambas, deslocando-se de determinismos classistas que invisibilizam o racismo como instrumento opressor nas relações sociais. Como objetivos específicos, considera: compreender o processo de construção do modelo de cotas da Ufes, para ingresso nos cursos de graduação implementado em 2008, sob a perspectiva do debate da relação entre raça e classe; examinar as políticas de ações afirmativas como respostas às demandas históricas dos afro-brasileiros no contexto da sociedade brasileira; avaliar a posição de professores e alunos de cursos de graduação da Ufes diante do ingresso de alunos cotistas, sobretudo afro-brasileiros e pobres; e investigar a relação das políticas classistas, no caso específico das cotas sociais, na superação das assimetrias raciais. Adota como procedimentos metodológicos a metodologia dialética de pesquisa considerando todas as contradições entre raça e classe no processo de implementação de ações afirmativas na Ufes. Como instrumentos de pesquisa, utiliza entrevistas de professores e alunos cotistas e não cotistas de cursos variados da universidade, assim como documentos referentes à temática. Os resultados apontam para uma “oxigenação” da universidade depois de uma entrada maior de negros e pobres, principalmente nos cursos mais elitizados, pois as cotas operam uma dimensão pedagógica de ampliar a diversidade social na academia, trazendo outras demandas, outras 10 afetividades, outras lógicas de mundo e concepções de sociedade para a única universidade pública do Espírito Santo. Indica que os mecanismos discriminatórios e estigmatizantes interpessoais e institucionais, vividos no contexto das cotas sociais e explícitos na pesquisa, não inviabilizam a importância das ações afirmativas, pois apontam para a universidade repensar e ressignificar seus currículos e ações pedagógicas homogeneizantes no sentido de ampliar a ideia de inclusão e de democratização de seus espaços. Reitera que a raça, em seu viés político e cultural, é operante de forma relacional e independente com a classe social no contexto da produção das assimetrias raciais brasileiras, de maneira que a ação de uma não nega a ação da outra, mesmo na relação entre ambas. Enfatiza a importância do entendimento e da materialidade das ações afirmativas como políticas de reconhecimento que combateriam as desigualdades simbólicas na Ufes. Aponta a relevância das políticas de assistência estudantil, conjugadas às cotas, como políticas de redistribuição econômica, que lidariam com as dificuldades ou ausências materiais dos discentes, principalmente dos cotistas. Conclui que as cotas étnico-raciais nas universidades brasileiras são instrumentos legítimos de luta pela educação, um direito social de oportunidade dos grupos historicamente apartados de princípios constituidores da emancipação, da cidadania, dos direitos humanos, da justiça social, da igualdade e da diferença.