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.

Avaliação em educação e formação: contributo para a construção de um quadro de referência

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

Enhancing information retrieval in folksonomies using ontology of place constructed from Gazetteer information

Dissertation submitted in partial fulfilment of the requirements for the Degree of Master of Science in Geospatial Technologies

Integrated ecological-economic modelling and assessment aproach for coastal ecosystem management

Thesis submitted to the Faculty of Sciences and Technology, New University of Lisbon, for the degree of Doctor of Philosophy in Environmental Sciences

Post-processing Techniques in Free Boundary Flows during Liquid Composite Moulding Processes

Post-processing a finite element solution is a well-known technique, which consists in a recalculation of the originally obtained quantities such that the rate of convergence increases without the need for expensive remeshing techniques. Postprocessing is especially effective in problems where better accuracy is required for derivatives of nodal variables in regions where Dirichlet essential boundary condition is imposed strongly. Consequently such an approach can be exceptionally good in modelling of resin infiltration under quasi steady-state assumption by remeshing techniques and with explicit time integration, because only the free-front normal velocities are necessary to advance the resin front to the next position. The new contribution is the post-processing analysis and implementation of the freeboundary velocities of mesolevel infiltration analysis. Such implementation ensures better accuracy on even coarser meshes, which in consequence reduces the computational time also by the possibility of employing larger time steps.

Designing a technology assessment post-graduation programme: experiences, limits and needs

The post-graduation in the field of Technology Assessment (TA) is recent and that are several and different ways to be organised. Most experiences are related with the Masters diplom level (2nd cycle of graduation in high education). Just one in PhD level is explicit in the field of TA, and some other PhD courses include also TA topics in their programme structure. In this chapter we will analyse the problems related with the design of a post-graduation (MA, MSc or PhD) programme in the field of TA using as reference some international experiences. Hereby, the main conclusion seems to address labour market needs in the specialised knowledge of TA, of technology management or technology innovation. In this sense TA should be included as “minor” into post-graduation courses which may range from engineering disciplines to social sciences. As a graduation programme it can fill an expertise gap between technicians, engineers, scientists and the strategic decision makers or policy makers.

RepComp - replicated software components for improved performance

Trabalho apresentado no âmbito do Mestrado em Engenharia Informática, como requisito parcial para obtenção do grau de Mestre em Engenharia Informática

Designing a technology assessment post-graduation programme: experiences, limits and needs

IET Working Papers Series No. WPS09/2010

Epidemiologia e Saúde Públi

RESUMO - Visa-se explicitar a origem, a razão de ser, a natureza e o que se perspectiva da relação entre a Epidemiologia e a Saúde Pública, através de uma leitura histórica. As duas entidades foram-se definindo e fazendo sentido em conjunto, com sucessos e, também, muita polémica, desde há milénios e até meados do século XIX. Nesta época, uma combinação de circunstâncias proporcionou-lhes uma explosão de crescimento e de definição, de par com várias outras áreas disciplinares. Desde o antigo relato bíblico de como boa alimentação explica o bom estado de saúde, até à valorização científica das condicionantes sociais e económicas da saúde por Marmot e Rose, passando por «miasmas» causando doença e pela deslocação do conceito de risco individual de saúde para o de risco populacional — com as implicações inerentes a essa importante inovação —, este percurso permite identificar as fundações de tão notável simbiose, explicar o estado presente, vê-la evoluir e achar nela o significado do património hoje disponível, e o que ele promete. Algumas discrepâncias quanto à designação dos seus métodos, bem como a contínua discussão quanto à sua verdadeira natureza e orientação futura, atestam a juventude da Epidemiologia como disciplina científica. Entretanto, a Saúde Pública esforça-se por manter a sua essência integradora, à medida que outras disciplinas contribuem mais para que concretize os seus objectivos; é desafiada pela exposição das populações, em larga escala, a factores de doença, por vezes de intensidade mínima, e pelo surgimento de novas doenças ou a ampliação do volume de outras na população, muitas vezes não respeitando fronteiras. A história dessa simbiose mostra bem que conhecer o modo como uma doença se origina permite controlá-la na população, ou mesmo evitá-la, e que é grande o número de problemas que, em sinergia, as duas disciplinas podem clarificar e resolver. Assim, a Epidemiologia oferece à Saúde Pública explicações (olhos, inteligência e linguagem) para os problemas de saúde das populações — o que permite à segunda saber sobre o quê agir —, cenários de possível evolução dos problemas — o que permite aos decisores optarem em função de diferentes pressupostos, sobre como agir — e capacidade de juízo sobre os resultados das acções empreendidas, em simultâneo com a elevação do nível de consciência, de compreensão e de intervenção quanto ao que se está a passar, tanto pelos profissionais, como pela população — transferência do conhecimento. Facilmente se antecipa que a relação entre as duas disciplinas irá evoluir para maior complexidade e, também, solicitação e exigência da Saúde Pública sobre a Epidemiologia, que terá que corresponder em utilidade. E esta, continuando a subespecializar-se e a sofisticar-se tanto nos métodos, como nos enfoques sobre categorias específicas de factores, precisará de progredir muito na gestão da sua consistência enquanto corpo de conhecimento integrado e com peculiaridades metodológicas, à semelhança da Saúde Pública.O modo como evoluirá a relação entre ambas depende ainda da evolução dos próprios problemas, conceitos, teorias e soluções relacionados com a saúde das populações, e ainda do desenvolvimento das demais disciplinas chamadas à integração por ambas, para enfrentarem esses desafios. Nomeadamente, a Epidemiologia terá que gerir com perícia dificuldades já identificadas, como: incorporar métodos qualitativos de investigação na sua fortíssima tradição e cultura quantitativa; operacionalizar satisfatoriamente o conceito de «risco atribuível na população», ao serviço da definição de prioridades de acção dirigida às necessidades de saúde; aperfeiçoar modelos de interpretação causal que respeitem a multicausalidade; aproveitar as técnicas estatísticas de análise multivariada, sem se perder na abstracção dos seus modelos; desenvolver a investigação nas dimensões positivas de saúde, além da doença, para contribuir melhor para a realização da Saúde Pública, sua principal cliente e fornecedora de oportunidades.--------------------------ABSTRACT - The aim of the author is to explicit the origin, the rationale, the nature and the prospects of the relationship between Epidemiology and Public health, through an historic approach. The two entities have been defining and making sense together, by achieving successes, but also with much controversy, since millennia ago, until mid XIX century. A combination of circumstances provided them the opportunity for an explosion of growth and definition, then, alongside several other disciplines. From the ancient biblical report on how good food explains good health, up to the scientific appreciation of both social and economical constraints to health by Marmot and Rose, passing through «miasma» causing disease and through displacing from individual health risk to population risk — with the inherent implications of that important innovation —, this route allows the identification of the foundations of such remarkable symbiosis, the explanation of current status, to see its evolution and find in it the meaning of today’s heritage and what it promises. Some discrepancies on the name of its methods, as well as the continuing discussion about its true nature and future orientation, attest Epidemiology’s youth as a scientific discipline. Meanwhile, Public Health strives to keep its integrating essence, while other disciplines increasingly contribute so that it achieves its objectives; it is challenged by large scale population exposure to disease factors, sometimes with a minimum intensity, and by new diseases emerging in the population or by old ones getting amplified, often not respecting regions boundaries. The history of such a symbiosis shows that knowing the way a disease is generated allows to control it in the population, or even to avoid it, and that the number of problems that the two disciplines are able to clarify and solve together in synergy is considerable. Therefore, Epidemiology offers Public Health explanations (eyes, intelligence and language) for populations’s health problems — allowing that the latter knows on what to act —, scenarios on how problems may tend to evolve — allowing decision-makers to make their choices as a function of different assumptions, on how to act — and judgement capabilities on the results of already undertaken actions, accompanied by the raising of conscience level, understanding and intervention of what is going on by both professionals and the population – knowledge transfer. It is easy to anticipate that the relationship between both disciplines will develop towards increasing complexity and demand from Public Health to Epidemiology, and that this one will have to correspond in usefulness. And the latter, while continuing its subspecialisation and sophistication either in its methods, or in its approaches to specific factor categories, will need to progress in managing its consistency as an integrated body of knowledge having methodological peculiarities, similarly to Public Health. Further, the way the relationship between both will evolve depends on the evolution of the problems themselves, of the concepts, theories and solutions related to the health of populations, and on the development of remaining disciplines called to integration by both, in other to face those problems. Namely, Epidemiology will have to manage with expertise some already known difficulties, as: the inclusion of qualitative research methods in its very strong quantitative tradition and culture; to grant satisfactory operation to the «population attributable risk» concept, in support to the definition of action priorities envisaging health needs; to improve causal interpretation models that comply with multicausality; to take advantage of multivariate statistical techniques, without get

Sovereignty and power relations in the thought of Marsilius of Padua and William of Ockham a comparison.

pp. 229-253

A study in cross-cultural transmission of natural philosophy: the Kenkon Bensetsu

Dissertação apresentada para cumprimento dos requisitos necessários à obtenção do grau de Doutor em História dos Descobrimentos e da Expansão Portuguesa

Responsible innovation: bringing together technology assessment, applied ethics, and STS research

Paper presented as "key note" at the Doctorate Conference on Technology Assessment in June 2011, at FCT-UNL, Monte de Caparica.

Do discurso da violência à violência do discurso

A questão da violência discursiva estabelece com o tema da guerra, a que estes IX Encontros Interdisciplinares são dedicados, uma relação privilegiada que importa esclarecer. Ao contrário da idéia muito generalizada de que o discurso se opõe à violência, a dar crédito ao aforismo popular «a conversar é que a gente se entende», pretendo mostrar que é no discurso que a violência se fundamenta e se alimenta. Partirei de uma concepção pragmática, considerando a linguagem como prática que se desenrola ao longo do processo interlocutivo e da interacção discursiva. Da perspectiva pragmática que adopto decorrem alguns postulados que orientarão a minha abordagem da violência discursiva. Passo a explicitá-los de maneira sucinta. Primeiro postulado: a violência não é um valor semântico dos textos, da materialidade das formas verbais, mas uma dimensão pragmática da interacção verbal, da colocação dos textos em discurso^. Não tem por isso sentido dizer que um texto é violento ou não violento. A violência só pode advir aos textos a partir de pressupostos criados pela situação enunciativa. Um mesmo conjunto de unidades lingüísticas pode adquirir marcas distintas de violência, consoante as relações interlocutivas e o sentido da interacção verbal em que ocorre, em função dos diferentes quadros enunciativos particulares em que se insere.

Context-aware personalization environment for mobile computing

Dissertação para obtenção do Grau de Mestre em Engenharia Informática

Numerical methods and tangible interfaces for pollutant dispersion simulation

Dissertação apresentada para obtenção do Grau de Doutor em Engenharia do Ambiente, pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia