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.

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

Marketing e interdependência : lógicas de ação e atores na construção da imagem das escolas

Dissertação de Mestrado em Educação, especialidade em Administração e Organizaçã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.

Semantics of logic programs with explicit negation

After a historical introduction, the bulk of the thesis concerns the study of a declarative semantics for logic programs. The main original contributions are: ² WFSX (Well–Founded Semantics with eXplicit negation), a new semantics for logic programs with explicit negation (i.e. extended logic programs), which compares favourably in its properties with other extant semantics. ² A generic characterization schema that facilitates comparisons among a diversity of semantics of extended logic programs, including WFSX. ² An autoepistemic and a default logic corresponding to WFSX, which solve existing problems of the classical approaches to autoepistemic and default logics, and clarify the meaning of explicit negation in logic programs. ² A framework for defining a spectrum of semantics of extended logic programs based on the abduction of negative hypotheses. This framework allows for the characterization of different levels of scepticism/credulity, consensuality, and argumentation. One of the semantics of abduction coincides with WFSX. ² O–semantics, a semantics that uniquely adds more CWA hypotheses to WFSX. The techniques used for doing so are applicable as well to the well–founded semantics of normal logic programs. ² By introducing explicit negation into logic programs contradiction may appear. I present two approaches for dealing with contradiction, and show their equivalence. One of the approaches consists in avoiding contradiction, and is based on restrictions in the adoption of abductive hypotheses. The other approach consists in removing contradiction, and is based in a transformation of contradictory programs into noncontradictory ones, guided by the reasons for contradiction.