Search

This article's main contributions are twofold: 1) to demonstrate how to apply the general European Union's High-Level Expert Group's (EU HLEG) guidelines for trustworthy AI in practice for the domain of healthcare and 2) to investigate the research question of what does "trustworthy AI" mean at the time of the COVID-19 pandemic. To this end, we present the results of a post-hoc self-assessment to evaluate the trustworthiness of an AI system for predicting a multiregional score conveying the degree of lung compromise in COVID-19 patients, developed and verified by an interdisciplinary team with members from academia, public hospitals, and industry in time of pandemic. The AI system aims to help radiologists to estimate and communicate the severity of damage in a patient's lung from Chest X-rays. It has been experimentally deployed in the radiology department of the ASST Spedali Civili clinic in Brescia, Italy, since December 2020 during pandemic time. The methodology we have applied for our post-hoc assessment, called Z-Inspection®, uses sociotechnical scenarios to identify ethical, technical, and domain-specific issues in the use of the AI system in the context of the pandemic.

This article's main contributions are twofold: 1) to demonstrate how to apply the general European Union's High-Level Expert Group's (EU HLEG) guidelines for trustworthy AI in practice for the domain of healthcare and 2) to investigate the research question of what does "trustworthy AI" mean at the time of the COVID-19 pandemic. To this end, we present the results of a post-hoc self-assessment to evaluate the trustworthiness of an AI system for predicting a multiregional score conveying the degree of lung compromise in COVID-19 patients, developed and verified by an interdisciplinary team with members from academia, public hospitals, and industry in time of pandemic. The AI system aims to help radiologists to estimate and communicate the severity of damage in a patient's lung from Chest X-rays. It has been experimentally deployed in the radiology department of the ASST Spedali Civili clinic in Brescia, Italy, since December 2020 during pandemic time. The methodology we have applied for our post-hoc assessment, called Z-Inspection®, uses sociotechnical scenarios to identify ethical, technical, and domain-specific issues in the use of the AI system in the context of the pandemic.

The European Union (EU) through the High-Level Expert Group on Artificial Intelligence (AI-HLEG) and the General Data Protection Regulation (GDPR) has recently posed an interesting challenge to the eXplainable AI (XAI) community, by demanding a more user-centred approach to explain Automated Decision-Making systems (ADMs). Looking at the relevant literature, XAI is currently focused on producing explainable software and explanations that generally follow an approach we could term One-Size-Fits-All, that is unable to meet a requirement of centring on user needs. One of the causes of this limit is the belief that making things explainable alone is enough to have pragmatic explanations. Thus, insisting on a clear separation between explainabilty (something that can be explained) and explanations, we point to explanatorY AI (YAI) as an alternative and more powerful approach to win the AI-HLEG challenge. YAI builds over XAI with the goal to collect and organize explainable information, articulating it into something we called user-centred explanatory discourses. Through the use of explanatory discourses/narratives we represent the problem of generating explanations for Automated Decision-Making systems (ADMs) into the identification of an appropriate path over an explanatory space, allowing explainees to interactively explore it and produce the explanation best suited to their needs.

Technical debt is candidate to be the next buzzword in software engineering, and the number of studies evaluating the technical debt of software projects is increasing. A particular and dangerous type of debt is the architectural debt, i.e., the consequences of sub-optimal design decisions. Currently, there are no studies about the evaluation of architectural debt in MultiAgent Systems (MAS) and platforms. Hence, in this paper we propose the analysis of four well-known MAS development platforms, with the aim of evaluating their architectural debt and open the discussion in this field. We exploit a tool, named Arcan, developed for architectural smell detection and for the computation of an architectural debt index. The results show that MAS development platforms are subjected to architectural debt, and in particular to the presence of Cyclic Dependency smells. However, there is evidence that the minimum amount of debt is reached when developers report “bug fixes” and “Improvements”.

Reinforcement Learning represents a way to train an agent situated in an environment what to do to maximise an accumulated numerical reward signal (received by the environment as a feedback to every chosen action). Within this paper we explore the possibility to apply this approach to pedestrian modelling: pedestrians generally do not exhibit an optimal behaviour, therefore we carefully defined a reward function (combining contributions related to proxemics, goal orientation, basic wayfinding considerations), but also a particular training curriculum, a set of scenarios of growing difficulty supporting the incremental acquisition of proper orientation, walking, and pedestrian interaction competences. The paper will describe the fundamental elements of the approach, its implementation within a software framework employing Unity and ML-Agents, describing the promising achieved simulation results.

After publication of the article [1], it has been brought to our attention that the thirteenth author of this article has had their name spelt incorrectly. In the original article the spelling "Laura Rizzir" was used. In fact the correct spelling should be "Laura Rizzi".

Interest in chronic conditions reflects their role as the first cause of death and disability in developed countries; improving the management of these conditions is a priority for health care services. The aim of this study was to establish which sociodemographic factors influence adherence to standards of care for chronic heart failure (CHF). A generalized multilevel structural equation model was developed and applied to a sample of patients with CHF obtained from administrative data flows in six Italian regions to ascertain any associations between adherence to standards of care for CHF and sociodemographic variables. Indicators of compliance were adherence to beta-blocker therapy (BB-A) and Angiotensin Convertin Enzime inhibitor/Angiotensin Receptor Blocker therapy (ACE-A), and creatinine and electrolyte testing (CNK-T). All indicators were computed over a one-year follow-up. Among a cohort of 24,997 patients, the BB-A rate was 40.4%, the ACE-A rate 61.1%, and the CNK-T rate 57.0%. Factors found associated with adherence were gender, age, and citizenship. Our study shows an inadequate adherence to standards of care for CHF, particularly associated with certain sociodemographic characteristics. This suggests the need to improve the role of primary care in managing this chronic condition. The measures considered only apply to patients with a reduced Left Ventricular Ejection Fraction, hence a limitation of this analysis is the lack of information on left ventricular ejection.

A multidisciplinary group of experts gathered in Parma Italy for a workshop hosted by the University of Parma, May 16-18, 2014 to address concerns about the potential relationship between environmental metabolic disrupting chemicals, obesity and related metabolic disorders. The objectives of the workshop were to: 1. Review findings related to the role of environmental chemicals, referred to as "metabolic disruptors", in obesity and metabolic syndrome with special attention to recent discoveries from animal model and epidemiology studies; 2. Identify conclusions that could be drawn with confidence from existing animal and human data; 3. Develop predictions based on current data; and 4. Identify critical knowledge gaps and areas of uncertainty. The consensus statements are intended to aid in expanding understanding of the role of metabolic disruptors in the obesity and metabolic disease epidemics, to move the field forward by assessing the current state of the science and to identify research needs on the role of environmental chemical exposures in these diseases. We propose broadening the definition of obesogens to that of metabolic disruptors, to encompass chemicals that play a role in altered susceptibility to obesity, diabetes and related metabolic disorders including metabolic syndrome.

A multidisciplinary group of experts gathered in Parma Italy for a workshop hosted by the University of Parma, May 16-18, 2014 to address concerns about the potential relationship between environmental metabolic disrupting chemicals, obesity and related metabolic disorders. The objectives of the workshop were to: 1. Review findings related to the role of environmental chemicals, referred to as "metabolic disruptors", in obesity and metabolic syndrome with special attention to recent discoveries from animal model and epidemiology studies; 2. Identify conclusions that could be drawn with confidence from existing animal and human data; 3. Develop predictions based on current data; and 4. Identify critical knowledge gaps and areas of uncertainty. The consensus statements are intended to aid in expanding understanding of the role of metabolic disruptors in the obesity and metabolic disease epidemics, to move the field forward by assessing the current state of the science and to identify research needs on the role of environmental chemical exposures in these diseases. We propose broadening the definition of obesogens to that of metabolic disruptors, to encompass chemicals that play a role in altered susceptibility to obesity, diabetes and related metabolic disorders including metabolic syndrome.

A multidisciplinary group of experts gathered in Parma Italy for a workshop hosted by the University of Parma, May 16-18, 2014 to address concerns about the potential relationship between environmental metabolic disrupting chemicals, obesity and related metabolic disorders. The objectives of the workshop were to: 1. Review findings related to the role of environmental chemicals, referred to as "metabolic disruptors", in obesity and metabolic syndrome with special attention to recent discoveries from animal model and epidemiology studies; 2. Identify conclusions that could be drawn with confidence from existing animal and human data; 3. Develop predictions based on current data; and 4. Identify critical knowledge gaps and areas of uncertainty. The consensus statements are intended to aid in expanding understanding of the role of metabolic disruptors in the obesity and metabolic disease epidemics, to move the field forward by assessing the current state of the science and to identify research needs on the role of environmental chemical exposures in these diseases. We propose broadening the definition of obesogens to that of metabolic disruptors, to encompass chemicals that play a role in altered susceptibility to obesity, diabetes and related metabolic disorders including metabolic syndrome.

A multidisciplinary group of experts gathered in Parma Italy for a workshop hosted by the University of Parma, May 16-18, 2014 to address concerns about the potential relationship between environmental metabolic disrupting chemicals, obesity and related metabolic disorders. The objectives of the workshop were to: 1. Review findings related to the role of environmental chemicals, referred to as "metabolic disruptors", in obesity and metabolic syndrome with special attention to recent discoveries from animal model and epidemiology studies; 2. Identify conclusions that could be drawn with confidence from existing animal and human data; 3. Develop predictions based on current data; and 4. Identify critical knowledge gaps and areas of uncertainty. The consensus statements are intended to aid in expanding understanding of the role of metabolic disruptors in the obesity and metabolic disease epidemics, to move the field forward by assessing the current state of the science and to identify research needs on the role of environmental chemical exposures in these diseases. We propose broadening the definition of obesogens to that of metabolic disruptors, to encompass chemicals that play a role in altered susceptibility to obesity, diabetes and related metabolic disorders including metabolic syndrome.

Who is responsible for accidents in highly automated systems? How do we apportion liability among the various participants in complex socio-technical organisations? How can different liability regulations at different levels (supranational, national, local) be harmonized? How do we provide for accountability, while promoting safety? These and other questions are being addressed by the ALIAS (Addressing Liability Impact of Automated Systems) project. In this paper we present the outline framework of the project, its objectives, and some preliminary results: in particular, we present a framework for liability in aviation, an analysis of real accidents and of a hypothetical case involving UAS according to a methodology developed in the project, and finally, we introduce the Legal Case, that is a methodological tool (currently under development) aimed at identifying and addressing liability issues of automated ATM systems.

Who is responsible for accidents in highly automated systems? How do we apportion liability among the various participants in complex socio-technical organisations? How can different liability regulations at different levels (supranational, national, local) be harmonized? How do we provide for accountability, while promoting safety? These and other questions are being addressed by the ALIAS (Addressing Liability Impact of Automated Systems) project. In this paper we present the outline framework of the project, its objectives, and some preliminary results: in particular, we present a framework for liability in aviation, an analysis of real accidents and of a hypothetical case involving UAS according to a methodology developed in the project, and finally, we introduce the Legal Case, that is a methodological tool (currently under development) aimed at identifying and addressing liability issues of automated ATM systems.

This paper extends our previous logical analysis of presumptions and burden of proof by studying the force of a presumption once counterevidence has been offered. In the jurisprudential literature different accounts of this issue have been given: some have argued that a presumption is nullified by counterarguments while others have maintained that this gives presumptions a force that is too slight. We argue that these differences largely are not a matter of logic but of legal policy, and we show how the various accounts can be logically formalised.

This paper extends our previous logical analysis of presumptions and burden of proof by studying the force of a presumption once counterevidence has been offered. In the jurisprudential literature different accounts of this issue have been given: some have argued that a presumption is nullified by counterarguments while others have maintained that this gives presumptions a force that is too slight. We argue that these differences largely are not a matter of logic but of legal policy, and we show how the various accounts can be logically formalised.

The outcome of a legal dispute, namely, the decision of its adjudicator, is uncertain, and both parties develop their strategies on the basis of their appreciation of the probability that the adjudicator will accept their arguments or the arguments of their adversary. Costs and gains have to be balanced in light of this uncertainty in order to identify the most convenient strategies. This paper provides a probabilistic approach embedded into an argumentation framework to capture this uncertainty and its use to determine the expected utility to engage in a legal dispute.

This paper presents an argument-based logic for reasoning about allocations of the burden of persuasion. The logic extends the system of Prakken (2001), which in turn modified the system of Prakken & Sartor (1996) with the possibility to distribute the burden of proof over both sides in an argument game. First the (2001) system is put in the context of a distinction of three types of proof burdens and it is argued that the proof burdens of that system are in fact burdens of persuasion. Then the (2001) system is modified to allow for defeasible reasoning about allocations of such burdens within the logic. The usefulness of the resulting system is illustrated with applications to real legal cases.

The outcome of a legal dispute, namely, the decision of its adjudicator, is uncertain, and both parties develop their strategies on the basis of their appreciation of the probability that the adjudicator will accept their arguments or the arguments of their adversary. Costs and gains have to be balanced in light of this uncertainty in order to identify the most convenient strategies. This paper provides a probabilistic approach embedded into an argumentation framework to capture this uncertainty and its use to determine the expected utility to engage in a legal dispute.

This paper presents an argument-based logic for reasoning about allocations of the burden of persuasion. The logic extends the system of Prakken (2001), which in turn modified the system of Prakken & Sartor (1996) with the possibility to distribute the burden of proof over both sides in an argument game. First the (2001) system is put in the context of a distinction of three types of proof burdens and it is argued that the proof burdens of that system are in fact burdens of persuasion. Then the (2001) system is modified to allow for defeasible reasoning about allocations of such burdens within the logic. The usefulness of the resulting system is illustrated with applications to real legal cases.