Abstract Argumentation / Persuasion / Dynamics

The act of persuasion, a key component in rhetoric argumentation, may be viewed as a dynamics modifier. We extend Dung's frameworks with acts of persuasion among agents, and consider interactions among attack, persuasion and defence that have been largely unheeded so far. We characterise basic notions of admissibilities in this framework, and show a way of enriching them through, effectively, CTL (computation tree logic) encoding, which also permits importation of the theoretical results known to the logic into our argumentation frameworks. Our aim is to complement the growing interest in coordination of static and dynamic argumentation.Comment: Arisaka R., Satoh K. (2018) Abstract Argumentation / Persuasion / Dynamics. In: Miller T., Oren N., Sakurai Y., Noda I., Savarimuthu B., Cao Son T. (eds) PRIMA 2018: Principles and Practice of Multi-Agent Systems. PRIMA 2018. Lecture Notes in Computer Science, vol 11224. Springer, Cha

Analysis of Dialogical Argumentation via Finite State Machines

Dialogical argumentation is an important cognitive activity by which agents exchange arguments and counterarguments as part of some process such as discussion, debate, persuasion and negotiation. Whilst numerous formal systems have been proposed, there is a lack of frameworks for implementing and evaluating these proposals. First-order executable logic has been proposed as a general framework for specifying and analysing dialogical argumentation. In this paper, we investigate how we can implement systems for dialogical argumentation using propositional executable logic. Our approach is to present and evaluate an algorithm that generates a finite state machine that reflects a propositional executable logic specification for a dialogical argumentation together with an initial state. We also consider how the finite state machines can be analysed, with the minimax strategy being used as an illustration of the kinds of empirical analysis that can be undertaken.Comment: 10 page

Long-term prognostic value of quantitative myocardial perfusion in patients with chest pain and normal coronary arteries

BACKGROUND: Patients with chest pain and no obstructive coronary artery disease have shown a high incidence of major adverse cardiovascular events (MACE). We evaluated the role of absolute myocardial perfusion quantification in predicting all-cause mortality and MACE during long-term follow-up in this group of patients. METHODS: We studied 79 patients who underwent Nitrogen-13 ammonia PET for quantification of global myocardial blood flow (MBF) and myocardial flow reserve (MFR) due to suspected impaired myocardial perfusion. Patients with coronary artery disease (i.e., > 30% stenosis in one or more coronary arteries) were excluded. We assessed all-cause mortality and MACE. MACE was defined as the composite incidence of death, myocardial infarction (MI), or hospitalization due to heart failure. RESULTS: Median follow-up was 8 (IQR: 3-14) years. Univariate Cox regression showed that only MFR (P = 0.01) was a predictor of all-cause mortality. Univariate Cox regression analysis showed that both MFR and Stress MBF were predictors of the composite endpoint of MACE (P < 0.001 and P = 0.01, respectively). CONCLUSION: Quantitative assessment of myocardial perfusion may predict all-cause mortality and MACE in patients with chest pain and normal coronary arteries in the long-term follow-up

Cardiovascular magnetic resonance native T-2 and T-2* quantitative values for cardiomyopathies and heart transplantations:a systematic review and meta-analysis

Background: The clinical application of cardiovascular magnetic resonance (CMR) T2 and T2* mapping is currently limited as ranges for healthy and cardiac diseases are poorly defined. In this meta-analysis we aimed to determine the weighted mean of T2 and T2* mapping values in patients with myocardial infarction (MI), heart transplantation, non-ischemic cardiomyopathies (NICM) and hypertension, and the standardized mean difference (SMD) of each population with healthy controls. Additionally, the variation of mapping outcomes between studies was investigated. Methods: The PRISMA guidelines were followed after literature searches on PubMed and Embase. Studies reporting CMR T2 or T2* values measured in patients were included. The SMD was calculated using a random effects model and a meta-regression analysis was performed for populations with sufficient published data. Results: One hundred fifty-four studies, including 13,804 patient and 4392 control measurements, were included. T2 values were higher in patients with MI, heart transplantation, sarcoidosis, systemic lupus erythematosus, amyloidosis, hypertrophic cardiomyopathy (HCM), dilated cardiomyopathy (DCM) and myocarditis (SMD of 2.17, 1.05, 0.87, 1.39, 1.62, 1.95, 1.90 and 1.33, respectively, P < 0.01) compared with controls. T2 values in iron overload patients (SMD =-0.54, P = 0.30) and Anderson-Fabry disease patients (SMD = 0.52, P = 0.17) did both not differ from controls. T2* values were lower in patients with MI and iron overload (SMD of-1.99 and-2.39, respectively, P < 0.01) compared with controls. T2* values in HCM patients (SMD =-0.61, P = 0.22), DCM patients (SMD =-0.54, P = 0.06) and hypertension patients (SMD =-1.46, P = 0.10) did not differ from controls. Multiple CMR acquisition and patient demographic factors were assessed as significant covariates, thereby influencing the mapping outcomes and causing variation between studies. Conclusions: The clinical utility of T2 and T2* mapping to distinguish affected myocardium in patients with cardiomyopathies or heart transplantation from healthy myocardium seemed to be confirmed based on this meta-analysis. Nevertheless, variation of mapping values between studies complicates comparison with external values and therefore require local healthy reference values to clinically interpret quantitative values. Furthermore, disease differentiation seems limited, since changes in T2 and T2* values of most cardiomyopathies are similar

Changing legal systems: Abrogation and annulment. Part I: Revision of defeasible theories

In this paper we investigate how to model legal abrogation and annulment in Defeasible Logic. We examine some options that embed in this setting, and similar rule-based systems, ideas from belief and base revision. In both cases, our conclusion is negative, which suggests to adopt a different logical model

Validation of thoracic aortic dimensions on ECG-triggered SSFP as alternative to contrast-enhanced MRA

Objectives: Assessment of thoracic aortic dimensions with non-ECG-triggered contrast-enhanced magnetic resonance angiography (CE-MRA) is accompanied with motion artefacts and requires gadolinium. To avoid both motion artefacts and gadolinium administration, we evaluated the similarity and reproducibility of dimensions measured on ECG-triggered, balanced steady-state free precession (SSFP) MRA as alternative to CE-MRA. Methods: All patients, with varying medical conditions, referred for thoracic aortic examination between September 2016 and March 2018, who underwent non-ECG-triggered CE-MRA and SSFP-MRA (1.5 T) were retrospectively included (n = 30). Aortic dimensions were measured after double-oblique multiplanar reconstruction by two observers at nine landmarks predefined by literature guidelines. Image quality was scored at the sinus of Valsalva, mid-ascending aorta and mid-descending aorta by semi-automatically assessing the vessel sharpness. Results: Aortic dimensions showed high agreement between non-ECG-triggered CE-MRA and SSFP-MRA (r = 0.99, p < 0.05) without overestimation or underestimation of aortic dimensions in SSFP-MRA (mean difference, 0.1 mm; limits of agreement, − 1.9 mm and 1.9 mm). Intra- and inter-observer variabilities were significantly smaller with SSFP-MRA for the sinus of Valsalva and sinotubular junction. Image quality of the sinus of Valsalva was significantly better with SSFP-MRA, as fewer images were of impaired quality (3/30) than in CE-MRA (21/30). Reproducibility of dimensions was significantly better in images scored as good quality compared to impaired quality in both sequences. Conclusions: Thoracic aortic dimensions measured on SSFP-MRA and non-ECG-triggered CE-MRA were similar. As expected, SSFP-MRA showed better reproducibility close to the aortic root because of lesser motion artefacts, making it a feasible non-contrast imaging alternative. Key Points: • SSFP-MRA provides similar dimensions as non-ECG-triggered CE-MRA. • Intra- and inter-observer reproducibilities improve for the sinus of Valsalva and sinotubular junction with SSFP-MRA. • ECG-triggered SSFP-MRA shows better image quality for landmarks close to the aortic root in the absence of cardiac motion

A Decidable Multi-agent Logic for Reasoning About Actions, Instruments, and Norms

We formally introduce a novel, yet ubiquitous, category of norms: norms of instrumentality. Norms of this category describe which actions are obligatory, or prohibited, as instruments for certain purposes. We propose the Logic of Agency and Norms (LAN) that enables reasoning about actions, instrumentality, and normative principles in a multi-agent setting. Leveraging LAN , we formalize norms of instrumentality and compare them to two prevalent norm categories: norms to be and norms to do. Last, we pose principles relating the three categories and evaluate their validity vis-à-vis notions of deliberative acting. On a technical note, the logic will be shown decidable via the finite model property