Deciding Acceptance in Incomplete Argumentation Frameworks

Peer reviewe

Acceptance in Incomplete Argumentation Frameworks

A Abstract argumentation frameworks (AFs), originally proposed by Dung, constitute a central formal model for the study of computational aspects of argumentation in AI. Credulous and skeptical acceptance of arguments in a given AF are well-studied problems both in terms of theoretical analysis-especially computational complexity-and the development of practical decision procedures for the problems. However, AFs make the assumption that all attacks between arguments are certain (i.e., present attacks are known to exist, and missing attacks are known to not exist), which can in various settings be a restrictive assumption. A generalization of AFs to incomplete AFs was recently proposed as a formalism that allows the representation of both uncertain attacks and uncertain arguments in AFs. In this article, we explore the impact of allowing for modeling such uncertainties in AFs on the computational complexity of natural generalizations of acceptance problems to incomplete AFs under various central AF semantics. Complementing the complexity-theoretic analysis, we also develop the first practical decision procedures for all of the NP-hard variants of acceptance in incomplete AFs. In terms of complexity analysis, we establish a full complexity landscape, showing that depending on the variant of acceptance and property/semantics, the complexity of acceptance in incomplete AFs ranges from polynomial-time decidable to completeness for Sigma(p)(3). In terms of algorithms, we show through an extensive empirical evaluation that an implementation of the proposed decision procedures, based on boolean satisfiability (SAT) solving, is effective in deciding variants of acceptance under uncertainties. We also establish conditions for what type of atomic changes are guaranteed to be redundant from the perspective of preserving extensions of completions of incomplete AFs, and show that the results allow for considerably improving the empirical efficiency of the proposed SAT-based counterexample-guided abstraction refinement algorithms for acceptance in incomplete AFs for problem variants with complexity beyond NP. (C) 2021 The Authors. Published by Elsevier B.V.Peer reviewe

The Influence of Workload and Work Flexibility on Work-Life Conflict and the Role of Emotional Exhaustion

The purpose of this study is to examine the relationship between contextual work-related factors in terms of job demands (workload—WL) and job resources (work flexibility—WF), work–life conflict (WLC) and the burnout dimension emotional exhaustion (EE) in a large population-based sample. Building on the job demands resources model (JDRM), we have developed the hypothesis that WL has an indirect effect on EE that is mediated by WLC. We conducted a secondary analysis using data from the Dresden Burnout Study (DBS, N = 4246, mean age (SD) = 42.7 years (10.5); 36.4% male). Results from structural equation modelling revealed that EE is positively associated with WL (β = 0.15, p = 0.001) and negatively associated with WF (β = −0.13, p = 0.001), also after accounting for potential confounding variables (demography, depressive symptoms, and lifetime diagnosis of burnout). Both effects are mediated by WLC (β = 0.18; p = 0.001 and β = 0.08; p = 0.001, respectively) highlighting the important role of WLC in employee health. In summary, WF may help to reduce burnout symptoms in employees, whereas WL may increase them. Study results suggest that both associations depend on WLC levels

Determining the direction of prediction of the association between parasympathetic dysregulation and exhaustion symptoms

Stress-related exhaustion symptoms have a high prevalence which is only likely to increase further in the near future. Understanding the physiological underpinnings of exhaustion has important implications for accurate diagnosis and the development of effective prevention and intervention programs. Given its integrative role in stress-regulation, the parasympathetic branch of the autonomic nervous systems has been a valid starting point in the exploration of the physiological mechanisms behind exhaustion. The aim of the present study was to examine the directionality and specificity of the association between exhaustion symptoms and vagally-mediated heart rate variability (vmHRV), a relatively pure measure of parasympathetic tone. Exhaustion symptoms and vmHRV were measured at four annually assessment waves (2015–2018) of the Dresden Burnout Study. A total sample of N = 378 participants who attended at least two of the four annual biomarker measurements were included in the present analyses. Cross-lagged multi-level panel modelling adjusting for various covariates (e.g., age, sex, BMI) revealed that vmHRV was meaningfully predictive of exhaustion symptoms and not vice versa. In addition, these effects were specific for exhaustion symptoms as no effect was shown for the other burnout sub-dimensions, or for depressive symptoms. Our findings indicate a clear link between exhaustion symptoms and vmHRV which may hold great potential for both enhancing the diagnosis and treatment of exhaustion symptoms

Multisite monitoring of choline using biosensor microprobe arrays in combination with CMOS circuitry

A miniature device enabling parallel in vivo detection of the neurotransmitter choline in multiple brain regions of freely behaving rodents is presented. This is achieved by combining a biosensor microprobe array with a custom-developed CMOS chip. Each silicon microprobe comprises multiple platinum electrodes that are coated with an enzymatic membrane and a permselective layer for selective detection of choline. The biosensors, based on the principle of amperometric detection, exhibit a sensitivity of 157±35 µA mM-1 cm-2, a limit of detection of below 1 µM, and a response time in the range of 1 s. With on-chip digitalization and multiplexing, parallel recordings can be performed at a high signal-to-noise ratio with minimal space requirements and with substantial reduction of external signal interference. The layout of the integrated circuitry allows for versatile configuration of the current range and can, therefore, also be used for functionalization of the electrodes before use. The result is a compact, highly integrated system, very convenient for on-site measurement

The moderating effect of cortisol and dehydroepiandrosterone on the relation between sleep and depression or burnout

For poor sleep quality (SQ) as well as major depressive disorder (MDD) and burnout, a dysregulation of the hypothalamic-pituitary-adrenal (HPA) axis has been identified. Although poor SQ is often reported as an early symptom of MDD or burnout, it is not clear whether HPA axis-related hormones can influence the association between SQ and MDD or burnout. This manuscript addresses this question by examining HPA axis-related hormones as potential moderators influencing the association between SQ and MDD or burnout. In the fourth annual examination wave of the Dresden Burnout Study, we measured general SQ (including sleep duration and efficiency), depressive and burnout symptoms, and obtained hair samples for quantification of long-term integrated steroid concentrations (cortisol [hC], cortisone [hCn], dehydroepiandrosterone [hDHEA]) from 462 participants (67% female). Data on SQ, depressive and burnout symptoms were available from 342 participants from the preceding examination wave (average time span between examinations 13.2 months). Cross-sectional analyses showed that the negative association between sleep duration and depressive symptoms was buffered by higher levels of hC, and hCn, whereas the negative association between sleep duration and burnout symptoms was buffered by higher levels of hDHEA. The negative association between sleep efficiency and burnout symptoms was intensified by higher levels of hC and hC/hCn ratio and the negative association between general SQ and burnout symptoms was intensified by higher levels of hC/hCn ratio. With regard to longitudinal data, a significant interaction effect between sleep duration and hC/hCn ratio could be detected for burnout symptoms. Our results suggest opposed moderation effects of hair glucocorticoids on the association between SQ and depressive or burnout symptoms. This points toward opposed glucocorticoid receptor functioning in depression and burnout. To fully elucidate the negative consequences of poor SQ on MDD and burnout, the complex underlying mechanisms of action including HPA axis-related hormones need to be investigated in MDD and burnout separately

Exhaustion and cardiovascular risk factors: the role of vagally-mediated heart rate variability

Purpose Exhaustion symptoms are known to be associated with cardiovascular disease (CVD) risk; however, the underlying mechanisms remain unclear. Autonomic imbalance, as indicated by reductions in vagally-mediated heart rate variability (vmHRV), appears to be a valid candidate for such a biological link, as it has been associated with both exhaustion symptoms and CVD risk and mortality. Methods The present study examined a potential mediation of vmHRV on the association between exhaustion symptoms and self-reported CVD risk factors as well as the age dependency of this mediation in a large, heterogeneous sample of the Dresden Burnout Study (N = 388; 72.9% females; Mage = 42.61, SD = 11.67). Results Results indicate that exhaustion symptoms were indirectly associated with CVD risk factors through vmHRV even after adjusting for well-known confounders (i.e., sex, body mass index, depressive symptoms). Moreover, this pattern was significant only among middle-aged (i.e., 54.27 years) and older individuals. Conclusions Our findings add to growing evidence that autonomic imbalance may be a key biological link between exhaustion symptoms and CVD risk in middle-aged and older individuals. Implications for public health are discussed

Immune Cell Deformability in Depressive Disorders: Longitudinal Associations Between Depression, Glucocorticoids and Cell Deformability

Background Cell deformability of all major blood cell types is increased in depressive disorders (DD). Furthermore, impaired glucocorticoid secretion is causally related to DD. Nevertheless, there are no longitudinal studies examining changes in glucocorticoid output and depressive symptoms regarding cell deformability in DD. Aim To investigate, whether changes in depressive symptoms or hair glucocorticoids predict cell deformability in DD. Methods In 136 individuals, depressive symptoms (PHQ-9) and hair glucocorticoids (cortisol and cortisone) were measured at timepoint one (T1), while one year later (T2) depressive symptoms and hair glucocorticoids were remeasured and additionally cell deformability of peripheral blood cells was assessed and DD status was determined by clinical interview. Results Depression severity at T1 predicted higher cell deformability in monocytes and lymphocytes over the entire sample. Subjects with continuously high depressive symptoms at T1 and T2 showed elevated monocyte deformability as compared to subjects with low depressive symptoms. Depression severity at T1 of subjects with a lifetime persistent depressive disorder (PDD) was associated with elevated monocyte, neutrophil, and granulo-monocyte deformability. Depression severity at T1 of subjects with a 12-month PDD was positively associated with monocyte deformability. Furthermore, increases in glucocorticoid concentrations from T1 to T2 tended to be associated with higher immune cell deformability, while strongest associations emerged for the increase in cortisone with elevated neutrophil and granulo-monocyte deformability in the 12-month PDD group. Conclusion Continuously elevated depressive symptomatology as well as an increase in glucocorticoid levels over one year are associated with higher immune cell deformability, particularly in PDD. These findings suggest, that persistent depressive symptomatology associated with increased glucocorticoid secretion may lead to increased immune cell deformability thereby compromising immune cell function and likely contributing to the perpetuation of PDD