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.

Distributed argumentation technology: advancing risk analysis and regulatory compliance of distributed ledger technologies for transaction and management of securities

Distributed argumentation technology is a computational approach incorporating argumentation reasoning mechanisms within multi-agent systems. For the formal foundations of distributed argumentation technology, in this thesis we conduct a principle-based analysis of structured argumentation as well as abstract multi-agent and abstract bipolar argumentation. The results of the principle-based approach of these theories provide an overview and guideline for further applications of the theories. Moreover, in this thesis we explore distributed argumentation technology using distributed ledgers. We envision an Intelligent Human-input-based Blockchain Oracle (IHiBO), an artificial intelligence tool for storing argumentation reasoning. We propose a decentralized and secure architecture for conducting decision-making, addressing key concerns of trust, transparency, and immutability. We model fund management with agent argumentation in IHiBO and analyze its compliance with European fund management legal frameworks. We illustrate how bipolar argumentation balances pros and cons in legal reasoning in a legal divorce case, and how the strength of arguments in natural language can be represented in structured arguments. Finally, we discuss how distributed argumentation technology can be used to advance risk management, regulatory compliance of distributed ledgers for financial securities, and dialogue techniques.

Reasoning with incomplete and imprecise preferences

Preferences are present in many real life situations but it is often difficult to quantify them giving a precise value. Sometimes preference values may be missing because of privacy reasons or because they are expensive to obtain or to produce. In some other situations the user of an automated system may have a vague idea of whats he wants. In this thesis we considered the general formalism of soft constraints, where preferences play a crucial role and we extended such a framework to handle both incomplete and imprecise preferences. In particular we provided new theoretical frameworks to handle such kinds of preferences. By admitting missing or imprecise preferences, solving a soft constraint problem becomes a different task. In fact, the new goal is to find solutions which are the best ones independently of the precise value the each preference may have. With this in mind we defined two notions of optimality: the possibly optimal solutions and the necessary optimal solutions, which are optimal no matter we assign a precise value to a missing or imprecise preference. We provided several algorithms, bases on both systematic and local search approaches, to find such kind of solutions. Moreover, we also studied the impact of our techniques also in a specific class of problems (the stable marriage problems) where imprecision and incompleteness have a specific meaning and up to now have been tackled with different techniques. In the context of the classical stable marriage problem we developed a fair method to randomly generate stable marriages of a given problem instance. Furthermore, we adapted our techniques to solve stable marriage problems with ties and incomplete lists, which are known to be NP-hard, obtaining good results both in terms of size of the returned marriage and in terms of steps need to find a solution.

Birth, Development and Progressive Institutionalization of the Ombudsman in the Russian Legal and Political System

One of the current trends in governance and legal development in Russia is aimed at establishing a modern, efficient and internationally harmonised system of safeguards of human rights and civil liberties. A fairly recent addition to this system has been the institution of ombudsman as a public authority specialised in promoting and protecting human rights and civil liberties. The introduction of this institution as well as its formalisation at the constitutional and legislative levels has been increasingly relevant and important, as it raises the dealings between the state and the individual to a new level. As an independent public institution resolving conflicts between citizens and government authorities, the ombudsman makes steps, within the scope of his jurisdiction, to restitute individual rights, and helps to enhance the reputation of government. The present work describes and assesses the birth, development and institutionalization process of the Ombudsman Office in the Russian Federation, at federal and regional levels, with a particular emphasis on the role of international references and cooperation for institution building. Ombudsmen have done a magnificent job in demonstrating value with the resolution of individual and systemic complaints; subsequent improvements to government; and economic savings by mitigating litigation costs.

Interpreting Judgements using Knowledge Representation Methods and Computational Models of Argument

The goal of the present research is to define a Semantic Web framework for precedent modelling, by using knowledge extracted from text, metadata, and rules, while maintaining a strong text-to-knowledge morphism between legal text and legal concepts, in order to fill the gap between legal document and its semantics. The framework is composed of four different models that make use of standard languages from the Semantic Web stack of technologies: a document metadata structure, modelling the main parts of a judgement, and creating a bridge between a text and its semantic annotations of legal concepts; a legal core ontology, modelling abstract legal concepts and institutions contained in a rule of law; a legal domain ontology, modelling the main legal concepts in a specific domain concerned by case-law; an argumentation system, modelling the structure of argumentation. The input to the framework includes metadata associated with judicial concepts, and an ontology library representing the structure of case-law. The research relies on the previous efforts of the community in the field of legal knowledge representation and rule interchange for applications in the legal domain, in order to apply the theory to a set of real legal documents, stressing the OWL axioms definitions as much as possible in order to enable them to provide a semantically powerful representation of the legal document and a solid ground for an argumentation system using a defeasible subset of predicate logics. It appears that some new features of OWL2 unlock useful reasoning features for legal knowledge, especially if combined with defeasible rules and argumentation schemes. The main task is thus to formalize legal concepts and argumentation patterns contained in a judgement, with the following requirement: to check, validate and reuse the discourse of a judge - and the argumentation he produces - as expressed by the judicial text.

Legal Ontologies for Public Procurement Management

The thesis explores ways to formalize the legal knowledge concerning the public procurement domain by means of ontological patterns suitable, on one hand, to support awarding authorities in conducting procurement procedures and, on the other hand, to help citizens and economic operators in accessing procurement's notices and data. Such an investigation on the making up of conceptual models for the public procurement domain, in turn, inspires and motivates a reflection on the role of legal ontologies nowadays, as in the past, retracing the steps of the ``ontological legal thinking'' from Roman Law up to now. I try, at the same time, to forecast the impact, in terms of benefits, challenges and critical issues, of the application of computational models of Law in future e-Governance scenarios.

Legal presumptions in national tax systems (Italy and Belgium) and in EU law

The thesis deals with the concept of presumptions, and in particular of legal presumptions, in the context of national tax systems (Italy and Belgium) and EU law. The purpose was to investigate the concept of legal presumption under a twofold comparative perspective. After having provided a general overview of the common core concept of presumption in the European context, an insight in the national approach to legal presumptions was given by examining two different national experiences, namely the Italian and Belgian tax systems. At this stage, the Constitutional framework and some of the most interesting and relevant at EU level presumptive measures were explored, with a view to underlining possible divergences and common grounds. The concept of (national) legal presumption was then investigated in the context of EU law, with the attempt to systematize under a uniform perspective a matter which has been traditionally dealt with either from the merely national point of view or, at EU level, through a fragmented form. In this instance, the EU law relevant framework and the most significant EUCJ case-law, in particular in the field of customs duties, VAT, on the issue of the repayment of taxes levied in breach of EU law and in the area of direct taxation, were examined so as to construe the overall EU approach to national legal presumptions. This was done with the finality of determining if and to what extent a common analytical framework may be identified, from which were extracted certain criteria governing the compatibility of national legal presumptions with EU law.

Credit-Default-Swaps and the 2008 Financial Crisis: An Inquiry into the Underlying Legal Origins and the European Union’s Regulatory Reforms

After the 2008 financial crisis, the financial innovation product Credit-Default-Swap (CDS) was widely blamed as the main cause of this crisis. CDS is one type of over-the-counter (OTC) traded derivatives. Before the crisis, the trading of CDS was very popular among the financial institutions. But meanwhile, excessive speculative CDSs transactions in a legal environment of scant regulation accumulated huge risks in the financial system. This dissertation is divided into three parts. In Part I, we discussed the primers of the CDSs and its market development, then we analyzed in detail the roles CDSs had played in this crisis based on economic studies. It is advanced that CDSs not just promoted the eruption of the crisis in 2007 but also exacerbated it in 2008. In part II, we asked ourselves what are the legal origins of this crisis in relation with CDSs, as we believe that financial instruments could only function, positive or negative, under certain legal institutional environment. After an in-depth inquiry, we observed that at least three traditional legal doctrines were eroded or circumvented by OTC derivatives. It is argued that the malfunction of these doctrines, on the one hand, facilitated the proliferation of speculative CDSs transactions; on the other hand, eroded the original risk-control legal mechanism. Therefore, the 2008 crisis could escalate rapidly into a global financial tsunami, which was out of control of the regulators. In Part III, we focused on the European Union’s regulatory reform towards the OTC derivatives market. In specific, EU introduced mandatory central counterparty clearing obligation for qualified OTC derivatives, and requires that all OTC derivatives shall be reported to a trade repository. It is observable that EU’s approach in re-regulating the derivatives market is different with the traditional administrative regulation, but aiming at constructing a new market infrastructure for OTC derivatives.