Interactions between normative systems and software cognitive agents. A formalization in temporal modal defeasible logic and its implementation

Sustainable computer systems require some flexibility to adapt to environmental unpredictable changes. A solution lies in autonomous software agents which can adapt autonomously to their environments. Though autonomy allows agents to decide which behavior to adopt, a disadvantage is a lack of control, and as a side effect even untrustworthiness: we want to keep some control over such autonomous agents. How to control autonomous agents while respecting their autonomy? A solution is to regulate agents’ behavior by norms. The normative paradigm makes it possible to control autonomous agents while respecting their autonomy, limiting untrustworthiness and augmenting system compliance. It can also facilitate the design of the system, for example, by regulating the coordination among agents. However, an autonomous agent will follow norms or violate them in some conditions. What are the conditions in which a norm is binding upon an agent? While autonomy is regarded as the driving force behind the normative paradigm, cognitive agents provide a basis for modeling the bindingness of norms. In order to cope with the complexity of the modeling of cognitive agents and normative bindingness, we adopt an intentional stance. Since agents are embedded into a dynamic environment, things may not pass at the same instant. Accordingly, our cognitive model is extended to account for some temporal aspects. Special attention is given to the temporal peculiarities of the legal domain such as, among others, the time in force and the time in efficacy of provisions. Some types of normative modifications are also discussed in the framework. It is noteworthy that our temporal account of legal reasoning is integrated to our commonsense temporal account of cognition. As our intention is to build sustainable reasoning systems running unpredictable environment, we adopt a declarative representation of knowledge. A declarative representation of norms will make it easier to update their system representation, thus facilitating system maintenance; and to improve system transparency, thus easing system governance. Since agents are bounded and are embedded into unpredictable environments, and since conflicts may appear amongst mental states and norms, agent reasoning has to be defeasible, i.e. new pieces of information can invalidate formerly derivable conclusions. In this dissertation, our model is formalized into a non-monotonic logic, namely into a temporal modal defeasible logic, in order to account for the interactions between normative systems and software cognitive agents.

Essays in Environmental Economics

This dissertation comprises four essays on the topic of environmental economics and industrial organization. In the first essay, we develop a two-country world differential game model with a polluting firm in each country to investigate the equilibrium of the game between firms when they decide to trade or not and to see under which conditions social welfare coincides with the market equilibrium. In the second essay, we built a model where firms strategically choose whether to participate in an auction/lottery to attain pollution permits, or instead invest in green R&D, to show that, somewhat counterintuitively, a desirable side effect of the auction is in fact that of fostering environmental R&D in an admissible range of the model parameters. The third essay investigates a second-best trade agreement between two countries when pollution spillovers are asymmetric to examine the strategic behavior of governments in using pollution taxes and tariffs under trade liberalization. The fouth essay studies the profitability of exogenous output constraint in a differential game model with price dynamics under the feedback strategies.

In vitro characterisation and expansion of human regulatory T cells for their in vivo application in the induction of tolerance in haematopoietic stem cell and solid organ transplantation

Solid organ transplantation (SOT) is considered the treatment of choice for many end-stage organ diseases. Thus far, short term results are excellent, with patient survival rates greater than 90% one year post-surgery, but there are several problems with the long term acceptance and use of immunosuppressive drugs. Hematopoietic Stem Cells Transplantation (HSCT) concerns the infusion of haematopoietic stem cells to re-establish acquired and congenital disorders of the hematopoietic system. The main side effect is the Graft versus Host Disease (GvHD) where donor T cells can cause pathology involving the damage of host tissues. Patients undergoing acute or chronic GvHD receive immunosuppressive regimen that is responsible for several side effects. The use of immunosuppressive drugs in the setting of SOT and GvHD has markedly reduced the incidence of acute rejection and the tissue damage in GvHD however, the numerous adverse side effects observed boost the development of alternative strategies to improve the long-term outcome. To this effect, the use of CD4+CD25+FOXP3+ regulatory T cells (Treg) as a cellular therapy is an attractive approach for autoimmunity disease, GvHD and limiting immune responses to allograft after transplantation. Treg have a pivotal role in maintaining peripheral immunological tolerance, by preventing autoimmunity and chronic inflammation. Results of my thesis provide the characterization and cell processing of Tregs from healthy controls and patients in waiting list for liver transplantation, followed by the development of an efficient expansion-protocol and the investigation of the impact of the main immunosuppressive drugs on viability, proliferative capacity and function of expanded cells after expansion. The conclusion is that ex vivo expansion is necessary to infuse a high Treg dose and although many other factors in vivo can contribute to the success of Treg therapy, the infusion of Tregs during the administration of the highest dose of immunosuppressants should be carefully considered.

Effects of glyphosate and Roundup upon mammalian gametes

The wide use of glyphosate-based herbicides (GBHs) has become a controversial issue due to the potential harmful effects on human health. Commercial formulations, among which Roundup is the most famous one, contain a number of adjuvants inside; most of these are patented and not publicly known, therefore, they can act differently from glyphosate alone and might strengthen its toxic effect. Our study is focused on GBHs reproductive toxicity with a special regard to glyphosate and Roundup impact on male and female mammalian gametes after exposure to concentrations ranging from the one recommended for agricultural use (0.1% Roundup, containing 360 µg/mL glyphosate) to 70-fold lower or more. Sperm quality analysis, either on boar and stallion, showed that Roundup has much more detrimental impact than glyphosate at equivalent concentrations on spermatozoa function and survival. Basing on our results, the toxic effect of these pesticides on spermatozoa may be linked to an impairment in mitochondrial activity and a subsequent decrease in ATP production and/or alterations in the redox balance, which impact cell motility and plasma membrane stability. Moreover, a different species sensitivity to GBHs may exists as high doses of glyphosate affected sperm quality only in boar and not in stallion; furthermore, Roundup had deleterious effects at lower doses in the first compared to the latter. With regard to female gametes, we found that glyphosate and Roundup exposure during IVM detrimentally affect the subsequent developmental ability of swine embryos, providing further evidence of their potential toxic effect on female reproductive system. In addition, Roundup altered steroidogenesis and increased oocyte ROS levels. Therefore, according to our results, we can conclude that GBHs exert a negative impact on both male and female gametes and that Roundup adjuvants enhance glyphosate toxic effects and/or are biologically active in their side-effect.

Evaluation of the theranostic use of miRNAs in correlation to the radiopharmaceutical 64CuCl2 in glioblastoma

B:Glioblastoma multiforme(GBM) is one of the most prevalent and aggressive malignant primary brain tumors in adult patients. 64CuCl2 is an innovative radiopharmaceutical investigated as theranostic agent in GBM patients. The therapeutic scheme is still under evaluation, therefore the research focused on the possibility of radioresistance development. The actors responsible for modulating radioresistance could be miRNAs, thus their potential use was investigated both in radioresistant cell lines and in GBM patients plasma samples. M:Radioresistant cell lines were generated by exposing U87MG, U373MG lines to increasing doses of radiation for 32 weeks. Cell membrane permeability alterations and DNA damage were assessed to characterize the lines. Moreover, 64Cu cell incorporation and subcellular distribution were investigated measuring gamma-radiation emission. miRNA expression was evaluated: in parental and radioresistant cell lines, both in cell pellet and media exosomes; in plasma samples of GBM patients using TaqMan Array MicroRNA Cards. R:Radioresistant lines exhibited reduction in membrane permeability and in DNA DSBs indicating the capability to skip the drug killing effect. Cell uptake assays showed internalization of 64Cu both in the sensitive and radioresistant lines. Radioresistant lines showed a different miRNA expression profile compared to the parental lines. 5 miRNAs were selected as possible biomarkers of response to treatment (miR-339-3p, miR-133b, miR-103a-3p, miR-32-5p, miR-335-5p) and 6 miRNAs as possible predictive biomarkers of response to treatment (let-7e-5p, miR-15a-5p, miR-29c-3p, miR-495, miR-146b-5p, miR-199a-5p). miR-32-5p was selected as possible molecule to be used to restore 64CuCl2 responsiveness in the radioresistant cell lines. C: This is the first study describing the development and characterization of 64CuCl2 radioresistant cell lines useful to implement the approach for dosimetric analysis to avoid radioresistance uprising. miRNAs could bring to a better understanding of 64CuCl2 treatment, becoming a useful tool both in detection of treatment response and both as molecule that could restore responsiveness to 64CuCl2 treatment.