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áticaAfter a very brief introduction to the general subject of Knowledge Representation and Reasoning with Logic Programs we analyse the syntactic structure of a logic program and how it can influence the semantics. We outline the important properties of a 2-valued semantics for Normal Logic Programs, proceed to define the new Minimal Hypotheses semantics with those properties and explore how it can be used to benefit some knowledge representation and reasoning mechanisms. The main original contributions of this work, whose connections will be detailed in the sequel, are: • The Layering for generic graphs which we then apply to NLPs yielding the Rule Layering and Atom Layering — a generalization of the stratification notion; • The Full shifting transformation of Disjunctive Logic Programs into (highly nonstratified)NLPs; • The Layer Support — a generalization of the classical notion of support; • The Brave Relevance and Brave Cautious Monotony properties of a 2-valued semantics; • The notions of Relevant Partial Knowledge Answer to a Query and Locally Consistent Relevant Partial Knowledge Answer to a Query; • The Layer-Decomposable Semantics family — the family of semantics that reflect the above mentioned Layerings; • The Approved Models argumentation approach to semantics; • The Minimal Hypotheses 2-valued semantics for NLP — a member of the Layer-Decomposable Semantics family rooted on a minimization of positive hypotheses assumption approach; • The definition and implementation of the Answer Completion mechanism in XSB Prolog — an essential component to ensure XSB’s WAM full compliance with the Well-Founded Semantics; • The definition of the Inspection Points mechanism for Abductive Logic Programs;• An implementation of the Inspection Points workings within the Abdual system [21] We recommend reading the chapters in this thesis in the sequence they appear. However, if the reader is not interested in all the subjects, or is more keen on some topics rather than others, we provide alternative reading paths as shown below. 1-2-3-4-5-6-7-8-9-12 Definition of the Layer-Decomposable Semantics family and the Minimal Hypotheses semantics (1 and 2 are optional) 3-6-7-8-10-11-12 All main contributions – assumes the reader is familiarized with logic programming topics 3-4-5-10-11-12 Focus on abductive reasoning and applications.FCT-MCTES (Fundação para a Ciência e Tecnologia do Ministério da Ciência,Tecnologia e Ensino Superior)- (no. SFRH/BD/28761/2006

A new method for non-intrusive online wiring health monitoring

This work presents a method for preventing faults in cables prior to their happening, e.g. due to wire ageing and mounting xtures. The proposed method focus in large diameter cables delivering high currents in aircraft. However, this method could be useful in other scenarios where wiring problems could cause critical problems such as in nuclear power plants, automobiles or trains. The method consists of a sensor embedded in the cable. The sensor is made of several thin wires wrapped around the insulator of the monitoring cable in a mesh grid pattern. The cable with the embedded sensor is then covered with a second layer of insulation. Measuring the equivalent resistance of the sensor, allows to determine the health of the cable, as a fault would also damage the sensor changing its equivalent resistance. Cha ng faults, e.g. caused by wires rubbing against each other or bare wiring contact to ground or with the chassis of the vehicle, are analysed. The sensor equivalent resistance for each type of fault and its distance from the measurement system is characterized, enabling localization and prevention of wiring malfunctions. A complete prototype of the system is described, including the hardware and software components of the sensor. Additionally, the system is tested to verify operation in a environment similar to the one experienced in an aircraft. This work was developed as part of an internship in the company Active Space Technologies

Experiência Profissionalizante na vertente de Farmácia Comunitária, Hospitalar e Investigação

Esta compilação surge no culminar do Mestrado Integrado em Ciências Farmacêuticas e encontra-se dividida em três diferentes capítulos, que contemplam o projeto de investigação e os relatários de estágio em Farmácia Comunitária e Farmácia Hospitalar. O primeiro capítulo faz alusão ao trabalho de investigação, mais concretamente, a uma revisão da literatura acerca da importância da metodologia Lean no sector da Saúde. Esta filosofia teve origem na empresa Toyota, sediada no Japão, e foi descrita pela primeira vez por Womack e Jones em 1990. O objectivo principal deste paradigma prende-se com a redução do desperdicio e com a adição de valor, associados à Saúde. A sua implementação tem por base a optimização de procedimentos e consequentemente, dos recursos existentes. Face à instabilidade financeira vivida, esta metodologia tem ganho bastantes adeptos e tem sido implementada não só em Portugal como no resto do mundo. O segundo capítulo faz referência aos conhecimentos e experiências por mim adquiridos no decorrer do estágio curricular na Farmácia Comunitária. Além das tarefas realizadas, também é descrita alguma legislação que rege este tipo de Farmácias. O terceiro capítulo diz respeito ao estágio em Farmácia Hospitalar, realizado em Florença. Uma vez que o âmbito legal e operacional difere ligeiramente do nosso país, achei pertinente realizar um enquadramento geral do modelo praticado em Itália. Além disso, ainda descrevo as actividades, e as competências adquiridas por mim no decorrer do estágio.This compilation marks the end point of the Integrated Master in Pharmaceutical Sciences and it is divided into three different chapters, which contemplate the research project I've been developing and the internship reports in Community Pharmacy and Hospital Pharmacy. The first chapter analyzes the research work, more specifically the literature review on the value of the "Lean methodology" in Health sector. This philosophy has its origin in Toyota, which has its head office in Japan, and was first described by Womack and Jones in 1990. The main goal of this paradigm is to reduce waste and to add value associated with Healthcare system. Its implementation is based on the optimization of procedures and, consequently, of the existing resources. According to the financial instability lived nowadays, this methodology has collected lots of adepts and has been implemented not only in Portugal, but also in the rest of the world. The second chapter makes reference to the knowledge and experience I adquired during the intership in Community Pharmacy. In addition to the tasks performed, some legislation related to this type of pharmacies is also described. The third chapter concerns the internship in Hospital Pharmacy, taken in Florence, Italy. Since the legal and operational system differs slightly from our country, I found it appropriate to provide a general framework of the model practiced in Italy. In addition, I describe the activities and skills acquired by me during the internship

Adaptações cardiovasculares e renais à altitude

Trabalho Final do Curso de Mestrado Integrado em Medicina, Faculdade de Medicina, Universidade de Lisboa, 2021O estudo da fisiologia em altitudes elevadas apresenta uma importância crescente, uma vez que mais de 140 milhões de pessoas vivem nessas condições e verificou-se um aumento do interesse no turismo em altitude e na prática de alpinismo, sendo este estudo crucial na prevenção e tratamento das várias condições clínicas que se possam observar. A exposição a altitudes elevadas, definidas como altitudes superiores a 2400 metros, obriga o organismo humano a desenvolver uma série de adaptações integradas e bem coordenadas entre os sistemas respiratório, cardiovascular e renal, com o objetivo de melhorar o aporte de oxigénio em ambientes de hipóxia hipobárica. Este trabalho investiga as adaptações agudas e crónicas, que ocorrem especificamente nos sistemas cardiovascular e renal quando expostos à altitude, de forma a obter o estado da arte atualizado neste domínio. Foi realizada uma pesquisa da literatura na base de dados PubMed, sendo aplicadas como palavras-chave “High Altitude”, “Physiological Adaptations” e “Cardiovascular” ou “Renal” e seleção dos artigos. Traduzindo-se numa revisão narrativa da literatura dos vários artigos publicados sobre este tema. Nas adaptações cardiovasculares analisaram-se as variáveis mais relevantes na exposição à altitude, nomeadamente: circulação cerebral, circulação pulmonar, pressão arterial, frequência cardíaca, volume sistólico, débito cardíaco, contractilidade cardíaca, arritmias, finalizando com as alterações eletrocardiográficas. Nas adaptações renais, as variáveis analisadas foram: volume plasmático e concentração de hemoglobina, resposta ácido-base, balanço eletrolítico, taxa de filtração glomerular, terminando com as alterações renais dos nativos das altas montanhas, especificamente a hiperuricemia e proteinúria.The study of physiology at high altitudes is of increasing importance, as more than 140 million people live in such conditions and there has been an increase in interest in altitude tourism and mountaineering, this study is crucial in the prevention and treatment of the various clinical conditions that can be observed. Exposure to high altitudes, defined as altitudes above 2400 meters, requires the human organism to develop a series of integrated and well-coordinated adaptations between the respiratory, cardiovascular and renal systems, to improve oxygen supply in hypobaric hypoxia environments. This work investigates acute and chronic adaptations, which occur specifically in the cardiovascular and renal systems when exposed to altitude, to obtain the state of the art in this field. A literature survey was conducted in the PubMed database, and applied as keywords "High Altitude", "Physiological Adaptations" and "Cardiovascular" or "Renal" and selection of articles. This translated into a narrative review of the literature of the various articles published on this subject. Cardiovascular adaptations analyzed the most relevant variables in exposure to altitude, namely: cerebral circulation, pulmonary circulation, blood pressure, heart rate, systolic volume, cardiac output, cardiac contractility, arrhythmias, ending with electrocardiographic changes. In the renal adaptations, the variables analyzed were: plasma volume and hemoglobin concentration, acid-base response, electrolyte balance, glomerular filtration rate, ending with renal alterations of the natives of the high mountains, specifically hyperuricemia and proteinuria.This study concludes that, although there is individual variability in altitude adaptations, it is possible to define an adaptation pattern in most of the variables studied. However, in some variables, such as blood pressure, there is so much individual variability that it is not possible to define a single pattern of adaptation and, to clarify these situations, more studies should be carried out

A gestão do conhecimento fiscal em Portugal: a perceção dos consultores fiscais

A presente dissertação versa sobre a análise da gestão do conhecimento fiscal em Portugal, em especial através do estudo da perceção dos diferentes consultores fiscais. O conhecimento fiscal em sistemas tributários complexos, nos quais se recorre com frequência aos serviços de consultores fiscais, é um fator fundamental no processo de cumprimento fiscal. Os estudos sobre esta temática assumem, assim, grande relevância, até porque, tanto quanto é do nosso conhecimento, não existem em Portugal muitos estudos sobre a gestão do conhecimento fiscal pela análise da perceção dos diferentes intervenientes no sistema fiscal. A primeira parte deste trabalho apresenta uma revisão da literatura, expondo as diferentes abordagens do conceito de conhecimento fiscal e de gestão fiscal. Identificam-se duas linhas de investigação dos determinantes do nível de conhecimento fiscal: a primeira, referente aos trabalhos que identificam fatores sociodemográficos e socioprofissionais; a segunda, nos estudos que incidem na complexidade fiscal e no relacionamento com as autoridades fiscais. A maioria dos estudos sobre a gestão do conhecimento fiscal aponta no sentido da existência de uma relação positiva entre o nível de conhecimento fiscal e o cumprimento voluntário das obrigações fiscais. A segunda parte apresenta os resultados de um questionário, aplicado a consultores fiscais no ano de 2018. Os resultados sugerem que os consultores fiscais que se avaliam com um nível elevado de conhecimento fiscal são aqueles com maior experiência profissional e que mais tempo despendem em formação e atualização fiscal. Na análise e discussão dos resultados, observámos que a maioria dos consultores fiscais perceciona elevados níveis de complexidade fiscal resultantes da instabilidade e da dispersão da legislação, que exercem um impacto negativo no nível do conhecimento fiscal. Verificámos também que tal complexidade fiscal conduz a que os consultores fiscais incorram na prática de erros involuntários que se traduzem em situações de incumprimento. Como conclusão geral, sublinhámos que os consultores fiscais revelam um comportamento fiscal pouco agressivo e consideram que a cooperação com a Autoridade Tributária tem efeitos positivos no nível de conhecimento fiscal. Concluímos, ainda, que percecionam um baixo nível de consciência tributária dos clientes e dos decisores vii operacionais e que a principal motivação dos clientes para a contratação de especialistas fiscais é a minimização da sujeição fiscal

Regulation of inhomogeneous drilling model with a P-I controller

International audienceIn this paper, we demonstrate that a Proportional Integral controller allows the regulation of the angular velocity of a drill-string despite unknown frictional torque and measuring only the angular velocity at the surface. Our model is an one dimensional damped inhomogeneous wave equation subject to an unknown dynamic at one side while the control and the measurement are in the other side. After writing this system of balance laws into the Riemann coordinates, we design a Lyapunov functional to prove the exponential stability of the closed-loop and show how it implies the regulation of the angular velocity

Cultura e Educação na Amazônia Oriental: Práticas corporais na comunidade Parkatêjê

É um estudo sobre as práticas corporais na comunidade Parkatêjê, localizada na Amazônia Oriental, no sudeste paraense. Tem como objetivo refletir sobre a educação escolar indígena e atividades corporais desenvolvidas no contexto cultural indígena desta comunidade. Para tanto, usa-se a metodológica qualitativa com enfoque na observação participante, caracterizada pelo estudo Etnográfico; traz ainda abordagem das narrativas orais através dos relatos dos mais velhos da comunidade Parkatêjê. É uma pesquisa de mestrado em andamento que tem um primeiro momento o estudo de treze práticas corporais, sendo estas organizadas a partir das atividades educacionais desenvolvidas na Escola Indígena Estadual de Educação Infantil, fundamental e Médio “Peptykre Parkatêjê” com os alunos indígenas. A pesquisa tem levantado dados importantíssimos a acerca dessas práticas – entendendo que elas levam consigo sentidos e significados muito importantes para a revitalização cultural dessa comunidade. As práticas corporais da comunidade em questão traz consigo um poder de endoculturação muito significativo para o processo educacional tradicional indígena dessa comunidade, levando em consideração os saberes que se encontram intrínsecos em cada uma dessas práticas. Palavras-chave: Educação Escolar indígena. Comunidade Parkatêjê. Cultura indígena. Práticas Corporais

Métodos de Avaliação em Ambientes Virtuais Tridimensionais: aspectos cognitivos e habilidades sensório-motoras

A crescente utilização de Ambientes Virtuais Tridimensionais (AVs 3D) em contextos educativos evidencia a importância de delinear pesquisas em relação à avaliação da aprendizagem e de Habilidades Sensório-Motoras (HSM), como forma de verificar se tais ambientes colaboram com o processo de ensino e treinamento virtual. Assim, este trabalho apresenta métodos de avaliação da aprendizagem e HSM em AVs 3D, em contextos educacionais, pautados em Nunes (2014) e Anjos (2014), validados a partir de estudos experimentais e análises estatísticas. Os resultados revelaram que é possível medir o nível de aquisição de conhecimento e de HSM a partir dos modelos propostos. Palavras-chave: Ambientes Virtuais Tridimensionais. Avaliação da Aprendizagem. Avaliação de Habilidades Sensório-Motoras

Desenvolvimento e aplicação de um jogo virtual no ensino de Química.

O presente trabalho descreve o desenvolvimento de um jogo virtual e sua aplicação em aulas de Química para alunos do Ensino Médio de uma escola pública estadual. O jogo foi desenvolvido juntamente com alunos de licenciatura em Química, durante a disciplina de estágio supervisionado, utilizando a plataforma Construct 2®, de acesso gratuito. Ao longo do jogo, questões de História da Química eram apresentadas, levando os alunos a refletir e interagir com os conteúdos de maneira lúdica e coletiva, propiciando uma aprendizagem mais significativa, assim como uma maior integração entre os alunos e também com o professor. Além disso, o desenvolvimento do jogo e sua aplicação em sala de aula tem sido importante para a formação inicial de estudantes de Licenciatura em Química, permitindo que futuros professores reflitam sobre o processo de ensino e aprendizagem e a incorporação de novas tecnologias em suas práticas pedagógicas

Análise comparativa do cenário do saneamento básico nas regiões Norte e Sul do Brasil

A partir da instituição da Lei Federal 11.445 em 2007, também denominada Lei do Saneamento Básico, exigiu-se que todos os municípios brasileiros assumissem a responsabilidade para elaboração de planos municipais de saneamento básico (PMSB) com o objetivo de alcançar a universalização dos serviços. Deste modo, com o intuito de verificar os contrastes no cenário do saneamento básico entre as regiões Norte e Sul do país, foram analisados os PMSB de quatro municípios, sendo dois da região norte e dois da região sul. A análise dos planos deu-se por meio de um checklist que abordou oito princípios: 1) universalidade, 2) equidade, 3) integralidade, 4) intersetorialidade, 5) qualidade dos serviços públicos, 6) política de saneamento básico, 7) capacidade de gestão e a 8) sustentabilidade social e de governança. O resultado das análises dos planos apontou que a desigualdade no cenário do saneamento básico entre as duas regiões ocorre devido, principalmente a falhas no planejamento municipal. Dessa forma, um novo planejamento nestas regiões faz-se necessário, para que seja executado corretamente a aplicação do plano municipal e a universalização seja alcançada de acordo com os direitos humanos