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.

EWDY: uma plataforma online para planeamento de viagens

Trabalho de Projecto apresentado para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Novos Media e Práticas Web

Take Care4All: Gestor Pessoal para o Bem-Estar na Saúde, Exercício Físico e Alimentação

Este trabalho de Projecto consiste numa plataforma online que possibilita ao seu utilizador gerir simultaneamente a saúde, o exercício físico e o regime alimentar. A plataforma é uma ferramenta que ajuda a promover o bem-estar do indivíduo, porque auxilia a monitorizar a toma de medicação e a agendar consultas e/ou exames. Permite ainda identificar o exercício físico e a dieta adequada para o estado de saúde do utilizador, através do teste de aptidão física e das calculadoras de IMC, TMB e NCD. Para o desenvolvimento da plataforma foram considerados os princípios da usabilidade e acessibilidade heurística de Jacob Nielsen. O desenvolvimento do projecto assenta nas linguagens de Programação de HTML5, CSS3, PHP, MySQL, Javascript (JQuery) e na plataforma de RWD do Twitter-Bootstrap.

O contextualismo na filosofia da linguagem contemporânea

Tese apresentada para cumprimento dos requisitos necessários à obtenção do grau de Doutor em Filosofia

Cantando espalharei por toda a parte: programação, produção musical e o "aportuguesamento" da "música ligeira" na Emissora nacional da Radiodifusão (1934-1949)

Tese apresentada para cumprimento dos requisitos necessários à obtenção do grau de Doutor em Ciências Musicais – ramo Etnomusicologia

Programação em rede. Estudo de caso: Montijo e Palmela

Trabalho de Projecto apresentado para cumprimento de requisitos necessários à obtenção do grau de Mestre em Práticas Culturais para Municípios

Valores de (inter)subjetividade na análise semântica: a marcação da distância

Tese apresentada para cumprimento dos requisitos necessários à obtenção do grau de Doutor em Linguística – especialização em Linguística Portuguesa

Proposta de Criação e Programação do Centro de Interpretação Luís de Camões em Macau

Este trabalho de projecto tem por objectivo a apresentação de uma proposta conceptual para a criação e programação interpretativa do Centro de Interpretação Luís de Camões, em Macau. O ponto de partida é o monumento designado por “Gruta de Camões” – constituído por três penedos em forma de dólmen, que abrigam um pedestal encimado por um busto de bronze do poeta -, localizado naquele território, no jardim com o mesmo nome do vate, onde este terá presumivelmente permanecido por um período de dois anos, no Século XVI e escrito parte do seu Épico. Esta plausibilidade foi responsável, a partir de finais do Século XVIII, pelas diversas transformações ocorridas no local e que culminaram, em 1923, com a criação de uma tradição de romagem aos penedos onde o vate terá permanecido, durante as celebrações do 10 de Junho. Trata-se de uma performance ritual de extrema relevância para o fortalecimento dos laços da comunidade portuguesa e macaense para a coesão identitária e para o reforço da memória colectiva. O acrescento e a remoção de elementos associados ao monumento, assim como as suas relações com a literatura e com episódios e personagens da História de Macau e de Portugal e ainda a sua área envolvente (Casa Garden e Jardim de Camões), foram responsáveis pela sua transfiguração estética e classificatória. A Gruta de Camões não é apenas uma formação geológica secular, mas um repositório de valores – patrimoniais, culturais, simbólicos -, que foram sendo construídos, reconstruídos e conjugados ao longo de séculos e que importa preservar, interpretar e valorizar. É no âmbito das medidas de protecção do património cultural de Macau, que se iniciaram com a classificação da Gruta Camões como monumento, que se insere esta proposta. Dada a relevância do bem patrimonial e a inexistência de suportes informativos que comuniquem a sua relevância cultural e histórica, apresenta-se uma proposta de musealização e interpretação do local, que salvaguarde e comunique os valores patrimoniais associados através da modalidade “centro de interpretação”. Por outro lado e na sequência da sua criação, sugere-se ainda a condução de um programa interpretativo, que facilite à comunidade residente e a todos os possíveis públicos-alvo, a interpretação e a divulgação destes importantes conteúdos e que surge integrado numa estratégia de planificação.

Programação genética

A Programação Genética (PG) é uma técnica de Aprendizagem de Máquina (Machine Learning (ML)) aplicada em problemas de otimização onde pretende-se achar a melhor solução num conjunto de possíveis soluções. A PG faz parte do paradigma conhecido por Computação Evolucionária (CE) que tem como inspiração à teoria da evolução natural das espécies para orientar a pesquisa das soluções. Neste trabalho, é avaliada a performance da PG no problema de previsão de parâmetros farmacocinéticos utilizados no processo de desenvolvimento de fármacos. Este é um problema de otimização onde, dado um conjunto de descritores moleculares de fármacos e os valores correspondentes dos parâmetros farmacocinéticos ou de sua atividade molecular, utiliza-se a PG para construir uma função matemática que estima tais valores. Para tal, foram utilizados dados de fármacos com os valores conhecidos de alguns parâmetros farmacocinéticos. Para avaliar o desempenho da PG na resolução do problema em questão, foram implementados diferentes modelos de PG com diferentes funções de fitness e configurações. Os resultados obtidos pelos diferentes modelos foram comparados com os resultados atualmente publicados na literatura e os mesmos confirmam que a PG é uma técnica promissora do ponto de vista da precisão das soluções encontradas, da capacidade de generalização e da correlação entre os valores previstos e os valores reais.

Análise de Contexto e Lógica do Projecto Europeu "Investigação epidemiológica e prevenção do VIH/ISTs entre Homens que têm sexo com Homens - SIALON II". Estudo de caso na Região de Lisboa e Península de Setúbal.

A avaliação de projectos na área do VIH permite gerar informação pertinente para que os gestores consigam adaptar as intervenções ao tipo de população-alvo. Organizações internacionais como a ONUSIDA e a OMS têm trabalhado na elaboração de documentos de referência que orientem os processos de avaliação, mas continua a existir escassez de estudos sobre os efeitos e impacto das intervenções no âmbito do VIH. À semelhança de muitos países europeus, em Portugal tem-se registado um aumento da proporção de casos de infecção pelo VIH na comunidade de HSH. Este panorama alerta para a necessidade de se investir na intervenção, nomeadamente no acesso à informação, à prevenção da doença e ao acesso aos cuidados de saúde. O presente trabalho teve como principal objectivo realizar um estudo de avaliabilidade do projecto europeu “Investigação epidemiológica e prevenção do VIH/ISTs entre Homens que têm Sexo com Homens – SIALON II”. Para a elaboração deste estudo recorreu-se a uma abordagem de estudo de caso, uma vez que é o tipo de estudo mais indicado na pesquisa qualitativa para a elaboração de avaliações em saúde. A recolha de dados para a realização da análise de contexto, construção do modelo lógico do projecto e respectiva validação foi feita através da análise de dados secundários recolhidos na fase de pesquisa formativa do projecto, de análise documental e da realização de entrevistas a informadores-chave. Da análise de contexto foi possível verificar que as associações da comunidade local têm tido um papel activo na participação em projectos que proporcionaram, nos últimos anos, a recolha de dados bio-comportamentais e na organização de campanhas de prevenção junto da comunidade HSH. A par do contexto legislativo nacional alguns estudos desenvolvidos na temática da discriminação e estigma indicam que ainda existem problemas desta índole contra a comunidade LGBT em Portugal. A construção do modelo lógico e a respectiva validação junto de informadores-chave representou a coerência lógica entre os recursos, as actividades, os produtos e os resultados intermédios e finais do projecto europeu. Os recursos financeiros são escassos e apesar da sobrecarga de trabalho os recursos humanos encontram-se motivados. O ponto forte do projecto é a oportunidade de se conhecer melhor a população HSH, enquanto as fragilidades passam pela questão do financiamento e dos problemas de estigma e preconceito face à homossexualidade e ao VIH. O principal factor do contexto apresentado que podia influenciar a implementação do projecto na área de estudo foi a questão da mentalidade e da pouca abertura por parte da comunidade em falar da sua saúde sexual. Com a implementação do projecto espera-se que a população HSH se sinta sensibilizada para esta problemática e que o teste ao VIH comece a fazer parte de uma rotina de controlo e acompanhamento regular. Recomenda-se o estudo da não aceitação em participar no projecto por parte dos proprietários dos locais de encontro gay; a introdução de avaliação contínua no ciclo de vida dos projectos; a promoção do envolvimento da comunidade na avaliação de impacto das intervenções em saúde; e a reavaliação da alocação de recursos para a sustentabilidade da participação das organizações da comunidade nos projectos. Palavras-chave: VIH, Estudo de avaliabilidade, Análise de Contexto, Análise Lógica, Modelo Lógico.

Programação de Percursos pelo Património Cultural da Universidade de Lisboa

Este relatório conclui o estágio no Museu Nacional de História Natural e da Ciência, em que o meu contributo passou por programar três percursos que valorizassem o património cultural da Universidade de Lisboa, no atual contexto. Através destes passeios, é pretendido envolver o público, em geral, no mundo universitário, dando a conhecer toda a riqueza e diversidade patrimonial, toda a história dos espaços pertença de cada uma das Faculdades da Universidade de Lisboa e o cruzamento possível e desejável com a história do País. Estes são alguns dos percursos possíveis, tendo em conta todo o património da Universidade de Lisboa, muito diverso, riquíssimo e em alguns casos pouco conhecido do grande público. É agora necessário que este património seja, também, incorporado em visitas turísticas.