A widespread need to explain the behavior and outcomes of AI-based systems has emerged, due to their ubiquitous presence. Thus, providing renewed momentum to the relatively new research area of eXplainable AI (XAI). Nowadays, the importance of XAI lies in the fact that the increasing control transference to this kind of system for decision making -or, at least, its use for assisting executive stakeholders- already affects many sensitive realms (as in Politics, Social Sciences, or Law). The decision-making power handover to (...) opaque AI systems makes mandatory explaining those, primarily in application scenarios where the stakeholders are unaware of both the high technology applied and the basic principles governing the technological solutions. The issue should not be reduced to a merely technical problem; the explainer would be compelled to transmit richer knowledge about the system (including its role within the informational ecosystem where he/she works). To achieve such an aim, the explainer could exploit, if necessary, practices from other scientific and humanistic areas. The first aim of the paper is to emphasize and justify the need for a multidisciplinary approach that is beneficiated from part of the scientific and philosophical corpus on Explaining, underscoring the particular nuances of the issue within the field of Data Science. The second objective is to develop some arguments justifying the authors’ bet by a more relevant role of ideas inspired by, on the one hand, formal techniques from Knowledge Representation and Reasoning, and on the other hand, the modeling of human reasoning when facing the explanation. This way, explaining modeling practices would seek a sound balance between the pure technical justification and the explainer-explainee agreement. (shrink)

We study the theories I∇n, L∇n and overspill principles for ∇n formulas. We show that IEn ⇒ L∇n ⇒ I∇n, but we do not know if I∇n L∇n. We introduce a new scheme, the growth scheme Crγ, and we prove that L∇n ⇒ Cr∇n⇒ I∇n. Also, we analyse the utility of bounded collection axioms for the study of the above theories.

Notwithstanding the potential danger to security and privacy, sharing and publishing data has become usual in Data Science. To preserve privacy, de-identification methodologies guided by risk estimation have been designed. Two issues associated with classical risk metrics are, on the one hand, the adequacy of the metric and, on the other hand, its static nature. In this paper, we present metrics for estimating risk based on the emerging semantics provided by Formal Concept Analysis. The metrics are designed to estimate the (...) a priori risk of compromised data deletion. Furthermore, by applying specialized variable forgetting methods for association rules, it is shown how to reflect the effect of deleting attributes belonging to potentially dangerous quasi-identifier sets. Additionally, a study of the role of the risk metric in confidence-based reasoning for re-identification is presented. (shrink)

This paper is devoted to the study of some subvarieties of the variety Qof Q-Heyting algebras, that is, Heyting algebras with a quantifier. In particular, a deeper investigation is carried out in the variety Q 3 of three-valued Q-Heyting algebras to show that the structure of the lattice of subvarieties of Qis far more complicated that the lattice of subvarieties of Heyting algebras. We determine the simple and subdirectly irreducible algebras in Q 3 and we construct the lattice of subvarieties (...) (Q 3 ) of the variety Q 3. (shrink)

The variety O2 of double Ockham algebras consists of the algebras (A ∨, ∧, f,g 0,1) of type (2,2,1,1,0,0) where (A; ∨, ∧,f, 0,1) and (A; ∨, ∧,g 0,1) are Ockham algebras. In [16], M. Sequeira introduced several subvarieties of O2. In this paper we give a construction of free double Ockham algebras on a partially ordered set. We also describe free objects for the subvarieties of O2 considered in [16].

Some recently articulated American Christian liberation theolo­gies maintain that they seek justice for the oppressed. But such “justice” fails to encompass the respecting of certain rights of the oppressed to compensation from their oppressors. The right of the oppressed to holistic (including compensatory) reparations from their oppressors is explored in terms of why liberation theologies ought to, among other things, respect and embrace such a right. For economic issues, both distributive and compensatory, are inseparable from oppression-based poverty and hence inseparable (...) from the will of God insofar as it is the will of God to liberate the oppressed. By pressing the importance of reparations for oppressed groups, we seek to liberate liberation theologies from the shackles of a view that fails to recognize in a robust sense the law as a vehicle of rectification of oppression. (shrink)

Mujerista Theology, the name given to the groundbreaking work of Ada María Isasi-Díaz, can be understood as a constellation, with each star symbolizing its various concepts, themes, and theories, all forming a pattern that can be perceived from a distance. This pattern — the legacy of mujerista theology — changes as these stars shift against the celestial backdrop over time. This essay explores the implications of Mujerista Theology for social change by exploring three ‘stars’ of the Mujerista Theology constellation — (...) mestizaje-mulatez, lo cotidiano, and subversive narratives — and examining some of the underlying presuppositions operative in Mujerista Theology. It contends that Mujerista Theology significantly contributes to the social change strategies of liberationist, feminist, and Hispanic theologies. (shrink)

This paper analyses the details that characterized the negotiation and collection of the servicio de los naturales from the year 1603 onwards, the last time of those three in which moriscos of Granada paid to the Hispanic Monarchy after the Alpujarras War, when they were settled in Castile. The author has analysed documents coming from the Archivo General de Simancas, but also those included in notary’s protocols and in local archives. Its main contributions are three: to publish the content of (...) the actual contract signed by the moriscos and the Crown; to contribute to set up a precise spatial distribution of the communities that paid the tax and, finally, to show the amounts delivered by them. Irregularities, problems, and conflicts lived while the precedent servicios were being paid, are analysed too. There are aspects that we know thanks to other previous works. Nevertheless, if they are considered in relation with the situation of the year 1603, they allow observing that all those difficulties were used in order to improve the servicio itself and the agreement between the minority and the King. (shrink)

Most theories of slurs fall into one of two families: those which understand slurring terms to involve special descriptive/informational content (however conveyed), and those which understand them to encode special emotive/expressive content. Our view is that both offer essential insights, but that part of what sets slurs apart is use-theoretic content. In particular, we urge that slurring words belong at the intersection of a number of categories in a sociolinguistic register taxonomy, one that usually includes [+slang] and [+vulgar] and always (...) includes [-polite] and [+derogatory]. Thus, e.g., what distinguishes ‘Chinese’ from ‘chink’ is neither a peculiar sort of descriptive nor emotional content, but rather the fact that ‘chink’ is lexically marked as belonging to different registers than ‘Chinese’. It is, moreover, partly such facts which makes slurring ethically unacceptable. (shrink)

This paper is devoted to the study of some subvarieties of the variety Q of Q-Heyting algebras, that is, Heyting algebras with a quantifier. In particular, a deeper investigation is carried out in the variety Q subscript 3 of three-valued Q-Heyting algebras to show that the structure of the lattice of subvarieties of Q is far more complicated that the lattice of subvarieties of Heyting algebras. We determine the simple and subdirectly irreducible algebras in Q subscript 3 and we construct (...) the lattice of subvarieties lambda (Q subscript 3) of the variety Q subscript 3. (shrink)

Gene expression activity is heterogeneous in a population of isogenic cells. Identifying the molecular basis of this variability will improve our understanding of phenomena like tumor resistance to drugs, virus infection, or cell fate choice. The complexity of the molecular steps and machines involved in transcription and translation could introduce sources of randomness at many levels, but a common constraint to most of these processes is its energy dependence. In eukaryotic cells, most of this energy is provided by mitochondria. A (...) clonal population of cells may show a large variability in the number and functionality of mitochondria. Here, we discuss how differences in the mitochondrial content of each cell contribute to heterogeneity in gene products. Changes in the amount of mitochondria can also entail drastic alterations of a cell's gene expression program, which ultimately leads to phenotypic diversity. (shrink)

In this paper we extend Mundici’s functor Γ to the category of monadic MV-algebras. More precisely, we define monadic ℓ -groups and we establish a natural equivalence between the category of monadic MV-algebras and the category of monadic ℓ -groups with strong unit. Some applications are given thereof.

In this paper we extend Mundici’s functor Γ to the category of monadic MV-algebras. More precisely, we define monadic ℓ-groups and we establish a natural equivalence between the category of monadic MV-algebras and the category of monadic ℓ-groups with strong unit. Some applications are given thereof.

A cognitive assessment strategy that is not limited to examining a set of summary test scores may be more helpful for early detection of emergent illness such as Alzheimer’s disease (AD) and may permit a better understanding of cognitive functions and dysfunctions in those with AD and other dementia disorders. A revisit of the work already undertaken by Kaplan and colleagues using the Boston Process-Approach provides a solid basis for identifying new opportunities to capture data on neurocognitive processes, test-taking strategies (...) and response styles. Thus, this critical review will combine traditional process-based assessment strategies with support provided or offered by newer technologies that have the potential to add value to data collection and interpretation. There is now considerable interest in neuropsychological test administration using computer/digital technology, both in research and in clinical settings. To add value, any computerized version of an existing cognitive test should respect the administration procedure for which normative data were obtained, should be time-saving in terms of scoring and interpretation, and should, we argue, facilitate gathering information about the processes and strategies followed in test completion. This article will offer an overview of the steps needed when implementing computerization of neuropsychological tests using a Process-Based Approach (PBA) to these technology-based adaptations and will discuss further developments in this area by linking it to future technological developments that may be possible in the area of neuropsychological assessment. Additionally, an overview of neuropsychological tests that may benefit from computerization will be presented, together with suggestions on the specific processes, strategies and features that may be captured with the aid of such computerization. Finally, hypotheses on how virtual reality could be an asset for the future of the PBA to neuropsychological assessment will also be discussed. (shrink)

High school students are at risk for increased sedentary behavior due in part to a decrease in physical activity throughout adolescence and to required sedentary behavior during much of the school day. The purpose of the current study is to examine the impact of using activity workstations in a high school English class for struggling readers. Twenty high school students participated in the study. The participants completed a 16-week study where each participant used an activity workstation for 8 weeks and (...) a traditional desk for 8 weeks in a crossover design for a 40-min period during normal class. They responded to a series of subjective questions about reading and schoolwork at the beginning and end of each 8-week session and followed the READ 180 program designed to help struggling readers during the study. The results indicated that academic performance increased in both desk conditions during the study and from the beginning to the end of the study. In addition, there was a significant improvement in items in the subjective survey related to reading, motivation, and schoolwork in both desk conditions across the study. The current results suggest that using an activity workstation in the classroom did not negatively affect academic performance or students’ perceptions of working on academic assignments compared to the traditional desk condition. These results indicate that activity workstations could be implemented in classrooms to provide students with a non-sedentary option during the school day thus increasing physical activity in students. (shrink)

Research on mental health of non-professional caregivers has focused on caregivers of people with specific diseases, especially dementia. Less is known about caregivers of people with other diseases. The aims of this study were (a) to determine the caregivers’ emotional state in a random sample of caregivers of people in situations of dependency, (b) to analyze the association between each disease of the care-recipient (a variety of 23 diseases included in the International Classification of Diseases) and the emotional state of (...) the caregiver, and (c) based on the theoretical model, to analyze the relationship of the different study variables in the appearance of the emotional distress of the caregiver. A sample of 491 non-professional caregivers was selected randomly (89.0% women, average age 55.3 years). Trained psychologists collected sociodemographic and care-related characteristics and evaluated the global emotional distress, somatic symptoms, anxiety-insomnia, social dysfunction, depression, probable mental disorder case, self-esteem and social support. It was found that (a) the caregivers showed moderate emotional distress, and 33.8% presented a probable mental disorder. (b) Caring for a care-recipient with cat's cry syndrome or epilepsy was related to suffering from social dysfunction, and caring for a care-recipient with autism was related to having a probable mental health case. (c) Social support mediated the relationship between social class, daily hours of care, monthly family income, self-esteem and global emotional distress. There is an important impact on the emotional state of the caregivers. This impact was similar in caregivers of care-recipients with different diseases, except in caregivers caring for a care-recipient with cat's cry syndrome or epilepsy (related to social dysfunction), and in caregivers caring for a care-recipient with autism (related to having a probable mental health case). (shrink)

In this paper we prove that the free pseudocomplemented residuated lattices are decomposable if and only if they are Stone, i.e., if and only if they satisfy the identity ¬ x ∨ ¬¬ x = 1. Some applications are given.

In this paper we prove that the free pseudocomplemented residuated lattices are decomposable if and only if they are Stone, i.e., if and only if they satisfy the identity ¬x ∨ ¬¬x = 1. Some applications are given.

We study 944 shareholder proposals submitted to 343 U.S. firms on climate change issues during 2009–2022. We use logistic and two-stage regression to estimate the propensity for a firm to be targeted or subjected to a vote at the annual general meeting and, for voted proposals, the determinants of that vote. We also examine whether climate-related proposals affect investor returns and how they relate to firms’ future environmental performance and greenhouse gas emissions. Compared to a matched sample, we first find (...) that activists target larger, more carbon-intensive, and less R&D-active firms. Second, voting likelihood is higher for firms with repeated and operations-related proposals and lower pre-proposal environmental ratings. By contrast, disclosure-related proposals are likelier to be negotiated and withdrawn. Third, repeated and operations-related proposals receive higher votes in favor, whereas votes on carbon-intensive firms do not. Fourth, building on the theory that investors act as if they distinguish among the different shareholder proposals based on the expected cost to the firm, we find evidence to support this idea. We find that investors respond negatively to ex-ante costlier proposals, such as those that relate to emissions reduction and target carbon-intensive firms. Fifth, targets’ future environmental performance rating is almost twenty percent higher after a proposal than before compared to the matched sample, whereas emissions do not budge appreciably. (shrink)

Recently Díaz, Hössjer and Marks (DHM) presented a Bayesian framework to measure cosmological tuning (either fine or coarse) that uses maximum entropy (maxent) distributions on unbounded sample spaces as priors for the parameters of the physical models (https://doi.org/10.1088/1475-7516/2021/07/020). The DHM framework stands in contrast to previous attempts to measure tuning that rely on a uniform prior assumption. However, since the parameters of the models often take values in spaces of infinite size, the uniformity assumption is unwarranted. This is known as (...) the normalization problem. In this paper we explain why and how the DHM framework not only evades the normalization problem but also circumvents other objections to the tuning measurement like the so called weak anthropic principle, the selection of a single maxent distribution and, importantly, the lack of invariance of maxent distributions with respect to data transformations. We also propose to treat fine-tuning as an emergence problem to avoid infinite loops in the prior distribution of hyperparameters (common to all Bayesian analysis), and explain that previous attempts to measure tuning using uniform priors are particular cases of the DHM framework. Finally, we prove a theorem, explaining when tuning is fine or coarse for different families of distributions. The theorem is summarized in a table for ease of reference, and the tuning of three physical parameters is analyzed using the conclusions of the theorem. (shrink)

In this paper we study some questions concerning Łukasiewicz implication algebras. In particular, we show that every subquasivariety of Łukasiewicz implication algebras is, in fact, a variety. We also derive some characterizations of congruence permutable algebras. The starting point for these results is a representation of finite Łukasiewicz implication algebras as upwardly-closed subsets in direct products of MV-chains.