Abordagem (auto)biográfica de um processo de formação

Dissertação de mestrado em Ciências da Educação: área de Educação e Desenvolvimento

Internet na educação: contributo para a construção de redes educativas com suporte computacional

Tese de doutoramento em Ciências da Educação

Sucesso profissional, formação formal e experiencial: estudo de factores-chave no itinerário de um agricultor

Dissertação de mestrado em Ciências da Educação, na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa e do Diplôme d' Université François Rabelais de Tours

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.

Constraint solving over multi-valued logics - application to digital circuits

Due to usage conditions, hazardous environments or intentional causes, physical and virtual systems are subject to faults in their components, which may affect their overall behaviour. In a ‘black-box’ agent modelled by a set of propositional logic rules, in which just a subset of components is externally visible, such faults may only be recognised by examining some output function of the agent. A (fault-free) model of the agent’s system provides the expected output given some input. If the real output differs from that predicted output, then the system is faulty. However, some faults may only become apparent in the system output when appropriate inputs are given. A number of problems regarding both testing and diagnosis thus arise, such as testing a fault, testing the whole system, finding possible faults and differentiating them to locate the correct one. The corresponding optimisation problems of finding solutions that require minimum resources are also very relevant in industry, as is minimal diagnosis. In this dissertation we use a well established set of benchmark circuits to address such diagnostic related problems and propose and develop models with different logics that we formalise and generalise as much as possible. We also prove that all techniques generalise to agents and to multiple faults. The developed multi-valued logics extend the usual Boolean logic (suitable for faultfree models) by encoding values with some dependency (usually on faults). Such logics thus allow modelling an arbitrary number of diagnostic theories. Each problem is subsequently solved with CLP solvers that we implement and discuss, together with a new efficient search technique that we present. We compare our results with other approaches such as SAT (that require substantial duplication of circuits), showing the effectiveness of constraints over multi-valued logics, and also the adequacy of a general set constraint solver (with special inferences over set functions such as cardinality) on other problems. In addition, for an optimisation problem, we integrate local search with a constructive approach (branch-and-bound) using a variety of logics to improve an existing efficient tool based on SAT and ILP.

Feyerabend

É objectivo desta dissertação sobre Teoria e Incomensurabilidade em Feyerabend, aprofundar o conhecimento da problemática, da interpretação de teorias científicas e o contexto da sua emergência e configuração, tal como é dada a ler nos primeiros ensaios. Consideraram-se para o efeito, relevantes, sobretudo, as fontes primárias, em que tal temática é avaliada. O primeiro capítulo estrutura-se a partir de Realism and Historicity of Knowledge, escrito a pensar em Bohr, porque este ensaio, embora posterior, sintetiza os problemas que se levantam às tradições abstractas quando procuram acomodar o progresso científico, esquecendo a história. Assinalámos assim o fundo de tensão de que emerge o problema da avaliação do potencial heurístico das teorias científicas. Mobilizámos Knowledge without Foundations, por parecer incontornável a matriz popperiana da recusa fundacionalista que nesse período projectava, e Wittgenstein's Philosophical Investigations por levantar os problemas da pragmática do saber científico a partir da discussão dos jogos de linguagem e dos seus lances, porque os considerámos estruturantes. No segundo capítulo procurámos desenvolver o tema da incomensurabilidade entre teorias não instanciais sucessivas mobilizando para o efeito os ensaios onde nos pareceu ser dominante a análise e a perspectivação histórica do debate dialéctico (positivismo/realismo) acerca dos problemas decorrentes das interacções entre teoria e experiência, teoria e observação, teoria e linguagem corrente e teoria e prática científica como é o caso em Attempt at a Realistic Interpretation of Experience, em que avança a Tese I e expõe o irrealismo da tese da estabilidade e a irrelevância das mudanças no emprego de termos científicos na linguagem corrente, por força de mutações ocorridas na supra estrutura teórica. Desenvolvemos também a partir de Explanation, Reduction and Empiricism, os problemas e as dificuldades da interpretação de teorias científicas decorrentes da pretensão ortodoxa de justificação formal de redução e explicação de teorias gerais, desenvolvida quer na teoria da redução de Nagel, quer na teoria da explicação de Hempel e Oppenheim . Encerramos o capítulo com o problemas da testabilidade de teorias científicas e a solução que a adopção, quer do princípio da proliferação, quer de alternativas fortes, introduziria. O terceiro capítulo enfatiza, para lá dos consensos partilhados e das diferenças assumidas, a importância das contribuições de Feyerabend, Kuhn e Lakatos para a problematização das teses do neopositivismo, do racionalismo crítico e do falsificacionismo na história e filosofia da ciência.

Concurrent tabling

In the past few years Tabling has emerged as a powerful logic programming model. The integration of concurrent features into the implementation of Tabling systems is demanded by need to use recently developed tabling applications within distributed systems, where a process has to respond concurrently to several requests. The support for sharing of tables among the concurrent threads of a Tabling process is a desirable feature, to allow one of Tabling’s virtues, the re-use of computations by other threads and to allow efficient usage of available memory. However, the incremental completion of tables which are evaluated concurrently is not a trivial problem. In this dissertation we describe the integration of concurrency mechanisms, by the way of multi-threading, in a state of the art Tabling and Prolog system, XSB. We begin by reviewing the main concepts for a formal description of tabled computations, called SLG resolution and for the implementation of Tabling under the SLG-WAM, the abstract machine supported by XSB. We describe the different scheduling strategies provided by XSB and introduce some new properties of local scheduling, a scheduling strategy for SLG resolution. We proceed to describe our implementation work by describing the process of integrating multi-threading in a Prolog system supporting Tabling, without addressing the problem of shared tables. We describe the trade-offs and implementation decisions involved. We then describe an optimistic algorithm for the concurrent sharing of completed tables, Shared Completed Tables, which allows the sharing of tables without incurring in deadlocks, under local scheduling. This method relies on the execution properties of local scheduling and includes full support for negation. We provide a theoretical framework and discuss the implementation’s correctness and complexity. After that, we describe amethod for the sharing of tables among threads that allows parallelism in the computation of inter-dependent subgoals, which we name Concurrent Completion. We informally argue for the correctness of Concurrent Completion. We give detailed performance measurements of the multi-threaded XSB systems over a variety of machines and operating systems, for both the Shared Completed Tables and the Concurrent Completion implementations. We focus our measurements inthe overhead over the sequential engine and the scalability of the system. We finish with a comparison of XSB with other multi-threaded Prolog systems and we compare our approach to concurrent tabling with parallel and distributed methods for the evaluation of tabling. Finally, we identify future research directions.

Comunicação ambiental a níveis estratégicos de decisão

O objectivo central desta dissertação é desenvolver uma abordagem de comunicação entre a prática de Avaliação Ambiental Estratégica (AAE) e a tomada de decisão (política), que actue ao nível dos diferentes valores. A presente dissertação salienta a relevância da comunicação enquanto factor crítico de influência ao nível estratégico de decisão, explorando a capacidade do discurso dos técnicos (de avaliação) afectar significativamente as escolhas (políticas) da sociedade em matéria ambiental. Esta relevância comunicacional confere um novo sentido ao papel social dos técnicos de avaliação (ambiental), atribuindo-lhes uma responsabilidade comunicativa orientada para facilitar a tomada de decisão estratégica. Esta dissertação identifica ainda a natureza intrinsecamente subjectiva das tomadas de decisão, reforçando a urgência em adaptar as metodologias de AAE ao contexto decisional particular em que se inserem. O desenvolvimento da abordagem de comunicação recorre ao princípio da intersubjectividade, isto é, ao estabelecimento de um quadro de interacção entre técnicos de avaliação (ambiental) e decisores (políticos), de modo a que os valores em jogo exerçam uma influência recíproca - estimulando a convergência das diferentes percepções do problema -, e assim contribuir para a aceitação mútua dos resultados das avaliações (ambientais) técnicas. A implementação emergente da AAE no quadro legal nacional – subsequente à transposição da Directiva 2001/42/CE – vem criar uma oportunidade para o desenvolvimento de formas diferentes de avaliação de impactes, mais ajustadas (e influentes) a níveis estratégicos de decisão. É face a este contexto que se propõe uma abordagem de comunicação adaptada à lógica da AAE, instrumento com o potencial para elevar o diálogo entre técnicos de avaliação (ambiental) e decisores (políticos) a níveis mais aproximados de entendimento comum. A metodologia usada nesta dissertação, apoiou-se em três vertentes principais: a revisão conceptual, o recurso a entrevistas, e o desenvolvimento de um caso de estudo. O conjunto de entrevistas realizadas (a técnicos de avaliação, académicos, jornalistas e decisores políticos) serviu fundamentalmente para reforçar a caracterização da tomada de decisão estratégica, particularmente a associada à realidade política portuguesa. O caso de estudo, de natureza descritiva, refere-se ao caso da co-incineração em Portugal - uma situação potencial de implementação da abordagem de comunicação desenvolvida -, revelando, em exemplos concretos, as questões conceptuais que a presente dissertação aborda.

Evaluación del programa brasileno de biodiésel como fuente de desarrollo rural sostenible para la región semiárida del Nordeste de Brasil

Debido a preocupaciones ambientales y de abastecimiento de energía, se buscan alternativas renovables al petróleo. En 2004, fue lanzado, en Brasil, el Programa Nacional de Producción y Uso de Biodiésel con el objetivo de sustituir el diesel y fomentar la inclusión social de los agricultores familiares, especialmente de las regiones más pobres. El biodiésel representaría así una nueva fuente de renta y de desarrollo sostenible para las zonas productoras de oleaginosas. A partir del estudio realizado en la región Semiárida del Estado de Ceará, se observó que la baja remuneración de la producción agrícola y el reducido número de empleos generados hacen del mercado del biodiésel un suplemento de la renta familiar. Ambientalmente, la durabilidad se ve comprometida por el problema endémico de la sequía – agravado por el cambio climático – y las prácticas agrícolas tradicionales. Parece igualmente necesario fomentar los cultivos cuya producción, tradición cultural y uso potencial sean compatibles con la lógica de la agricultura familiar. En definitiva, el programa, a través del Sello Combustible Social, representaría un componente de una matriz de políticas para el desarrollo rural sostenible de la agricultura familiar, entre las cuales estarían la adaptación del sistema productivo y de apoyo y acceso a la tierra.

Clonagem funcional como metodologia na identificação de marcadores de virulência de Leishmania (Viannia) braziliensis

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Biotecnologia.

O ensino da Física em Portugal na sequência da reforma de 1947

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Física Laboratorial, Ensino e História da Física

Eficiência energética na administração do Porto de Sines

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para a obtenção do grau de Mestre em Engenharia do Ambiente, perfil Gestão e Sistemas Ambientais

Concepção de curricula em análise espacial para o terceiro ciclo do ensino básico

Dissertação apresentada como requisito parcial para obtenção do grau de Mestre em Ciência e Sistemas de Informação Geográfica

Desenvolvimento da saúde ocupacional em Portugal e a prática profissional dos médicos do traba

A importância e a magnitude da saúde da população trabalhadora advém, em primeiro lugar, da justa consideração de que se trata do elemento mais dinâmico e numeroso da sociedade, do factor essencial da produção de bens e serviços e do garante da produtividade económica (Lefranc, 1988). O desenvolvimento sustentado das sociedades modernas conta com os trabalhadores como o meio de trabalho vivo mais valioso, pelo que a valorização da sua saúde está com ele directamente correlacionado (Duclos,1984; Dias, 1993). O conhecimento das relações trabalho e saúde foi e continuará a ser condição necessária, mas não suficiente, para a organização de intervenções promotoras da saúde e do bemestar no local de trabalho e de medidas profilácticas das doenças e lesões relacionadas com o trabalho e com as condições em que este é efectuado (OMS, 1981). É preciso que a sociedade e as suas estruturas políticas e económicas assumam a Saúde Ocupacional (SO) como objectivo prioritário e criem as condições legais, técnico-profissionais e materiais para a levar à prática (Portugal, 1991a e 2001). O actual estádio da organização e da prestação de cuidados de Saúde Ocupacional em Portugal é fruto de um processo complexo onde intervêm factores de natureza política, social, económica e técnico-científica. Estes, interactuando entre si, criaram as condições objectivas e subjectivas para o lançamento, na década de sessenta, de um modelo legal de serviços de Medicina do Trabalho o qual influenciou o desenvolvimento da saúde dos trabalhadores e a prática profissional dos médicos do trabalho (Faria et al., 1985 ). A Medicina do Trabalho como especialidade médica apresenta a característica ímpar de, ao contrário de outras especialidades, ter sido precedida pela lei, regulamento ou norma (Larche-Mochel, 1996). A sua prática, também muitas vezes entendida como de Saúde Ocupacional, integra-se desde o início na lógica do sistema legal criado em Portugal na década de sessenta que privilegia os cuidados médicos (Faria et al., 1985). Na evolução interactiva da saúde no mundo do trabalho, as condições objectivas de natureza estrutural, próprias do crescimento económico de cada país ou região, assumem um papel essencial. No entanto, como a outros níveis sociais, os factores subjectivos ligados aos conhecimentos, experiências e organização dos parceiros sociais e do poder político influenciam a estrutura formal da organização da Saúde Ocupacional (Duclos, 1984; Dias, 1993). O que ressalta da realidade portuguesa é que o inadequado e incongruente modelo político organizacional de prestação de cuidados de medicina do trabalho dos anos sessenta (Faria et al., 1985), foi substituído pela nova legislação de 1994 e 1995, (Decreto Lei 26/94 e Lei 7/95) que dá suporte a uma nova estrutura formal de serviços de Segurança, Higiene e Saúde no Trabalho (SHST) que está longe de corresponder à realidade da evolução das forças produtivas, da sua organização e das necessidades de saúde e bem-estar dos trabalhadores (Santos, 1998; Graça, 1999). A reformulação da política de Saúde Ocupacional, com a correspondente reorganização de serviços de saúde dirigidos à população trabalhadora, tem sido defendida por alguns autores e entidades desde o início da década de oitenta (Faria et al., 1985; BIT, 1985; Santos; Faria, 1988; Graça, 1999). Recentemente tal necessidade tornou-se uma evidência constatada por todos os parceiros sociais e pelo poder político, o que levou ao desencadear do processo de mudança em curso, que conta como primeiro facto, a aprovação do “Acordo de Segurança, Higiene e Saúde no Trabalho”, pelo Conselho Permanente de Consertação Social, em Julho de 1991, renovado pelo “Acordo sobre Condições de Trabalho, Higiene e Segurança no Trabalho e Combate à Sinistralidade” do Conselho Económico e Social de Fevereiro de 2001 (Portugal, 1991a e 2001). De tempos a tempos, a falta de médicos do trabalho em termos absolutos é referenciada na comunicação social por responsáveis políticos ou profissionais de saúde ocupacional sem, no entanto, ser conhecida qualquer análise suficientemente rigorosa da prática profissional dos actuais médicos do trabalho diplomados ou legalmente habilitados. Os médicos do trabalho não são os únicos profissionais de saúde ocupacional, e o seu contributo, apesar de importante, não é determinante no desenvolvimento histórico da organização dos cuidados de saúde à população trabalhadora. Reconhece-se que os parceiros sociais e o poder político são os intervenientes principais da evolução das políticas de saúde ocupacional (Graça, 1993a; Dias, 1993). No entanto, os médicos do trabalho são necessários e mesmo fundamentais para pôr em prática as políticas (implícitas e explícitas) de saúde ocupacional. O papel dos médicos do trabalho é tão primordial que, não raras vezes, estes assumem um tal protagonismo que é susceptível de ser considerado como uma prática profissional mais dirigida aos seus próprios interesses, do que virada para as necessidades de saúde dos trabalhadores (Walters, 1984). O papel dos médicos e a prática de medicina do trabalho são elementos relevantes no processo de desenvolvimento histórico da saúde dos trabalhadores, de tal modo que a adopção de um determinado modelo de serviços de SHST sendo, num dado momento, a resultante da interacção dos diversos factores em presença, torna-se por sua vez um elemento condicionante do pensamento e da prática profissional dos diversos técnicos de saúde ocupacional, entre os quais figuram os médicos do trabalho (BIT, 1985; WHO, 1986 e 1995; Directiva CEE n.º 391/1989; Rantanen, 1990). Um primeiro inquérito aos diplomados com o curso de medicina do trabalho (cerca de 500) realizado pela Cadeira de Saúde Ocupacional da ENSP, em 1982, mostrou que cerca de um terço (34,6%) não exercia qualquer actividade profissional relacionada com a saúde ocupacional e os que a praticavam faziam-no essencialmente como actividade secundária (74,4%), em regime de pluriemprego, de tempo parcial (horário semanal igual ou inferior a 20 horas em 73,4% dos casos e inferior a 10 horas em 24,1%) e em empresas industriais de grande dimensão (66,9%), em unidades de 500 ou mais trabalhadores (Faria et al., 1985). Em 1993, altura em que se inicia o presente estudo, é efectuado um novo inquérito aos antigos alunos que representam o núcleo mais numeroso de médicos com actividade profissional em Saúde Ocupacional no início da década de noventa. A estes junta-se um número, relativamente pequeno, de médicos de empresa habilitados ao abrigo de disposições transitórias e excepcionais contempladas na legislação de organização de serviços médicos do trabalho de 1962 e 1967 (Portugal, 1991b). A partir de 1991 têm início os Cursos de Medicina do Trabalho das Universidades de Coimbra e do Porto, com a admissão anual e bianual de candidatos, respectivamente. Os diplomados destas escolas representam um número acrescido de profissionais que iniciam a sua actividade neste período de transição na organização dos cuidados de Segurança, Higiene e Saúde no Trabalho (Decreto Lei nº 441/91; Decreto Lei n.º 26/94; Lei n.º 7/95). A Estratégia Global da Saúde Ocupacional para Todos aprovada pela Assembleia Mundial da Saúde em 1995 constitui a estrutura de enquadramento da nova política de saúde ocupacional que inclui entre as suas dez prioridades o desenvolvimento de serviços orientados para a população trabalhadora (WHO, 1995). Estes serviços devem funcionar bem, de forma competente e compreensiva, centrados na prevenção multidisciplinar e incluir a vigilância do ambiente de trabalho e da saúde dos trabalhadores e a promoção da saúde, conforme a Declaração de Saúde Ocupacional Para Todos aprovada no segundo encontro de Centros Cooperativos para a SO da OMS, realizado em Pequim, em 1994. Este trabalho tem como finalidade conhecer as eventuais inter-relações entre o novo modelo legal de organização dos cuidados de Segurança, Higiene e Saúde no Trabalho (SHST), instituído em Portugal nos anos de 1994/1995, e o pensamento e a prática profissional dos médicos do trabalho diplomados pela Escola Nacional de Saúde Pública da Universidade Nova de Lisboa (ENSP/UNL). De um modo mais específico pretende-se descrever em que medida o novo enquadramento jurídico da MT/SHST/SO, correspondente genericamente à fase da Nova Saúde Ocupacional, foi acompanhado de alterações: (1) da percepção do grau de satisfação dos médicos do trabalho quanto ao seu papel e estatuto profissionais; (2) do nível de satisfação relativo à formação especializada formal (Curso de Medicina do Trabalho da ENSP/UNL) versus as necessidades da prática profissional; (3) da efectividade do desempenho profissional e (4) da adequação do novo modelo de organização de serviços de MT/ SHST/SO ao contexto do desenvolvimento sócio-económico e científico nacional e ao sentir dos médicos do trabalho. Quatro grandes temáticas vão ser abordadas: (1) politicas, organização e desenvolvimento da saúde ocupacional nacional e de empresa; (2) papel e funções dos médicos do trabalho; (3) ensino e necessidades formativas em saúde ocupacional; (4) prática profissional dos médicos do trabalho de empresa. Os resultados obtidos serão contextualizados através do enquadramento num modelo teórico explicativo da evolução histórica dos cuidados de saúde à população trabalhadora em meio laboral e que é alvo de revisão no presente trabalho. Este estudo enquadra-se nos objectivos e temas de investigação prioritários da Saúde Para Todos (SPT) da região europeia da OMS, nomeadamente o estudo do funcionamento dos actuais sistemas de assistência sanitária, tendo em vista a adequada cobertura das necessidades de saúde de

Do Agrarismo ao Liberalismo. Francisco Soares Franco. Um pensamento crítico.

Cultura Moderna e Contemporânea, n.4