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

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

Aspectos moleculares da neurodegeneração na esclerose lateral amiotrófica

Dissertação para obtenção do Grau de Mestre em Genética Molecular e Biomedicina

The role of microRNAs in amyotrophic lateral sclerosis

Dissertação para obtenção do Grau de Mestre em Genética Molecular e Biomedicina

A agregação proteica em processos neurodegenerativos: mecanismos de agregação da SOD1 no contexto da esclerose lateral amiotrófica

Dissertação para obtenção do Grau de Mestre em Biotecnologia

Encurvadura lateral em vigas metálicas sujeitas a flexão desviada

Dissertação para obtenção do Grau de Mestre em Engenharia Civil - Perfil Estruturas

Coherence and phase locking disruption in electromyograms of patients with amyotrophic lateral sclerosis

Dissertação para obtenção do Grau de Mestre em Engenharia Biomédica

Revision based total semantics for extended normal logic programs

Dissertação para obtenção do Grau de Doutor em Matemática - Lógica e Fundamentos da Matemática

Encurvadura lateral em vigas de alumínio

Dissertação para obtenção do Grau de Mestre em Engenharia Civil – Perfil de Estruturas

Encurvadura lateral em vigas de alumínio

A presente dissertação tem como objetivo o estudo do fenómeno de encurvadura lateral em vigas de alumínio com secção em I, simplesmente apoiadas e sujeitas a flexão pura (momento uniforme ao longo da viga). Em particular, estuda-se uma abordagem alternativa à do Eurocódigo 9 (EC9), que consiste em utilizar esbeltezas normalizadas que são função da carga crítica elastoplástica da viga. Para o efeito, é desenvolvido um programa de cálculo automático em MATLAB. A abordagem é aplicada (i) à curva de dimensionamento do EC9, (ii) a resultados numéricos, utilizando um programa de elementos finitos, e (iii) aos resultados experimentais obtidos por Y.Q. Wang, H.X. Yuan, Y.J. Shi e M. Cheng [1]. Mostra-se que se obtém uma significativa dispersão com a curva do EC9 mas, por oposição, uma reduzida dispersão com os resultados numéricos e experimentais. Por fim, mostra-se que os resultados numéricos para esbeltezas reduzidas (elevadas) conduzem a valores da resistência à encurvadura significativamente inferiores (superiores) aos do EC9.

Amyotrophic Lateral Sclerosis:Mammalian Cell Models,Copper-Zinc Superoxide Dismutaseand Biological Characteristics

"Amyotrophic Lateral Sclerosis (ALS) is the most severe and common adult onset disorder that affects motor neurons in the spinal cord, brainstem and cortex, resulting in progressive weakness and death from respiratory failure within two to five years of symptoms onset(...)

Study of the electromyographic signal dynamic behavior in Amyotrophic Lateral Sclerosis (ALS)

Amyotrophic Lateral Sclerosis (ALS) is a neurodegenerative disease characterized by motor neurons degeneration, which reduces muscular force, being very difficult to diagnose. Mathematical methods are used in order to analyze the surface electromiographic signal’s dynamic behavior (Fractal Dimension (FD) and Multiscale Entropy (MSE)), evaluate different muscle group’s synchronization (Coherence and Phase Locking Factor (PLF)) and to evaluate the signal’s complexity (Lempel-Ziv (LZ) techniques and Detrended Fluctuation Analysis (DFA)). Surface electromiographic signal acquisitions were performed in upper limb muscles, being the analysis executed for instants of contraction for ipsilateral acquisitions for patients and control groups. Results from LZ, DFA and MSE analysis present capability to distinguish between the patient group and the control group, whereas coherence, PLF and FD algorithms present results very similar for both groups. LZ, DFA and MSE algorithms appear then to be a good measure of corticospinal pathways integrity. A classification algorithm was applied to the results in combination with extracted features from the surface electromiographic signal, with an accuracy percentage higher than 70% for 118 combinations for at least one classifier. The classification results demonstrate capability to distinguish members between patients and control groups. These results can demonstrate a major importance in the disease diagnose, once surface electromyography (sEMG) may be used as an auxiliary diagnose method.

Caracterização da adesão terapêutica dos doentes seguidos no Centro Hospitalar Lisboa Norte, EPE, no decurso do tratamento da, Esclerose Múltipla, Esclerose Lateral Amiotrófica, Artrite Reumatóide, Espondilite Anquilosante, Artrite Psoriática, Artrite Idiopática Juvenil Poliarticular, Psoríase em Placas, Polineuropatia Amiloidótica Familiar (Paramiloidose) e HIV/Sida : análise retrospetiva

RESUMO - Objetivos: Caracterizar a adesão à terapêutica nos doentes do CHLN, na área do VIH/SIDA, Esclerose, Artrite Reumatóide, Psoríase e Paramiloidose e avaliar a hipótese de ser possível prever o risco de um doente se tornar, num doente sem adesão. Metodologia: Estudo retrospetivo, observacional e longitudinal, realizado entre Janeiro de 2010 a 31 de Dezembro de 2013, a 4.761 doentes, em que a adesão à terapêutica foi calculada com base nos registos informáticos das dispensas de medicação, efectuados pelos Serviços Farmacêuticos, com recurso à Compliance Rate (CR) e utilizada como variável dependente. A estatística descritiva foi utilizada para caracterizar os doentes e os seus levantamentos e a regressão logística para avaliar o efeito das variáveis (idade, sexo, distrito de residência, período de observação, número de interrupções superiores a trinta dias e tempo até à primeira interrupção) sobre a adesão à terapêutica. Resultados e Conclusões: A percentagem de doentes com adesão foi de 64%, no entanto no HIV/Sida e na Artrite Reumatóide e Psoríase esta percentagem foi significativamente mais baixa, 42% dos doentes interromperam a terapêutica por períodos superiores a 30 dias, ocorrendo essa interrupção maioritariamente entre o primeiro e segundo ano de terapêutica. O modelo de regressão logística permitiu verificar que só com as variáveis sociodemográficas não é possível prever o risco de um doente se tornar num doente sem adesão, sendo para tal necessário adicionar ao modelo a variável número de interrupções superiores a 30 dias que foi identificada como importante factor preditivo da não adesão (OR=15,9, p=0,000).

Machine ethics via logic programming

Machine ethics is an interdisciplinary field of inquiry that emerges from the need of imbuing autonomous agents with the capacity of moral decision-making. While some approaches provide implementations in Logic Programming (LP) systems, they have not exploited LP-based reasoning features that appear essential for moral reasoning. This PhD thesis aims at investigating further the appropriateness of LP, notably a combination of LP-based reasoning features, including techniques available in LP systems, to machine ethics. Moral facets, as studied in moral philosophy and psychology, that are amenable to computational modeling are identified, and mapped to appropriate LP concepts for representing and reasoning about them. The main contributions of the thesis are twofold. First, novel approaches are proposed for employing tabling in contextual abduction and updating – individually and combined – plus a LP approach of counterfactual reasoning; the latter being implemented on top of the aforementioned combined abduction and updating technique with tabling. They are all important to model various issues of the aforementioned moral facets. Second, a variety of LP-based reasoning features are applied to model the identified moral facets, through moral examples taken off-the-shelf from the morality literature. These applications include: (1) Modeling moral permissibility according to the Doctrines of Double Effect (DDE) and Triple Effect (DTE), demonstrating deontological and utilitarian judgments via integrity constraints (in abduction) and preferences over abductive scenarios; (2) Modeling moral reasoning under uncertainty of actions, via abduction and probabilistic LP; (3) Modeling moral updating (that allows other – possibly overriding – moral rules to be adopted by an agent, on top of those it currently follows) via the integration of tabling in contextual abduction and updating; and (4) Modeling moral permissibility and its justification via counterfactuals, where counterfactuals are used for formulating DDE.