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.

Falsos amigos PT-SP en el lenguaje jurídico - una propuesta de clasificación

Comunicação apresentada nas Jornadas de Língua e Direito, organizadas pelo ISCAP e pela Universidade Católica Portuguesa, Outubro de 2013.

Tradução e análise do humor em “Jeeves Takes Charge” de P.G. Wodehouse

Dissertação apresentada para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Tradução

O contextualismo na filosofia da linguagem contemporânea

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

On the iteration of Katsuno and Mendelzon update

In this dissertation we present a model for iteration of Katsuno and Mendelzon’s Update, inspired in the developments for iteration in AGM belief revision. We adapt Darwiche and Pearls’ postulates of iterated belief revision to update (as well as the independence postulate proposed in [BM06, JT07]) and show two families of such operators, based in natural [Bou96] and lexicographic revision [Nay94a, NPP03]. In all cases, we provide a possible worlds semantics of the models.

Problemas de saúde nos países desenvolvidos e planeamento estratégico: evolução das políticas e estratégias de prevenção e combate à pré-obesidade e obesidade infantil e dos jovens em Portugal

A obesidade é uma doença crónica e constitui um factor de risco para outras patologias, como a diabetes ou as doenças cardiovasculares, contribuindo para a diminuição da qualidade de vida de adultos, crianças e jovens, e para o aumento dos custos directos e ndirectos com a saúde. Entre as suas múltiplas causas, destacam-se as mudanças comportamentais, nomeadamente as alterações ao padrão alimentar e a diminuição da actividade física, que resultam num balanço energético positivo. A pré-obesidade e obesidade são um grave problema de saúde nos países desenvolvidos e em desenvolvimento, sendo consideradas como epidemia global e um dos maiores desafios da saúde pública do início do século XXI. Verifica-se que a obesidade tem efeitos negativos imediatos na saúde individual dos mais jovens, aumentando-lhes também o risco de obesidade e suas co-morbilidades na idade adulta. O crescimento do problema entre crianças e jovens, bem como uma maior facilidade na introdução de mudança aos seus comportamentos, está na base de recomendações para que seja dada prioridade à prevenção e combate à pré-obesidade e obesidade nestas faixas etárias. Em Portugal, diversos estudos indicam o agravar do problema entre a população, sendo a prevalência entre crianças e jovens uma das mais ao nível europeu. Este facto, associado aos custos individuais, sociais e económicos da doença, constitui um foco de interesse para quem estuda a evolução dos sistemas de saúde. Com esta investigação procurou-se compreender a evolução das políticas e estratégias de prevenção e combate à pré-obesidade e obesidade infantil e dos jovens e como ela se projecta no futuro. Para tal, fez-se uso de uma metodologia qualitativa, através da análise da semântica e conteúdos de um Corpus documental que incluiu, entre outros, a Estratégia de Saúde para o Virar do Século (1998-2002), o Plano Nacional de Saúde 2004-2010 e a versão preliminar do Plano Nacional de Saúde 2011-2016. Os resultados mostram que o aumento de prevalência de excesso de peso na população portuguesa levou a que o problema ganhasse importância nas preocupações das autoridades de saúde. Verifica-se no entanto que a preocupação com o aumento da prevalência nas crianças e jovens se reflectiu mais tardiamente nos documentos estratégicos. Conclui-se ainda que a centralidade política da prevenção e combate ao problema, em particular, nas idades infanto-juvenis, surge após a aprovação da Carta Europeia de Luta Contra a Obesidade (WHO-Europe, 2006), de que Portugal é signatário. É possível estabelecer uma correspondência entre os princípios da Carta e as orientações estratégicas do PNS 2011-2016, recomendando-se o reforço deste alinhamento. PALAVRAS-CHAVE: Pré-obesidade, Obesidade, Portugal, Infantil, Crianças, Adolescentes, Jovens, Excesso de Peso, Plano Nacional de Saúde, Sistemas de Saúde, Planeamento em Saúde, Carta Europeia de Luta contra a Obesidade, Planeamento Estratégico.

A perceção das marcas patrocinadoras dos festivais de verão pelos participantes

O aumento da popularidade e da diversidade dos Festivais de Verão, a que temos assistido nos últimos anos, quer a nivel nacional e internacional, explica o interesse no desenvolvimento de um estudo sobre a eficácia das marcas patrocinadoras e o impacto nos mesmos tanto a nivel de conhecimento e consumo. Quando uma marca é patrocinadora de um Festival de Verão tem como principal objetivo que os seus participantes a identifiquem como tal e, consequentemente, passem a ser consumidores dando a conhecer a essência da marca, seus produtos e serviços associados. O presente estudo visa analisar até que ponto a associação da marca ao festival e o aumento do consumo são concretizados. Neste sentido, foi desenvolvido um estudo empírico de carácter quantitativo sobre as atitudes dos consumidores face ao patrocínio de marcas a festivais de música em Portugal. Os festivais seleccionados foram: Meo Marés Vivas, Nos Primavera Sound e Vodafone Paredes de Coura. O grande objectivo consistiu na avaliação da perceção dos consumidores de festivais de Verão nas marcas patrocinadoras dos mesmos. Tendo em conta os objetivos desta dissertação concluímos que, de uma maneira geral, que estes festivais são frequentados essencialmente por estudantes, com idades compreendidas entre 16 e 22 anos. Após análise das variáveis, as marcas patrocinadoras influenciam positivamente o consumidor, no que concerne à recordação/notoriedade da marca e à lealdade na com a mesma. Relativamente à identificação dos patrocinadores, verificou-se que as marcas mais associadas são as que possuem relação semântica com o festival e são, também, as que possuem maior consumo, notoriedade e relevância no mercado. O Vodafone Paredes de Coura destaca-se por ser o festival o que provocou mais atitudes positivas por parte dos inquiridos.

Polissemia nominal diacrônica. Do conceito ao linguístico: relações lexicias a partir dos corpora de especialidade

Tese apresentada para cumprimento dos requisitos necessários à obtenção do grau de Doutor em Linguística – Lexicologia, Lexicografia e Terminologia e e Tese apresentada para cumprimento dos requisitos necessários à obtenção do grau de Doutor em Filologia e Língua Portugesa na Faculdade de Filosofia Letras e Ciências Humanas da Universidade de São Paulo

Contribuição para a formulação de uma metodologia de ensino e avaliação baseada na análise estatística de textos em Português

Tese apresentada para cumprimento dos requisitos necessários à obtenção do grau de Doutor em Ciências da Educação, Especialização de Tecnologia, Rede e Multimédia na Educação e Formação

Os valores semânticos das preposições a, até e para em Português Europeu Trajetórias, fronteiras, telicidade e topologia

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

Desafios da arte contemporânea à conservação e restauro. Documentar a arte Portuguesa dos anos 60/70

A dissertação que aqui se apresenta partiu da necessidade de colocar em confronto as bases éticas da conservação e restauro, que assentam na defesa da materialidade histórica, com a progressiva desmaterialização da arte que ocorre a partir da década de 60 em diante. A organização do trabalho implicou, na escrita, a distinção entre duas partes: uma históricoteórica e a outra de carácter mais prático. Na primeira parte procurámos justificar a progressiva tendência histórica para a desmaterialização do suporte artístico bem como a consequente necessidade de um re-pensamento dos aspectos éticos e práticos da conservação, com particular atenção à documentação do ponto de vista autoral. Na segunda parte da dissertação apresentamos um conjunto de oito casos práticos, a partir de obras de oito artistas portugueses – Henrique Ruivo, Lourdes Castro, Noronha da Costa, Ana Vieira, Alberto Carneiro, João Vieira, René Bertholo e Helena Almeida - todos com início de carreira na década de 60. Procurámos reunir, com base numa investigação em torno dos aspectos da criação da obra, mas também da sua recepção, informação detalhada sobre materiais constitutivos, sua origem e semântica, técnicas, processos criativos, bem como a posição de cada autor relativamente ao envelhecimento das obras em análise. Para o efeito procedemos a um conjunto de entrevistas presenciais aos artistas em questão, directores de museus e curadores – com envolvimento com as obras daqueles - bem como ao levantamento da fortuna crítica associada às obras seleccionadas. Um dos aspectos que se revelou decisivo ao longo do trabalho foi o da investigação dos processos criativos, central para obras cuja autenticidade não se pode resumir a qualquer noção de originalidade material, podendo contudo ser alicerçada na investigação e documentação do processo criativo, realizado essencialmente a partir do ponto de vista autoral. O trabalho efectuado teve também como objectivo a compreensão das condições reais de conservação documental das peças. Concluímos: a necessidade de se proceder à documentação(inscrição) como forma de conservação; o papel imprescindível de uma historiografia da arte mais centrada nos aspectos da preservação; a urgência de formar profissionais preparados para desempenhar esta tarefa; bem como a indispensabilidade de ferramentas que permitam a organização da informação e a sua disponibilização, no âmbito da comunidade envolvida na arte contemporânea, e ao público em geral.

Quiçama : um toponimo com várias grafias

Este trabalho é motivado por se verificar uma certa confusão sobre a grafia do topónimo em estudo. As diversas grafias do topónimo em estudo utilizadas em manuais escolares, em obras científicas e literárias, em placas toponímicas e em documentos oficiais da Administração Pública, constituem não só confusões toponímicas como também confusões topográficas. Entretanto, apresentamos este trabalho com a finalidade de propor uma medida de uniformização e normalização das diversas grafias utilizadas na administração pública (programa televisivo e radiofónico, jornais, conteúdo escolar, instituições públicas, etc) para se referenciar a região em estudo. Contudo, esta uniformização e normalização visa contribuir para a gestão de informação de qualidade na administração pública da região. O estudo toponímico em questão foi analisado em duas dimensões, histórica e linguística. Na dimensão histórica analisamos os aspectos históricos da região. Na dimensão linguística, analisamos a questão da estrutura morfológica do topónimo em estudo, a sua motivação semântica e a sua classificação toponímica de acordo Dick. Consideramos fundamentais para a análise do topónimo em estudo.

El texto como objeto de análisis de diferentes teorías y métodos ;Carasucia, desde la perspectiva Barthesiana

Tesis (Maestría en Letras Españolas) U.A.N.L.

Cours de philosophie : programmes des baccalauréats de philosophie et de mathematiques, a l'usage de la Jeunesse catholoque des écoles

UANL

Información e ingeniería del lenguaje.

Desarrollar unas ideas sobre información e ingeniería del lenguaje entre las lecciones de Psicología Industrial del programa, dada la importancia organizativa de las comunicaciones y del lenguaje en el mando de grupos humanos y en la dirección de sus actividades. Ofrecer un tema que despierte la curiosidad investigadora de los universitarios (desde el filósofo hasta el técnico de comunicaciones). El lenguaje como medio importante para la comunicación. Existen tres bloques en el presente trabajo: 1. Psicoinformática, información y conducta, elementos de la teoría de la información, aprehensión de la información. 2. Lenguaje: estructura estadística, psicología y lógica del lenguaje e inteligibilidad. 3. Aplicaciones: lenguaje y comportamiento, criptografía, lenguajes automáticos, máquinas de traducir, lenguajes unívocos, ingeniería de las comunicaciones, mercadotecnia. Se trata el lenguaje y la comunicación explicando sus características, códigos, su lógica y estructura estadística, la semántica, el diferencial semántico, los elementos retóricos de los mensajes, la identificación de textos y el criptoanálisis, para hacer referencia posteriormente a los lenguajes automáticos, los ordenadores, los programas de ordenador, las máquinas de traducir y sus inconvenientes. Por último tratan la mercadotecnia desde la promoción de los productos hasta el análisis del mercado como difusión de la información. La bibliografía que recomienda la divide en varios temas: teoría de la información, ordenadores, vertiente psicológica y lógica matemática. Se trata de un trabajo de tipo informativo en el que se destaca la importancia de la comunicación y el lenguaje en el mando de grupos humanos por lo que señala la importancia de su investigación. Se ofrece una serie de ideas, fórmulas, tablas orientativas e información sobre el lenguaje y las formas de comunicación, que puede servir como estímulo para la posterior investigación dada la importancia organizativa de las comunicaciones.