Argumentation and artifacts for intelligent multi-agent systems

Reasoning under uncertainty is a human capacity that in software system is necessary and often hidden. Argumentation theory and logic make explicit non-monotonic information in order to enable automatic forms of reasoning under uncertainty. In human organization Distributed Cognition and Activity Theory explain how artifacts are fundamental in all cognitive process. Then, in this thesis we search to understand the use of cognitive artifacts in an new argumentation framework for an agent-based artificial society.

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.

Naturaleza jurídica del contrato de mediación

Desde los plantemientos que entienden la mediación como una mera relación de hecho, se avanzará hasta la consideración de la misma como contrato. Para ello, se separarán las categorías o institutos que no se consideren adecuados a la naturaleza de la mediación, profundizando en sus estructuras más básicas, hasta llegar a la consideración contractual de la misma. Desde el contrato, se tratarán los elementos de sinalagmaticidad, principalidad, onerosidad o consensualidad, entre otras circunstancias, esenciales o naturales, antes de abordar la que quizá sea la circunstancia que merezca un tratamiento más especial: el riesgo aleatorio de la mediación. Además, al tratarse de contratos infrarregulados, la dimensión económica y efectiva de los mismos no sólo permite la reflexión, sino que impulsa la crítica y, si bien no puede ofrecer por sí misma respuestas, sí puede ayudar a descartar opciones menos adecuadas en cada caso. De todo lo anterior se concluirá una única categoría contractual, clara y precisa, enfrentada también a un análisis económico de cada uno de sus elementos, así como una confrontación con las propuestas, sobre los mismos supuestos, del Derecho contractual europeo. Así, se tratará de evaluar, en cada paso, que las conclusiones parciales sobre las que se asienten ulteriores estadios de la investigación no sólo resulten sistemáticas, sino también idóneas para alcanzar la finalidad de contrato y, a su través, la de las partes. El contrato resultante se encontrará categorizado, pero no por ello regulado. De ahí la necesidad, última, de ubicarlo en una categoría contractual más amplia que pueda informar dichos caracteres con una regulación suficiente, desde la que establecer una normatividad real.

La ville picaresque

Cet extrait (le début du projet) peut être essentiellement considéré comme un travail de synthèse, de traduction et d’argumentation concernant un des textes de référence parmi les plus importants au sujet de la littérature picaresque : “La literatura picaresca desde la historia social” écrit par Jose Antonio Maravall. Mon but en développant ce projet était de me focaliser sur les idées principales contenues dans ce volume et en particulier sur la relation existante entre la littérature picaresque et le concept de ville, en termes urbanistiques. Je tiens à souligner le fait que ce travail a été longuement approfondi dans mes nombreuses activités d’étude et de recherche et en me référant, volontairement, au texte lui-même. La raison fondamentale de mon désir de rester près du texte se justifie par le fait que je venais de commence ce qui seraient mes futures activités de recherche de doctorat. J’ai utilisé ces idées à propos de la littérature picaresque, idées qui sont aujourd’hui universellement acceptées, afin de m’orienter moi-même dans ce genre littéraire. Les autres idées que j’ai étudiées et décrites au cours de mes activités de recherche successives sont plus personnelles, car j’avais eu l’occasion de les analyser auparavant. Ce travail n’inclut pas seulement des activités de recherche , mais il s’est agi aussi d’un projet de traduction puisque j’ai dû traduire de l’espagnol(texte original) en italien, pour ensuite concevoir et puis rédiger ma synthèse et mon argumentation en langue française. En conclusion, je peux affirmer que j’ai été capable de construire de solides bases pour élaborer et planifier ma thèse de Doctorat, avec les typiques thèmes de la littérature picaresque, pour exemple la recherche de la nourriture dans la ville.

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.

Capacita' e formazione nel liberalismo di Amartya Sen e Martha Nussbaum. Eredita' differenti del pensiero politico per una "cittadinanza del mondo"

Il presente lavoro di ricerca si propone di discutere il contributo che l’analisi dell’evoluzione storica del pensiero politico occidentale e non occidentale riveste nel percorso intellettuale compiuto dai fondatori della teoria contemporanea dell’approccio delle capacità, fondata e sistematizzata nei suoi contorni speculativi a partire dagli anni Ottanta dal lavoro congiunto dell’economista indiano Amartya Sen e della filosofa dell’Università di Chicago Martha Nussbaum. Ci si ripropone di dare conto del radicamento filosofico-politico del lavoro intellettuale di Amartya Sen, le cui concezioni economico-politiche non hanno mai rinunciato ad una profonda sensibilità di carattere etico, così come dei principali filoni intorno ai quali si è imbastita la versione nussbaumiana dell’approccio delle capacità a partire dalla sua ascendenza filosofica classica in cui assume una particolare primazia il sistema etico-politico di Aristotele. Il pensiero politico moderno, osservato sotto il prisma della riflessione sulla filosofia della formazione che per Sen e Nussbaum rappresenta la “chiave di volta” per la fioritura delle altre capacità individuali, si organizzerà intorno a tre principali indirizzi teorici: l’emergenza dei diritti positivi e sociali, il dibattito sulla natura della consociazione nell’ambito della dottrina contrattualista e la stessa discussione sui caratteri delle politiche formative. La sensibilità che Sen e Nussbaum mostrano nei confronti dell’evoluzione del pensiero razionalista nel subcontinente che passa attraverso teorici antichi (Kautylia e Ashoka) e moderni (Gandhi e Tagore) segna il tentativo operato dai teorici dell’approccio delle capacità di contrastare concezioni politiche contemporanee fondate sul culturalismo e l’essenzialismo nell’interpretare lo sviluppo delle tradizioni culturali umane (tra esse il multiculturalismo, il comunitarismo, il neorealismo politico e la teoria dei c.d. “valori asiatici”) attraverso la presa di coscienza di un corredo valoriale incentrato intorno al ragionamento rintracciabile (ancorché in maniera sporadica e “parallela”) altresì nelle tradizioni culturali e politiche non occidentali.

Hybrid Artificial Intelligence to Extract Patterns and Rules from Argumentative and Legal Texts

This Thesis is composed of a collection of works written in the period 2019-2022, whose aim is to find methodologies of Artificial Intelligence (AI) and Machine Learning to detect and classify patterns and rules in argumentative and legal texts. We define our approach “hybrid”, since we aimed at designing hybrid combinations of symbolic and sub-symbolic AI, involving both “top-down” structured knowledge and “bottom-up” data-driven knowledge. A first group of works is dedicated to the classification of argumentative patterns. Following the Waltonian model of argument and the related theory of Argumentation Schemes, these works focused on the detection of argumentative support and opposition, showing that argumentative evidences can be classified at fine-grained levels without resorting to highly engineered features. To show this, our methods involved not only traditional approaches such as TFIDF, but also some novel methods based on Tree Kernel algorithms. After the encouraging results of this first phase, we explored the use of a some emerging methodologies promoted by actors like Google, which have deeply changed NLP since 2018-19 — i.e., Transfer Learning and language models. These new methodologies markedly improved our previous results, providing us with best-performing NLP tools. Using Transfer Learning, we also performed a Sequence Labelling task to recognize the exact span of argumentative components (i.e., claims and premises), thus connecting portions of natural language to portions of arguments (i.e., to the logical-inferential dimension). The last part of our work was finally dedicated to the employment of Transfer Learning methods for the detection of rules and deontic modalities. In this case, we explored a hybrid approach which combines structured knowledge coming from two LegalXML formats (i.e., Akoma Ntoso and LegalRuleML) with sub-symbolic knowledge coming from pre-trained (and then fine-tuned) neural architectures.

Plutarch's chemistry of stones and metals: conceptions and explanations. With an appendix on the TheSu XML annotation scheme

This dissertation presents a systematic and analytic overview of most of the information related to stones, minerals, and stone masonry which is found in the corpus of Plutarch of Chaeronea, combined with most of the information on metals and metalworking which is connected to the former. This survey is intended as a first step in the reconstruction of the full landscape of ‘chemical’ ideas occurring in Plutarch’s writings; accordingly, the exposition of the relevant passages, the assessment of their possible interpretations, the discussion on their implications, and their contextualization in the ancient traditions have been conducted with a special interest in the ‘mineralogical’ and ‘metallurgic’ themes developed in the frame of natural philosophy and meteorology. Although in this perspective physical etiology could have come to acquire central prominence, non-etiological information on Plutarch’s ideas on the nature and behaviour of stones and metals has been treated as equally relevant to reach a fuller understanding of how Plutarch conceptualized and visualized them in general, in- and outside the frame of philosophical explanation. Such extensive outline of Plutarch’s ideas on stones and metals is a prerequisite for an accurate inquiry into his use of the two in analogies, metaphors, and symbols: to predispose this kind of research was another aim of the present survey, and this aim has contributed to shape it; moreover, a special attention has been paid to the analysis of analogical and figurative speaking due to the nature itself of a large part of Plutarch’s references to stones and metals, which are either metaphorical, presented in close association with metaphors, or framed in analogies. Much of the information used for the present overview has been extracted —always with supporting argumentation— from the implications of such metaphors and analogies.

Weak reasoning argumentative theory. A dialogical approach for the discovery of philosophy in high schools

In the literature on philosophical practices, despite the crucial role that argumentation plays in these activities, no specific argumentative theories have ever been proposed to assist the figure of the facilitator in conducting philosophical dialogue and to enhance student’s critical thinking skills. The dissertation starts from a cognitive perspective that challenges the classic Cartesian notion of rationality by focusing on limits and biases of human reasoning. An argumentative model (WRAT – Weak Reasoning Argumentative Theory) is then outlined in order to respond to the needs of philosophical dialogue. After justifying the claim that this learning activity, among other inductive methodologies, is the most suitable for critical thinking education, I inquired into the specific goal of ‘arguing’ within this context by means of the tools provided by Speech Act Theory: the speaker’s intention is to construct new knowledge by questioning her own and other’s beliefs. The model proposed has been theorized on this assumption, starting from which the goals, and, in turn, the related norms, have been pinpointed. In order to include all the epistemic attitudes required to accomplish the complex task of arguing in philosophical dialogue, I needed to integrate two opposed cognitive accounts, Dual Process Theory and Evolutionary Approach, that, although they provide incompatible descriptions of reasoning, can be integrated to provide a normative account of argumentation. The model, apart from offering a theoretical contribution to argumentation studies, is designed to be applied to the Italian educational system, in particular to classes in technical and professional high schools belonging to the newly created network Inventio. This initiative is one of the outcomes of the research project by the same name, which also includes an original Syllabus, research seminars, a monitoring action and publications focused on introducing philosophy, in the form of workshop activities, into technical and professional schools.