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.

Biotoxicity assays of quantum dots in in vitro cultures of Medicago sativa and Medicago truncatula

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Biotecnologia

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

The impact of CdSe/ZnS Quantum Dots in cells of Medicago sativa in suspension culture

Abstract Background: Nanotechnology has the potential to provide agriculture with new tools that may be used in the rapid detection and molecular treatment of diseases and enhancement of plant ability to absorb nutrients, among others. Data on nanoparticle toxicity in plants is largely heterogeneous with a diversity of physicochemical parameters reported, which difficult generalizations. Here a cell biology approach was used to evaluate the impact of Quantum Dots (QDs) nanocrystals on plant cells, including their effect on cell growth, cell viability, oxidative stress and ROS accumulation, besides their cytomobility. Results: A plant cell suspension culture of Medicago sativa was settled for the assessment of the impact of the addition of mercaptopropanoic acid coated CdSe/ZnS QDs. Cell growth was significantly reduced when 100 mM of mercaptopropanoic acid -QDs was added during the exponential growth phase, with less than 50% of the cells viable 72 hours after mercaptopropanoic acid -QDs addition. They were up taken by Medicago sativa cells and accumulated in the cytoplasm and nucleus as revealed by optical thin confocal imaging. As part of the cellular response to internalization, Medicago sativa cells were found to increase the production of Reactive Oxygen Species (ROS) in a dose and time dependent manner. Using the fluorescent dye H2DCFDA it was observable that mercaptopropanoic acid-QDs concentrations between 5-180 nM led to a progressive and linear increase of ROS accumulation. Conclusions: Our results showed that the extent of mercaptopropanoic acid coated CdSe/ZnS QDs cytotoxicity in plant cells is dependent upon a number of factors including QDs properties, dose and the environmental conditions of administration and that, for Medicago sativa cells, a safe range of 1-5 nM should not be exceeded for biological applications.

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

Quantum dots: synthesis, functionalization and bioconjugation for biological applications

Dissertation presented to obtain the Ph.D degree in Engineering Sciences and Technology

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

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.

Solution processed quantum dot photodetectors

To find sustainable solutions for the production of energy, it is necessary to create photovoltaic technologies that make every photon count. To pursue this necessity, in the present work photodetectors of zinc oxide embedded with nano-structured materials, that significantly raise the conversion of solar energy to electric energy, were developed. The novelty of this work is on the development of processing methodologies in which all steps are in solution: quantum dots synthesis, passivation of their surface and sol-gel deposition. The quantum dot solutions with different capping agents were characterized by UVvisible absorption spectroscopy, spectrofluorimetry, dynamic light scattering and transmission electron microscopy. The obtained quantum dots have dimensions between 2 and 3nm. These particles were suspended in zinc acetate solutions and used to produce doped zinc oxide films with embedded quantum dots, whose electric response was tested. The produced nano-structured zinc oxide materials have a superior performance than the bulk, in terms of the produced photo-current. This indicates that an intermediate band material should have been produced that acts as a photovoltaic medium for solar cells. The results are currently being compiled in a scientific article, that is being prepared for possible submission to Energy and Environmental Science or Nanoscale journals.

Reconfigurable photonic logic architecture

The amorphous silicon photo-sensor studied in this thesis, is a double pin structure (p(a-SiC:H)-i’(a-SiC:H)-n(a-SiC:H)-p(a-SiC:H)-i(a-Si:H)-n(a-Si:H)) sandwiched between two transparent contacts deposited over transparent glass thus with the possibility of illumination on both sides, responding to wave-lengths from the ultra-violet, visible to the near infrared range. The frontal il-lumination surface, glass side, is used for light signal inputs. Both surfaces are used for optical bias, which changes the dynamic characteristics of the photo-sensor resulting in different outputs for the same input. Experimental studies were made with the photo-sensor to evaluate its applicability in multiplexing and demultiplexing several data communication channels. The digital light sig-nal was defined to implement simple logical operations like the NOT, AND, OR, and complex like the XOR, MAJ, full-adder and memory effect. A pro-grammable pattern emission system was built and also those for the validation and recovery of the obtained signals. This photo-sensor has applications in op-tical communications with several wavelengths, as a wavelength detector and to execute directly logical operations over digital light input signals.