An encompassing framework for Paraconsistent Logic Programs

AbstractWe propose a framework which extends Antitonic Logic Programs [Damásio and Pereira, in: Proc. 6th Int. Conf. on Logic Programming and Nonmonotonic Reasoning, Springer, 2001, p. 748] to an arbitrary complete bilattice of truth-values, where belief and doubt are explicitly represented. Inspired by Ginsberg and Fitting's bilattice approaches, this framework allows a precise definition of important operators found in logic programming, such as explicit and default negation. In particular, it leads to a natural semantical integration of explicit and default negation through the Coherence Principle [Pereira and Alferes, in: European Conference on Artificial Intelligence, 1992, p. 102], according to which explicit negation entails default negation. We then define Coherent Answer Sets, and the Paraconsistent Well-founded Model semantics, generalizing many paraconsistent semantics for logic programs. In particular, Paraconsistent Well-Founded Semantics with eXplicit negation (WFSXp) [Alferes et al., J. Automated Reas. 14 (1) (1995) 93–147; Damásio, PhD thesis, 1996]. The framework is an extension of Antitonic Logic Programs for most cases, and is general enough to capture Probabilistic Deductive Databases, Possibilistic Logic Programming, Hybrid Probabilistic Logic Programs, and Fuzzy Logic Programming. Thus, we have a powerful mathematical formalism for dealing simultaneously with default, paraconsistency, and uncertainty reasoning. Results are provided about how our semantical framework deals with inconsistent information and with its propagation by the rules of the program

C14. Um caso de polimiosite, fibrose pulmonar e cancro do pulmão

The authors present the case of a 67 year-old man with a 50-pack-year history of cigarette smoking. He had been in the navy for 30 years where he was exposed to asbestos fibbers.He had been asymptomatic until the age of 62, when he started to experience increasing exertional dyspnoea. One year later he had an episode of fever, productive cough and myalgias. Digital clubbing was noticed and bibasilar crackles were present on chest auscultation.Thoracic CT scan obtained at that time, were compatible with Usual Interstitial Pneumonia and bronchoalveolar lavage excluded other diseases. Pulmonary function studies: restriction and decreased DLco.Deflazacort, acetylcysteine and azathioprine were administered. Azathioprine was then switched to cyclophosphamide because of clinical and functional deterioration. Two years later he began Interferon Gamma 1b, with clinical and functional improvement lasting one year.He was then diagnosed Polymyositis and received Immunoglobulin.Twelve months later he was admitted to the hospital with intermittent fever, non productive cough, worsening exertional dyspnoea and myalgias. The Thoracic scan showed honeycombing and bronchiectasis. In the left inferior lobe there was a peripheral nodule. The patient was submitted to a Thansthoracic Needle Biopsy, the tissue immunocytochemistry pattern revealed Small Cell Lung Cancer. In the staging procedures there were positive mediastinal and hilar nodes and multiple hepatic metastases.Only one administration of chemotherapy was performed with carboplatinum and etoposide, without response. Unfortunately the patient died a fortnight later.Polymyositis has been associated with a variety of malignancies, in this case, the patient developed pulmonary fibrosis previously to the diagnosis of Polymyositis, and only several years later Small Cell Lung cancer was diagnosed

Diversidade cultural e religião na Europa contemporânea

UID/CPO/04627/2019Este trabalho analisa as condições de (des)crença numa Europa contemporânea marcada por uma forte e crescente diversidade cultural. Observamos o estado da arte (teórico e empírico) relativamente aos resultados de estudos anteriores sobre o binómio religião-diversidade. Verificamos que, tendencialmente, a diversidade se encontra negativamente associada à coesão e vitalidade religiosas. Os efeitos fragmentadores e relativizadores da diversidade e o crescimento de uma cultura, implícita ou explicitamente, secular são habitualmente apontados como os motivos fundamentais para a fragilização dos laços religiosos, sobretudo dos tradicionais/institucionais. No entanto, a maioria dos investigadores vem resistindo à afirmação dessa correlação negativa, assumindo apenas a deslocação e recomposição da religião em condições de diversidade. Concluímos que se pode concordar com essa asserção; porém, torna-se difícil negar que a diversidade tem efeitos secularizantes, ainda que limitados, na religião, particularmente por conta da emergência e hegemonia dum paradigma imanente de interpretar o mundo. This paper analyzes the conditions of (dis)belief in contemporary Europe within a context of strong and growing cultural diversity. We examine the (theoretical and empirical) state of the art regarding the results of previous studies on the binomial religion-diversity. We observe that diversity is usually negatively associated with religious cohesion and vitality. The fragmenting and relativizing effects of diversity and the growth of an implicit or explicit secular culture are usually referred to as the primary sources for the weakening of religious ties, especially traditional/institutional ones. However, most researchers have resisted affirming this negative correlation, speaking only of displacement and recomposition of religion in diversity conditions. We conclude that this assertion has validity; nevertheless, it becomes hard to deny that diversity has secularizing, although limited, effects on religion, chiefly because of the emergence and hegemony of an immanent paradigm of interpreting the world.publishersversionpublishe

Análise dos resultados do estudo «Identidades Religiosas em Portugal»

UID/CPO/04627/2013publishersversionpublishe

A caridade cristã como nova matriz civilizacional

UID/CPO/04627/2013The revival and reinterpretation of the concept of Christian charity-our dependent variable-is important because of the new significance that, from the past few years, it has gained due to the financial world crisis. In the Church's opinion, this crisis of civilization revalidates it because few like him offer inspiration for the erection of the new social ideal. Our research proposes a diachronic analysis, from the beginning of the Christian era to the XXI century, which will go through many of Church's primary sources, as the Holy Scriptures and the early patristic texts, or even the most recent studies and encyclical documents over the subject. Therefore, we propose a unique and comprehensive revision of charity, questioning it through the relationship with multiple independent variables, whether political, social or economic. We will consider, albeit briefly, the Portuguese case study in order to give a more concrete face to the current validity...publishersversionpublishe

As teorias da secularização na Europa: novas perspetivas qualificativas e quantitativas sobre os fenómenos religiosos contemporâneos

Esta tese tem como objetivo principal testar as teorias da secularização, procurando entender não apenas o lugar da religião nas sociedades europeias hodiernas, mas sobretudo qual destas teorias, se é que alguma, é atualmente mais útil para descrever esta realidade sociorreligiosa. Queremos, portanto, compreender quais os processos da modernidade que têm mais efeitos (positivos ou negativos) na religião. Tal como vários investigadores denunciam, chegámos a um impasse ou a um ponto morto no debate sobre a secularização. Uns pedem, de forma mais assertiva do que no passado, em particular por conta dos fenómenos de revitalização (pública ou privada) da religião à escala global, que as teorias da secularização sejam abandonadas. Outros continuam a advogar que os seus pressupostos são demasiadamente ricos para serem abandonados levemente e que a secularização continua a ser uma boa forma de compreender o funcionamento das sociedades modernas, nomeadamente das europeias, no concernente à religião. Apesar destas divergências a maioria dos investigadores sociais da área converge no mesmo sentido, nomeadamente na ideia de que são necessárias novas estratégias metodológicas e de conceptualização, novas análises qualitativas e quantitativas e novas grelhas analíticas para se pôr à prova a validade das asserções da secularização. A nossa tese é ou tenta ser um passo neste sentido. Para cumprir os nossos objetivos organizámo-la em duas partes fundamentais. Na primeira parte trabalhamos as teorias da secularização duma forma mais indutiva, reconceptualizando-as e operacionalizando-as teoricamente. Em particular, sublinhamos o facto de termos dividido as teorias da secularização em quatro camadas essenciais, de as termos enquadrado no paradigma das múltiplas modernidades (com a sugestão duma análise contextual da secularização) e de termos selecionado um grupo de países europeus pouco frequentemente analisado e comparado – Áustria, Eslováquia, Espanha, Itália, Polónia e Portugal. Na segunda parte trabalhamos as teorias da secularização duma forma mais hipotético-dedutiva, procedendo a análises qualitativas e quantitativas que nos permitem pôr à prova os pressupostos das suas camadas internas. É neste campo que reside, no nosso ver, o contributo mais original do nosso trabalho, pois criamos um índice de religiosidade (a nossa variável dependente) que é correlacionável com as camadas da secularização (as variáveis independentes). Isto permite-nos perceber a validade e atualidade das últimas e corroborar ou não a sua narrativa. Pela própria dinâmica atual das sociedades europeias modernas consideramos ainda, e em grande profundidade, a questão da diversidade cultural, pois ela é imprescindível para compreender as novas dinâmicas da religião e a sua relação com este fenómeno incontornável da modernidade. Para tal também criamos um índice de diversidade cultural que é correlacionável com a nossa variável dependente. Concluímos que, para o conjunto dos países analisado e para o período de análise determinado (1999-2015), as teorias da secularização continuam a estar, no geral, muito negativamente correlacionadas com os índices de religiosidade destas sociedades. Além disso, enfatizamos que a variável independente diversidade cultural é a que mais negativamente está correlacionada com a religiosidade, pelo que consideramos que o seu estudo é atualmente o mais premente ao nível das teorias da secularização. PALAVRAS-CHAVE

A sexta alteração à diretiva de troca de informações : a comunicação obrigatória de esquemas de planeamento fiscal e o seu impacto nos direitos fundamentais

A nossa dissertação versa sobre a sexta alteração à Diretiva de Troca de Informações. Tal alteração tem na sua base a Ação 12 do BEPS, através da qual a OCDE propõe um novo paradigma de relacionamento entre administrações fiscais e contribuintes marcado por uma grande transparência. Após um exame do respetivo regime, a dissertação centrar-se-á na análise do impacto do mesmo nos direitos fundamentais das pessoas obrigadas à comunicação, nomeadamente no que concerne à certeza jurídica, ao direito ao aconselhamento jurídico e ao direito à não autoincriminação. Em nossa opinião, e do ponto de vista de um juízo de concordância prática, o fim da tutela do sistema fiscal deverá prevalecer diante pontuais e ultrapassáveis défices de certeza jurídica. Deve também preponderar sobre o dever de sigilo profissional, exceto quando tal obste ao direito de defesa. Terá necessariamente de ceder perante o direito à não autoincriminação, já que a sua proteção deve ser absoluta. Por fim, a dissertação concluirá com uma análise do anteprojeto que visa transpor a Diretiva, propondo ao legislador português algumas medidas a adotar aquando da sua implementação.Our thesis discusses the sixth amendment to the Administrative Cooperation Directive. Such amendment is based on BEPS Action 12, in which the OECD proposes new relationship model between tax administrations and taxpayers characterized by increased transparency. After reviewing the regime, the dissertation will be focused on the admendment´s impact on the fundamental rights of the people obliged to mandatory disclosure rules, in particular, in what concerns to legal certainty, the right to legal advice and the privilege against self-incrimination. In our view, and based on a balancing exercise, the safeguard of the tax systems should prevail over ocasional deficits of legal certanty. It should also prevail over professional secrecy, except in what concerns the right to defense. It shall necessarily be adjusted in what concerns the need to fulfil the right not to self-incriminate oneself, since its protection must be comprehensive. We conclude with an analysis of the preliminary draft that intends to transpose the Directive, proposing a number of measures to be taken by the portuguese lawmaker

Direcionadores de Valor (Value Drivers) e a Avaliação de Hóteis - Um estudo de casos múltiplos na Região Autónoma da Madeira (RAM)

Face às circunstâncias económicas atuais na Região Autónoma da Madeira (RAM), é de conhecimento público a existência de diferentes hotéis no mercado (“à venda”). Para a determinação de um valor de negociação para os hotéis, ambas as partes, vendedores e potenciais compradores, esgrimem argumentos, negoceiam e discutem os diversos pressupostos da avaliação e respetivos direcionadores de valor que justifiquem os valores apresentados. Aproveitamos a presente dissertação para abordar a temática da avaliação de hotéis, com especial enfoque nos principais direcionadores de valor (value drivers). Com a identificação dos principais direcionadores de valor associados à indústria hoteleira, pretendeu-se aferir da respetiva relevância na determinação de valor em hotéis localizados na Região Autónoma da Madeira (RAM). Neste estudo de investigação de caracter qualitativo é efetuada uma caracterização do mercado da hotelaria na RAM, bem como a apresentação dos principais métodos de avaliação recomendados para a determinação de valor de um hotel. Para apurar os direcionadores de valor mais importantes na determinação de valor dos hotéis localizados RAM, foram realizadas 4 entrevistas semiestruturadas a diretores gerais ou financeiro de 4 unidades hoteleiras de 3 e 4 estrelas localizadas na Ilha da Madeira. Neste estudo de investigação foi concluído que os direcionadores de valor de natureza não financeira têm cada vez mais importância para os investidores. Podemos destacar direcionadores como a localização, dimensão, qualidade dos serviços prestado, condições económicas e a existência de contratos com Tour Operators

Projeto e desenvolvimento de um sistema universal de motorização para acoplamento em cadeira de rodas

Dissertação de mestrado em Engenharia MecânicaA independência e a autónoma mobilidade de uma pessoa com deficiência motora é um processo de elevado valor, permitindo uma boa qualidade de vida e uma conquista significativa. No mercado estão disponíveis inúmeros mecanismos que viabilizam a mobilidade de pessoas com tais deficiências, sendo a cadeira de rodas um do objetos indispensáveis para pessoas que apresentam dificuldade de locomoção. Uma cadeira de rodas é um sistema que permite a deslocação através de quatro rodas colocadas nos extremos de uma cadeira onde se senta o deficiente motor. Atualmente existem uma vasta gama de modelos com as mais variadas funções podendo ser de acionamento manual ou motorizado. Se por um lado as cadeiras de rodas motorizadas possibilitam um reduzido esforço físico, por outro são múltiplas vezes mais caras que as manuais, levando a grande maioria dos utilizadores a conformar-se com o uso das cadeiras manuais. No âmbito do trabalho desta dissertação, pretende-se projetar um módulo de locomoção motorizado, que possa ser acoplado a cadeiras de rodas manuais convencionais. Uma das grandes vantagens para além do custo reduzido, é a possibilidade de usufruir dos benefícios da cadeira motorizada sem perder a liberdade que o modelo manual proporciona, oferecendo maior agilidade, leveza e facilidade de transporte quando dobrável. O módulo de locomoção não é mais que uma opção, já que o equipamento pode ser colocado para utilização em grandes distâncias e percursos mais difíceis e retirado para o uso em pequenas solicitações.The independence and autonomous mobility of a person with physical disabilities is a process of high value, allowing a good quality of life and a significant achievement. Are available in the market numerous mechanisms that enable the mobility of people with disabilities such being the wheelchair, one indispensable objects for people who have limited mobility. A wheelchair is a system that allows travel through four wheels placed at the ends of a chair where you sit the disabled, there is currently a wide range of models with more varied function can be manually operated or motorized. If on one hand the motorized wheelchairs enable a low physical effort are also another multiple times more expensive than the manual, taking the vast majority of users to comply with the use of manual chairs. In the work of this thesis dissertation, we intend to design a motorized locomotion module, which can be attached to conventional manual wheelchairs. One of the great advantages beyond reduced cost is the ability to enjoy the benefits of motorized chair without losing the freedom that the model provides manual offering greater flexibility, lightness and ease of transport when folding. The module of movement is no longer an option, since the equipment can be put to use in long distances and difficult paths withdrawn for use on small requests