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.

Synergistic interactions in mixed-species biofilms of pathogenic bacteria from the respiratory tract

IntroductionMixed-species biofilms are involved in a wide variety of infections. We studied the synergistic interactions during dual-species biofilm formation among isolates of Pseudomonas aeruginosa, Acinetobacter baumannii, and Stenotrophomonas maltophilia.MethodsIsolates were cultured as single-species and all possible combinations of dual-species biofilms.ResultsThe 61 A. baumannii biofilms increased by 26-fold when cultured with S. maltophilia isolates; 62 A. baumannii biofilms increased by 20-fold when cultured with S. maltophilia isolates; and 31 P. aeruginosa biofilms increased by 102-fold when cultured with S. maltophilia 106.ConclusionsSynergy was observed between two isolates, including those that inherently lacked biofilm formation ability.

Impact of carbon/nitrogen feeding strategy on polyhydroxyalkanoates production using mixed microbial cultures

Polyhydroxyalkanoates (PHA) production using mixed microbial cultures (MMC) requires a multi-stage process involving the microbial selection of PHA-storing microorganisms, typically operated in sequencing batch reactors (SBR), and an accumulation reactor. Since low-cost renewable feedstocks used as process feedstock are often nitrogen-deficient, nutrient supply in the selection stage is required to allow for microbial growth. In this context, the possibility to uncouple nitrogen supply from carbon feeding within the SBR cycle has been investigated in this study. Moreover, three different COD:N ratios (100:3.79, 100:3.03 and 100:2.43) were tested in three different runs which also allowed the study of COD:N ratio on the SBR performance. For each run, a synthetic mixture of acetic and propionic acids at an overall organic load rate of 8.5 gCOD L-1 d-1 was used as carbon feedstock, whereas ammonium sulfate was the nitrogen source in a lab-scale sequence batch reactor (SBR) with 1 L of working volume. Besides, a sludge retention time (SRT) of 1 d was used as well as a 6 h cycle length. The uncoupled feeding strategy significantly enhanced the selective pressure towards PHA-storing microorganisms, resulting in a two-fold increase in the PHA production (up to about 1.3 gCOD L-1). A high storage response was observed for the two runs with the COD:N ratios (gCOD:gN) of 100:3.79 and 100:3.03, whereas the lowest investigated nitrogen load resulted in very poor performance in terms of polymer production. In fact, strong nitrogen limitation caused fungi to grow and a very poor storage ability by microorganisms that thrived in those conditions. The COD:N ratio also affected the polymer composition, indeed the produced poly(3-hydroxybutyrate-co-3-hydroxyvalerate) (PHBV) showed a variable HV content (1-20 %, w/w) among the three runs, lessening as the COD:N increased. This clearly suggests the possibility to use the COD:N ratio as a tool for tuning polymer properties regardless the composition of the feedstock.

Quadratic programming versus second order con programming in portfolio optimization

Despite the extensive literature in finding new models to replace the Markowitz model or trying to increase the accuracy of its input estimations, there is less studies about the impact on the results of using different optimization algorithms. This paper aims to add some research to this field by comparing the performance of two optimization algorithms in drawing the Markowitz Efficient Frontier and in real world investment strategies. Second order cone programming is a faster algorithm, appears to be more efficient, but is impossible to assert which algorithm is better. Quadratic Programming often shows superior performance in real investment strategies.

Polyhydroxyalkanoates production by photosynthetic mixed cultures

Polyhydroxyalkanoates (PHAs) are natural biologically synthesized polymers that have been the subject of much interest in the last decades due to their biodegradability. Thus far, its microbial production is associated with high operational costs, which increases PHA prices and limits its marketability. To address this situation, this thesis’ work proposes the utilization of photosynthetic mixed cultures (PMC) as a new PHA production system that may lead to a reduction in operational costs. In fact, the operational strategies developed in this work led to the selection of PHA accumulating PMCs that, unlike the traditional mixed microbial cultures, do not require aeration, thus permitting savings in this significant operational cost. In particular, the first PHA accumulating PMC tested in this work was selected under non-aerated illuminated conditions in a feast and famine regime, being obtained a consortium of bacteria and algae, where photosynthetic bacteria accumulated PHA during the feast phase and consumed it for growth during the famine phase, using the oxygen produced by algae. In this symbiotic system, a maximum PHA content of 20% cell dry weight (cdw) was reached, proving for the first time, the capacity of a PMC to accumulate PHA. During adaptation to dark/light alternating conditions, the culture decreased its algae content but maintained its viability, achieving a PHA content of 30% cdw. Also, the PMC was found to be able to utilize different volatile fatty acids for PHA production, accumulating up to 20% cdw of a PHA co-polymer composed of 3-hydroxybutyrate (3HB) and 3-hydroxyvalerate (HV) monomers. Finally, a new selective approach for the enrichment of PMCs in PHA accumulating bacteria was tested. Instead of imposing a feast and famine regime, a permanent feast regime was used, thus selecting a PMC that was capable of simultaneously growing and accumulating PHA, being attained a maximum PHA content of 60% cdw, the highest value reported for a PMC thus far. The results presented in this thesis prospect the utilization of cheap, VFA-rich fermented wastes as substrates for PHA production, which combined with this new photosynthetic technology opens up the possibility for direct sunlight illumination, leading to a more cost-effective and environmentally sustainable PHA production process.

The mixed impact of design thinking on business collaborations

The present work project investigates the implications of design thinking on an interbusiness collaborative project, unveiling both the benefits and fragilities that derive from the use of such methodology within the mentioned context. The study is organized in two parts. The first one starts with a literature review on the two relevant frames of reference – design thinking and business collaboration. It proceeds to the creation of a conceptual framework to assess the potential value of the design-based approach. The second part focuses on the practical application of to the newly developed instrument to the inTRAIN project – R&D for railway interiors.

Implementação de um modelo de geometric semantic genetic programming para aplicação naval

Recaí sob a responsabilidade da Marinha Portuguesa a gestão da Zona Económica Exclusiva de Portugal, assegurando a sua segurança da mesma face a atividades criminosas. Para auxiliar a tarefa, é utilizado o sistema Oversee, utilizado para monitorizar a posição de todas as embarcações presentes na área afeta, permitindo a rápida intervenção da Marinha Portuguesa quando e onde necessário. No entanto, o sistema necessita de transmissões periódicas constantes originadas nas embarcações para operar corretamente – casos as transmissões sejam interrompidas, deliberada ou acidentalmente, o sistema deixa de conseguir localizar embarcações, dificultando a intervenção da Marinha. A fim de colmatar esta falha, é proposto adicionar ao sistema Oversee a capacidade de prever as posições futuras de uma embarcação com base no seu trajeto até à cessação das transmissões. Tendo em conta os grandes volumes de dados gerados pelo sistema (históricos de posições), a área de Inteligência Artificial apresenta uma possível solução para este problema. Atendendo às necessidades de resposta rápida do problema abordado, o algoritmo de Geometric Semantic Genetic Programming baseado em referências de Vanneschi et al. apresenta-se como uma possível solução, tendo já produzido bons resultados em problemas semelhantes. O presente trabalho de tese pretende integrar o algoritmo de Geometric Semantic Genetic Programming desenvolvido com o sistema Oversee, a fim de lhe conceder capacidades preditivas. Adicionalmente, será realizado um processo de análise de desempenho a fim de determinar qual a ideal parametrização do algoritmo. Pretende-se com esta tese fornecer à Marinha Portuguesa uma ferramenta capaz de auxiliar o controlo da Zona Económica Exclusiva Portuguesa, permitindo a correta intervenção da Marinha em casos onde o atual sistema não conseguiria determinar a correta posição da embarcação em questão.

Effects of residues on the degradation of PHA produced from mixed microbial cultures and processed in extrusion

Thermal degradation upon melting is one of the major drawbacks reported for polyhydroxyalkanoates (PHA). However, the role of residues originating from the fermentation and the extraction steps on the thermal stability of this class of biopolymers still needs to be clarified. In the particular case of PHA produced from mixed microbial cultures (MMC), this topic is even less documented in the literature. Here, two polyhydroxy(butyrate-co-valerate) (PHBV) produced from MMC enriched in PHA accumulating organisms and fed with cheese whey were studied. A micro extrusion line is used to produce filaments and assess the processability and the degradation of processed PHBV. The prototype micro extrusion line allows for studying grams of materials. The two PHBV contain 18 mol% HV. PHBV was recovered with 11 wt% residues, and further submitted to a purification procedure resulting in a second biopolyester containing less than 2 wt% impurities. The thermorheological characterization of the two PHBV is first presented, together with their semicrystalline properties. Then the processing windows of the two biopolyesters are presented. Finally, the properties of extruded filaments are reported and the thermomechanical degradation of PHBV is extensively studied. The structure was assessed by wide angle X-ray diffraction, mechanical and rheological properties are reported, thermal properties are studied with differential scanning calorimetry and thermogravimetric analysis, whereas Fourier Transform Infrared spectroscopy was used to assess the impact of the extrusion on PHBV chemical structure. All results obtained with the two PHBV are compared to assess the effects of residues on both PHBV processability and degradation.

Logic programming and artificial neural networks in breast cancer detection

About 90% of breast cancers do not cause or are capable of producing death if detected at an early stage and treated properly. Indeed, it is still not known a specific cause for the illness. It may be not only a beginning, but also a set of associations that will determine the onset of the disease. Undeniably, there are some factors that seem to be associated with the boosted risk of the malady. Pondering the present study, different breast cancer risk assessment models where considered. It is our intention to develop a hybrid decision support system under a formal framework based on Logic Programming for knowledge representation and reasoning, complemented with an approach to computing centered on Artificial Neural Networks, to evaluate the risk of developing breast cancer and the respective Degree-of-Confidence that one has on such a happening.

Modelos de apoio às decisão na conceção e planeamento de um armazém

Programa Doutoral em Engenharia Industrial e de Sistemas.

Um modelo de programação inteira para a otimização da distribuição do serviço docente

Dissertação de mestrado em Engenharia Industrial

Automatização e otimização do escalonamento de pessoal hospitalar

Dissertação de mestrado em Engenharia de Sistemas

Single line for assembly just-in-sequence multiple models

Programa Doutoral em Líderes para as Indústrias Tecnológicas

Towards the design and implementation of aspect-oriented programming for spreadsheets

A spreadsheet usually starts as a simple and singleuser software artifact, but, as frequent as in other software systems, quickly evolves into a complex system developed by many actors. Often, different users work on different aspects of the same spreadsheet: while a secretary may be only involved in adding plain data to the spreadsheet, an accountant may define new business rules, while an engineer may need to adapt the spreadsheet content so it can be used by other software systems.Unfortunately,spreadsheetsystemsdonotoffermodular mechanisms, and as a consequence, some of the previous tasks may be defined by adding intrusive “code” to the spreadsheet. In this paper we go through the design and implementation of an aspect-oriented language for spreadsheets so that users can work on different aspects of a spreadsheet in a modular way. For example, aspects can be defined in order to introduce new business rules to an existing spreadsheet, or to manipulate the spreadsheet data to be ported to another system. Aspects are defined as aspect-oriented program specifications that are dynamically woven into the underlying spreadsheet by an aspect weaver. In this aspect-oriented style of spreadsheet development, differentusers develop,orreuse,aspects withoutaddingintrusive code to the original spreadsheet. Such code is added/executed by the spreadsheet weaving mechanism proposed in this paper.