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.