-
Research Note on Uncertain Probabilities and Abstract Argumentation
Authors:
Pietro Baroni,
Federico Cerutti,
Massimiliano Giacomin,
Lance M. Kaplan,
Murat Sensoy
Abstract:
The sixth assessment of the international panel on climate change (IPCC) states that "cumulative net CO2 emissions over the last decade (2010-2019) are about the same size as the 11 remaining carbon budget likely to limit warming to 1.5C (medium confidence)." Such reports directly feed the public discourse, but nuances such as the degree of belief and of confidence are often lost. In this paper, w…
▽ More
The sixth assessment of the international panel on climate change (IPCC) states that "cumulative net CO2 emissions over the last decade (2010-2019) are about the same size as the 11 remaining carbon budget likely to limit warming to 1.5C (medium confidence)." Such reports directly feed the public discourse, but nuances such as the degree of belief and of confidence are often lost. In this paper, we propose a formal account for allowing such degrees of belief and the associated confidence to be used to label arguments in abstract argumentation settings. Differently from other proposals in probabilistic argumentation, we focus on the task of probabilistic inference over a chosen query building upon Sato's distribution semantics which has been already shown to encompass a variety of cases including the semantics of Bayesian networks. Borrowing from the vast literature on such semantics, we examine how such tasks can be dealt with in practice when considering uncertain probabilities, and discuss the connections with existing proposals for probabilistic argumentation.
△ Less
Submitted 23 August, 2022;
originally announced August 2022.
-
Dynamic Analysis of Confined Ionic Liquids and Ionic Magnetic Fluids: Highlighting Long Range Elastic Interactions
Authors:
Eni Kume,
Peter Dunne,
Nicolas Martin,
Patrick Baroni,
Laurence Noirez
Abstract:
By reinforcing the interaction energy of the liquid with respect to the surface using total wetting boundary conditions, the response of liquids to mechanical shear stress is stronger and exhibits at sub-millimeter scale elastic properties. This study extends here to liquids with strong electrostatic interactions such as ionic liquids and paramagnetic liquids. We show that it is also possible to i…
▽ More
By reinforcing the interaction energy of the liquid with respect to the surface using total wetting boundary conditions, the response of liquids to mechanical shear stress is stronger and exhibits at sub-millimeter scale elastic properties. This study extends here to liquids with strong electrostatic interactions such as ionic liquids and paramagnetic liquids. We show that it is also possible to identify and measure a non-zero low-frequency shear elasticity at sub-millimeter scale. The observation of mesoscopic elastic properties in liquids generally considered as viscous away from any phase transition and the absence of extended structuring confirm the relevance of considering elastic interactions as contributing to collective effects under external electric or magnetic field.
△ Less
Submitted 28 July, 2022;
originally announced July 2022.
-
Explaining Causal Models with Argumentation: the Case of Bi-variate Reinforcement
Authors:
Antonio Rago,
Pietro Baroni,
Francesca Toni
Abstract:
Causal models are playing an increasingly important role in machine learning, particularly in the realm of explainable AI. We introduce a conceptualisation for generating argumentation frameworks (AFs) from causal models for the purpose of forging explanations for the models' outputs. The conceptualisation is based on reinterpreting desirable properties of semantics of AFs as explanation moulds, w…
▽ More
Causal models are playing an increasingly important role in machine learning, particularly in the realm of explainable AI. We introduce a conceptualisation for generating argumentation frameworks (AFs) from causal models for the purpose of forging explanations for the models' outputs. The conceptualisation is based on reinterpreting desirable properties of semantics of AFs as explanation moulds, which are means for characterising the relations in the causal model argumentatively. We demonstrate our methodology by reinterpreting the property of bi-variate reinforcement as an explanation mould to forge bipolar AFs as explanations for the outputs of causal models. We perform a theoretical evaluation of these argumentative explanations, examining whether they satisfy a range of desirable explanatory and argumentative properties.
△ Less
Submitted 23 May, 2022;
originally announced May 2022.
-
Argumentative XAI: A Survey
Authors:
Kristijonas Čyras,
Antonio Rago,
Emanuele Albini,
Pietro Baroni,
Francesca Toni
Abstract:
Explainable AI (XAI) has been investigated for decades and, together with AI itself, has witnessed unprecedented growth in recent years. Among various approaches to XAI, argumentative models have been advocated in both the AI and social science literature, as their dialectical nature appears to match some basic desirable features of the explanation activity. In this survey we overview XAI approach…
▽ More
Explainable AI (XAI) has been investigated for decades and, together with AI itself, has witnessed unprecedented growth in recent years. Among various approaches to XAI, argumentative models have been advocated in both the AI and social science literature, as their dialectical nature appears to match some basic desirable features of the explanation activity. In this survey we overview XAI approaches built using methods from the field of computational argumentation, leveraging its wide array of reasoning abstractions and explanation delivery methods. We overview the literature focusing on different types of explanation (intrinsic and post-hoc), different models with which argumentation-based explanations are deployed, different forms of delivery, and different argumentation frameworks they use. We also lay out a roadmap for future work.
△ Less
Submitted 24 May, 2021;
originally announced May 2021.
-
Influence-Driven Explanations for Bayesian Network Classifiers
Authors:
Antonio Rago,
Emanuele Albini,
Pietro Baroni,
Francesca Toni
Abstract:
One of the most pressing issues in AI in recent years has been the need to address the lack of explainability of many of its models. We focus on explanations for discrete Bayesian network classifiers (BCs), targeting greater transparency of their inner workings by including intermediate variables in explanations, rather than just the input and output variables as is standard practice. The proposed…
▽ More
One of the most pressing issues in AI in recent years has been the need to address the lack of explainability of many of its models. We focus on explanations for discrete Bayesian network classifiers (BCs), targeting greater transparency of their inner workings by including intermediate variables in explanations, rather than just the input and output variables as is standard practice. The proposed influence-driven explanations (IDXs) for BCs are systematically generated using the causal relationships between variables within the BC, called influences, which are then categorised by logical requirements, called relation properties, according to their behaviour. These relation properties both provide guarantees beyond heuristic explanation methods and allow the information underpinning an explanation to be tailored to a particular context's and user's requirements, e.g., IDXs may be dialectical or counterfactual. We demonstrate IDXs' capability to explain various forms of BCs, e.g., naive or multi-label, binary or categorical, and also integrate recent approaches to explanations for BCs from the literature. We evaluate IDXs with theoretical and empirical analyses, demonstrating their considerable advantages when compared with existing explanation methods.
△ Less
Submitted 10 March, 2021; v1 submitted 10 December, 2020;
originally announced December 2020.
-
Strain-Induced Violation of Temperature Uniformity in Mesoscale Liquids
Authors:
Eni Kume,
Patrick Baroni,
Laurence Noirez
Abstract:
Thermo-elasticity couples the deformation of an elastic (solid) body to its temperature and vice-versa. It is a solid-like property. Highlighting such property in liquids is a paradigm shift: it requires long-range collective interactions that are not considered in current liquid descriptions. The present pioneering microthermal studies provide evidence for such solid-like correlations. It is show…
▽ More
Thermo-elasticity couples the deformation of an elastic (solid) body to its temperature and vice-versa. It is a solid-like property. Highlighting such property in liquids is a paradigm shift: it requires long-range collective interactions that are not considered in current liquid descriptions. The present pioneering microthermal studies provide evidence for such solid-like correlations. It is shown that ordinary liquids emit a modulated thermal signal when applying a low frequency (Hz) mechanical shear stress. The liquid splits in several tenths microns wide thermal bands, all varying synchronously and separately with the applied stress wave reaching a sizable amplitude of $\pm$ 0.2 °C. This thermal property is unknown in liquids. Thermo-mechanical coupling challenges a dogma in fluid dynamics: the liquid responds collectively, adapts its internal energy to external shear strain and is not governed by short relaxation times responsible of instant thermal dissipation. The proof of thermomechanical coupling opens the way to a new generation of energy-efficient temperature converters.
△ Less
Submitted 7 February, 2020;
originally announced February 2020.
-
Automata for Infinite Argumentation Structures
Authors:
Pietro Baroni,
Federico Cerutti,
Paul E. Dunne,
Massimiliano Giacomin
Abstract:
The theory of abstract argumentation frameworks (afs) has, in the main, focused on finite structures, though there are many significant contexts where argumentation can be regarded as a process involving infinite objects. To address this limitation, in this paper we propose a novel approach for describing infinite afs using tools from formal language theory. In particular, the possibly infinite se…
▽ More
The theory of abstract argumentation frameworks (afs) has, in the main, focused on finite structures, though there are many significant contexts where argumentation can be regarded as a process involving infinite objects. To address this limitation, in this paper we propose a novel approach for describing infinite afs using tools from formal language theory. In particular, the possibly infinite set of arguments is specified through the language recognized by a deterministic finite automaton while a suitable formalism, called attack expression, is introduced to describe the relation of attack between arguments. The proposed approach is shown to satisfy some desirable properties which can not be achieved through other "naive" uses of formal languages. In particular, the approach is shown to be expressive enough to capture (besides any arbitrary finite structure) a large variety of infinite afs including two major examples from previous literature and two sample cases from the domains of multi-agent negotiation and ambient intelligence. On the computational side, we show that several decision and construction problems which are known to be polynomial time solvable in finite afs are decidable in the context of the proposed formalism and we provide the relevant algorithms. Moreover we obtain additional results concerning the case of finitary afs.
△ Less
Submitted 11 October, 2018;
originally announced October 2018.
-
AFRA: Argumentation framework with recursive attacks
Authors:
Pietro Baroni,
Federico Cerutti,
Massimiliano Giacomin,
Giovanni Guida
Abstract:
The issue of representing attacks to attacks in argumentation is receiving an increasing attention as a useful conceptual modelling tool in several contexts. In this paper we present AFRA, a formalism encompassing unlimited recursive attacks within argumentation frameworks. AFRA satisfies the basic requirements of definition simplicity and rigorous compatibility with Dung's theory of argumentation…
▽ More
The issue of representing attacks to attacks in argumentation is receiving an increasing attention as a useful conceptual modelling tool in several contexts. In this paper we present AFRA, a formalism encompassing unlimited recursive attacks within argumentation frameworks. AFRA satisfies the basic requirements of definition simplicity and rigorous compatibility with Dung's theory of argumentation. This paper provides a complete development of the AFRA formalism complemented by illustrative examples and a detailed comparison with other recursive attack formalizations.
△ Less
Submitted 11 October, 2018;
originally announced October 2018.
-
Regularity for general functionals with double phase
Authors:
Paolo Baroni,
Maria Colombo,
Giuseppe Mingione
Abstract:
We prove sharp regularity results for a general class of functionals of the type $$ w \mapsto \int F(x, w, Dw) \, dx\;, $$ featuring non-standard growth conditions and non-uniform ellipticity properties. The model case is given by the double phase integral $$ w \mapsto \int b(x,w)(|Dw|^p+a(x)|Dw|^q) \, dx\;,\quad 1 <p < q\,, \quad a(x)\geq 0\;, $$ with $0<ν\leq b(\cdot)\leq L $. This changes its e…
▽ More
We prove sharp regularity results for a general class of functionals of the type $$ w \mapsto \int F(x, w, Dw) \, dx\;, $$ featuring non-standard growth conditions and non-uniform ellipticity properties. The model case is given by the double phase integral $$ w \mapsto \int b(x,w)(|Dw|^p+a(x)|Dw|^q) \, dx\;,\quad 1 <p < q\,, \quad a(x)\geq 0\;, $$ with $0<ν\leq b(\cdot)\leq L $. This changes its ellipticity rate according to the geometry of the level set $\{a(x)=0\}$ of the modulating coefficient $a(\cdot)$. We also present new methods and proofs, that are suitable to build regularity theorems for larger classes of non-autonomous functionals. Finally, we disclose some new interpolation type effects that, as we conjecture, should draw a general phenomenon in the setting of non-uniformly elliptic problems. Such effects naturally connect with the Lavrentiev phenomenon.
△ Less
Submitted 30 August, 2017;
originally announced August 2017.
-
A Labelling Framework for Probabilistic Argumentation
Authors:
Regis Riveret,
Pietro Baroni,
Yang Gao,
Guido Governatori,
Antonino Rotolo,
Giovanni Sartor
Abstract:
The combination of argumentation and probability paves the way to new accounts of qualitative and quantitative uncertainty, thereby offering new theoretical and applicative opportunities. Due to a variety of interests, probabilistic argumentation is approached in the literature with different frameworks, pertaining to structured and abstract argumentation, and with respect to diverse types of unce…
▽ More
The combination of argumentation and probability paves the way to new accounts of qualitative and quantitative uncertainty, thereby offering new theoretical and applicative opportunities. Due to a variety of interests, probabilistic argumentation is approached in the literature with different frameworks, pertaining to structured and abstract argumentation, and with respect to diverse types of uncertainty, in particular the uncertainty on the credibility of the premises, the uncertainty about which arguments to consider, and the uncertainty on the acceptance status of arguments or statements. Towards a general framework for probabilistic argumentation, we investigate a labelling-oriented framework encompassing a basic setting for rule-based argumentation and its (semi-) abstract account, along with diverse types of uncertainty. Our framework provides a systematic treatment of various kinds of uncertainty and of their relationships and allows us to back or question assertions from the literature.
△ Less
Submitted 8 March, 2018; v1 submitted 31 July, 2017;
originally announced August 2017.
-
Existence and boundary regularity for degenerate phase transitions
Authors:
Paolo Baroni,
Tuomo Kuusi,
Casimir Lindfors,
José Miguel Urbano
Abstract:
We study the Cauchy-Dirichlet problem associated to a phase transition modeled upon the degenerate two-phase Stefan problem. We prove that weak solutions are continuous up to the parabolic boundary and quantify the continuity by deriving a modulus. As a byproduct, these a priori regularity results are used to prove the existence of a so-called physical solution.
We study the Cauchy-Dirichlet problem associated to a phase transition modeled upon the degenerate two-phase Stefan problem. We prove that weak solutions are continuous up to the parabolic boundary and quantify the continuity by deriving a modulus. As a byproduct, these a priori regularity results are used to prove the existence of a so-called physical solution.
△ Less
Submitted 23 February, 2017;
originally announced February 2017.
-
Solid-like rheological response of non-entangled polymers in the molten state
Authors:
H Mendil,
P Baroni,
Laurence Noirez
Abstract:
We show that non-entangled polymers display an elastic-like behaviour at a macroscopic scale (probed at some 0.100 mm thickness) up to at least hundred degrees above the glass transition temperature. This observation, found under non-slippage conditions, both for side-chain liquid crystalline polymers and ordinary polymers, is in contradiction with the typically found flow behaviour of polymer mel…
▽ More
We show that non-entangled polymers display an elastic-like behaviour at a macroscopic scale (probed at some 0.100 mm thickness) up to at least hundred degrees above the glass transition temperature. This observation, found under non-slippage conditions, both for side-chain liquid crystalline polymers and ordinary polymers, is in contradiction with the typically found flow behaviour of polymer melt. Our measurements were carried out with a conventional rheometer at thicknesses of several tenths millimetres. Thus, we were probing bulk properties. The observed elasticity supposedly implies that even in the melt the chains experience a cohesive effect of macroscopic distances, involving collective motions over time scales longer than the individual relaxation time of an individual polymer chain. The detection of such a solid-like property of molten non-entangled polymers is of considerable importance for a better understanding of the polymer dynamics.
△ Less
Submitted 9 September, 2016;
originally announced September 2016.
-
The Cauchy-Dirichlet problem for a general class of parabolic equations
Authors:
Paolo Baroni,
Casimir Lindfors
Abstract:
We prove regularity results such as interior Lipschitz regularity and boundary continuity for the Cauchy-Dirichlet problem associated to a class of parabolic equations inspired by the evolutionary $p$-Laplacian, but extending it at a wide scale. We employ a regularization technique of viscosity-type that we find interesting in itself.
We prove regularity results such as interior Lipschitz regularity and boundary continuity for the Cauchy-Dirichlet problem associated to a class of parabolic equations inspired by the evolutionary $p$-Laplacian, but extending it at a wide scale. We employ a regularization technique of viscosity-type that we find interesting in itself.
△ Less
Submitted 4 September, 2015;
originally announced September 2015.
-
Cracking in polymer glasses and evolution at zero stress: Highlighting discrete long time scale relaxations
Authors:
S. Mbarek,
P. Baroni,
L. Noirez
Abstract:
Fracture initiation in glassy polymers with no notch is studied together with the evolution at zero stress in the glassy state. Confocal microscopy observations and auto-correlation methods are used to characterize specimens of polymethyl methacrylate (PMMA) loaded at room temperature and subsequently unloaded. The evolution of the morphology and the location of the cracking submitted to elongatio…
▽ More
Fracture initiation in glassy polymers with no notch is studied together with the evolution at zero stress in the glassy state. Confocal microscopy observations and auto-correlation methods are used to characterize specimens of polymethyl methacrylate (PMMA) loaded at room temperature and subsequently unloaded. The evolution of the morphology and the location of the cracking submitted to elongation rate up to 8% are reported and analyzed during the zero-stress relaxation. The crackling (longitudinal crack, transverse crack and crazes) takes place mainly within a 10micron thickness layer from the surface and does not extend in the bulk. It is shown that the strain field continues to evolve without stress, and that it can be described by an intermittent retraction of the displacement field. Correlatively the number of crazes or of micro-cavities is increasing in the post-loading state at zero-stress relaxation. The timescales involved in the retraction are of the order of several days reporting thus on so far unknown very slow relaxation timescales.
△ Less
Submitted 1 December, 2014;
originally announced December 2014.
-
Borderline gradient continuity of minima
Authors:
Paolo Baroni,
Tuomo Kuusi,
Giuseppe Mingione
Abstract:
The gradient of any local minimiser of functionals of the type $$ w \mapsto \int_Ωf(x,w,Dw)\,dx+\int_Ωwμ\,dx, $$ where $f$ has $p$-growth, $p>1$, and $Ω\subset \mathbb R^n$, is continuous provided the optimal Lorentz space condition $μ\in L(n,1)$ is satisfied and $x\to f(x, \cdot)$ is suitably Dini-continuous.
The gradient of any local minimiser of functionals of the type $$ w \mapsto \int_Ωf(x,w,Dw)\,dx+\int_Ωwμ\,dx, $$ where $f$ has $p$-growth, $p>1$, and $Ω\subset \mathbb R^n$, is continuous provided the optimal Lorentz space condition $μ\in L(n,1)$ is satisfied and $x\to f(x, \cdot)$ is suitably Dini-continuous.
△ Less
Submitted 29 September, 2014;
originally announced September 2014.
-
A quantitative modulus of continuity for the two-phase Stefan problem
Authors:
Paolo Baroni,
Tuomo Kuusi,
José Miguel Urbano
Abstract:
We derive the quantitative modulus of continuity $$ ω(r)=\left[ p+\ln \left( \frac{r_0}{r} \right) \right]^{-α(n,p)}, $$ which we conjecture to be optimal, for solutions of the $p$-degenerate two-phase Stefan problem. Even in the classical case $p=2$, this represents a twofold improvement with respect to the 1984 state-of-the-art result by DiBenedetto and Friedman [J. reine angew. Math., 1984], in…
▽ More
We derive the quantitative modulus of continuity $$ ω(r)=\left[ p+\ln \left( \frac{r_0}{r} \right) \right]^{-α(n,p)}, $$ which we conjecture to be optimal, for solutions of the $p$-degenerate two-phase Stefan problem. Even in the classical case $p=2$, this represents a twofold improvement with respect to the 1984 state-of-the-art result by DiBenedetto and Friedman [J. reine angew. Math., 1984], in the sense that we discard one logarithm iteration and obtain an explicit value for the exponent $α(n,p)$.
△ Less
Submitted 12 January, 2014;
originally announced January 2014.
-
Lorentz estimates for obstacle parabolic problems
Authors:
Paolo Baroni
Abstract:
We prove that the spatial gradient of (variational) solutions to parabolic obstacle problems of p-Laplacian type enjoys the same regularity of the data and of the derivatives of the obstacle in the scale of Lorentz spaces.
We prove that the spatial gradient of (variational) solutions to parabolic obstacle problems of p-Laplacian type enjoys the same regularity of the data and of the derivatives of the obstacle in the scale of Lorentz spaces.
△ Less
Submitted 5 November, 2013;
originally announced November 2013.
-
Global estimates for nonlinear parabolic equations
Authors:
Paolo Baroni,
Agnese Di Castro,
Giampiero Palatucci
Abstract:
We consider nonlinear parabolic equations of the type $$ u_t - div a(x, t, Du)= f(x,t) on Ω_T = Ω\times (-T,0), $$ under standard growth conditions on $a$, with $f$ only assumed to be integrable. We prove general decay estimates up to the boundary for level sets of the solutions $u$ and the gradient $Du$ which imply very general estimates in Lebesgue and Lorentz spaces. Assuming only that the invo…
▽ More
We consider nonlinear parabolic equations of the type $$ u_t - div a(x, t, Du)= f(x,t) on Ω_T = Ω\times (-T,0), $$ under standard growth conditions on $a$, with $f$ only assumed to be integrable. We prove general decay estimates up to the boundary for level sets of the solutions $u$ and the gradient $Du$ which imply very general estimates in Lebesgue and Lorentz spaces. Assuming only that the involved domains satisfy a mild exterior capacity density condition, we provide global regularity results.
△ Less
Submitted 31 January, 2013; v1 submitted 9 January, 2013;
originally announced January 2013.
-
Structural Flyby Characterization of Nanoporosity
Authors:
R. R. Rosa,
A. Ferreira da Silva,
R. C. Brito,
L. S. Roman,
M. P. M. A. Baroni,
F. M. Ramos,
R. Ahuja,
C. Persson
Abstract:
Recently, Ferreira da Silva et al. [3] have performed a gradient pattern analysis of a canonical sample set (CSS) of scanning force microscopy (SFM) images of p-Si. They applied the so-called Gradient Pattern Analysis to images of three typical p-Si samples distinguished by different absorption energy levels and aspect ratios. Taking into account the measures of spatial asymmetric fluctuations t…
▽ More
Recently, Ferreira da Silva et al. [3] have performed a gradient pattern analysis of a canonical sample set (CSS) of scanning force microscopy (SFM) images of p-Si. They applied the so-called Gradient Pattern Analysis to images of three typical p-Si samples distinguished by different absorption energy levels and aspect ratios. Taking into account the measures of spatial asymmetric fluctuations they interpreted the global porosity not only in terms of the amount of roughness, but rather in terms of the structural complexity (e.g., walls and fine structures as slots). This analysis has been adapted in order to operate in a OpenGL flyby environment (the StrFB code), whose application give the numerical characterization of the structure during the flyby real time. Using this analysis we compare the levels of asymmetric fragmentation of active porosity related to different materials as p-Si and "porous diamond-like" carbon. In summary we have shown that the gradient pattern analysis technique in a flyby environment is a reliable sensitive method to investigate, qualitatively and quantitatively, the complex morphology of active nanostructures.
△ Less
Submitted 26 August, 2004;
originally announced August 2004.