Gestão de Informação: Inteligência Artificial

A informação e a sua gestão é considerada nos nossos dias como o principal factor de sucesso ou insucesso para qualquer actividade económica ou social. O desenvolvimento de novas tecnologias força todos os agentes econcómicos a desenvolverem-se nestas áreas para conseguirem vantagens concorrenciais. Este trabalho visa fazer uma apresentação de uma “nova” área da ciência da computação a que se chamou Inteligência Artificial.

Optimização do despacho e reserva girante em sistemas eléctricos híbridos. Estudo de caso: sistema eléctrico da Ilha de Santiago em Cabo Verde

Dissertação para obtenção do grau de Mestre em Energias Renováveis – Conversão Eléctrica e Utilização Sustentáveis

Modelo de sistema de inferência difuso para auxílio da resposta ao risco em projectos

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de mestre em Engenharia e Gestão Industrial

eVentos 2 - Autonomous sailboat control

Dissertação para obtenção do Grau de Mestre em Engenharia Electrotécnica e de Computadores

Landslide susceptibility assessment in Karanganyar regency - Indonesia - Comparison of knowledge-based and Data-driven Models

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

Data fusion with computational intelligence techniques: a case study of fuzzy inference for terrain assessment

Dissertação apresentada para obtenção do Grau de Mestre em Engenharia Electrotécnica e de Computadores, pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia

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.

A Logic and tool for local reasoning about security protocols

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

Fuzzy clustering não supervisionado na detecção automática de regiões de upwelling a partir de mapas de temperatura da superfície oceânica

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

A study on parallel versus sequential relational fuzzy clustering methods

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

Every normal logic program has a 2-valued semantics: theory, extensions, applications, implementations

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

Catástrofes naturais em saúde pública : impactos e planos de emergência : caso de estudo : São Miguel-Açores

RESUMO - Nos últimos anos, as catástrofes naturais têm sido a causa frequente de problemas de Saúde Pública; além disso representam um sério obstáculo ao desenvolvimento das comunidades atingidas, na medida em que consomem ponderáveis recursos para a mitigação dos danos sofridos. Pode-se dizer que não existe nenhum país que não esteja exposto ao risco de catástrofes naturais, tais como Sismos, Tsunamis, Erupções Vulcânicas, Movimentos de Vertentes, Ciclones Tropicais, Ondas de Frio e de Calor, Secas e Inundações, e como tal, este é um problema global emergente. Como, actualmente, é impossível prever e controlar a ocorrência destes fenómenos, as acções humanas têm de ser direccionadas para a implementação de soluções que possam mitigar e/ou prevenir o seu impacto na sociedade. A integração do lugar, do espaço e do tempo na Saúde Pública, como componentes de investigação relativas aos problemas da população, são uma ferramenta metodológica importante no auxílio do planeamento, monitorização e avaliação das acções em saúde. O que está em causa neste estudo é o pensar, o preparar e o adaptar os nossos territórios e populações a cenários de crise que podem aparecer sem aviso prévio. Este trabalho é, sobretudo, uma forma de pensar e planear o futuro numa lógica de adaptação e valorização do território, construindo referenciais de suporte à acção. Assim, a finalidade deste estudo é contribuir para melhorar/aperfeiçoar a resposta perante novas situações de catástrofe natural, através da percepção e caracterização de situações anteriores de catástrofes naturais a que a Ilha de São Miguel, nos Açores, esteve sujeita nos últimos vinte e seis anos, através da construção e análise de cartas de localização de risco, caracterização da população em risco e da avaliação dos respectivos Planos de Emergência. ---------------------- ABSTRACT - In the last years, the natural disasters have been the frequent cause of Public Health problems and additionally they represent a serious obstacle to the development of the communities affected, in so far as they consume ponderable resources to the mitigation of the damages. It is possible to be said that there is not any country that is not exposed to the risk of natural disasters such as earthquakes, tsunamis, volcanic eruptions, landslides, tropical cyclones, waves of heat and coldness, droughts and floods, and as such, this is an emerging global problem. As it is now impossible to predict and control the occurrence of these phenomena, human actions must be directed to implement solutions that can mitigate and / or prevent their impact on society. The integration of place, space and time on Public Health, as part of research on problems of the population, are an important methodological tool to aid planning, monitoring and evaluation of activities in health. The main issue in this study is to think, prepare and adapt our territories and populations to crisis scenarios that may occur without notice. This work is mainly a way of thinking and planning ahead in a logic of adapting and improving the area, building frameworks to support the action. Thus, the purpose of this study is to contribute to improve / optimize the answer for new natural disaster situations, through the perception and characterization of previous situations of natural catastrophes that the Island of São Miguel, in the Azores, has been subject in the last twenty six years, through the construction and analysis of risk maps, characterization of the population in risk and of the evaluation of the respective Plans of Emergence.

Development of a fuzzy qualitative risk assessment model applied to construction industry

Dissertação para obtenção do Grau de Doutor em Engenharia Industrial

Recursive neuro fuzzy techniques for online identification and control

Dissertação para obtenção do Grau de Mestre em Engenharia Electrotécnica e de Computadores