Persuasive argumentation and epistemic attitudes

These slides present the main notions and results of a work under construction that was presented in the 2nd DaLí Workshop, Dynamic Logic: New Trends and Applications in Porto, 9 October, 2019 and later published in the Lectures Notes in Computer Science (vol 12005). The work develops a formal study of persuasive dialogues among individuals, taking into account the epistemic attitudes of the involved agents. Abstract argumentation and dynamic epistemic logic provide the necessary tools for such an analysis. The interested reader is referred to the paper for further detailsUniversidad de Málaga. Campus de Excelencia Internacional Andalucía Tech

Introducing Preference-Based Argumentation to Inconsistent Ontological Knowledge Bases

International audienceHandling inconsistency is an inherent part of decision making in traditional agri-food chains – due to the various concerns involved. In order to explain the source of inconsistency and represent the existing conflicts in the ontological knowledge base, argumentation theory can be used. However, the current state of art methodology does not allow to take into account the level of significance of the knowledge expressed by the various ontological knowledge sources. We propose to use preferences in order to model those differences between formulas and evaluate our proposal practically by implementing it within the INRA platform and showing a use case using this formalism in a bread making decision support system

Computing Consensus: A Logic for Reasoning About Deliberative Processes Based on Argumentation

Argumentation theory can encode an agent’s assessment of the state of an exchange of points of view. We present a conservative model of multiple agents potentially disagreeing on the views presented during a process of deliberation. We model this process as iteratively adding points of view (arguments), or aspects of points of view. This gives rise to a modal logic, deliberative dynamic logic, which permits us to reason about the possible developments of the deliberative state. The logic we propose applies to all natural semantics of argumentation theory. Furthermore, under a very weak assumption that the consensus considered by a group of agents is faithful to their individual views, we show that model checking these models is feasible, as long as the argumentation frameworks, which may be infinite, does not have infinite branching.acceptedVersio

Cytogenetic studies of Brazilian pediatric myelodysplastic syndrome cases: challenges and difficulties in a large and emerging country

Myelodysplastic syndromes (MDS) and juvenile myelomonocytic leukemia (JMML) are rare hematopoietic stem cell diseases affecting children. Cytogenetics plays an important role in the diagnosis of these diseases. We report here the experience of the Cytogenetic Subcommittee of the Brazilian Cooperative Group on Pediatric Myelodysplastic Syndromes (BCG-MDS-PED). We analyzed 168 cytogenetic studies performed in 23 different cytogenetic centers; 84 of these studies were performed in patients with confirmed MDS (primary MDS, secondary MDS, JMML, and acute myeloid leukemia/MDS+Down syndrome). Clonal abnormalities were found in 36.9% of the MDS cases and cytogenetic studies were important for the detection of constitutional diseases and for differential diagnosis with other myeloid neoplasms. These data show the importance of the Cooperative Group for continuing education in order to avoid a late or wrong diagnosis.Univ São Paulo, Fac Med, Dept Hematol, São Paulo, BrazilUniversidade Federal de São Paulo, Dept Hematol, São Paulo, BrazilUniv São Paulo, Fac Med, Dept Hematol, Lab Citogenet, São Paulo, BrazilUniversidade Federal de São Paulo, Inst Oncol Pediat, São Paulo, BrazilUniv Estadual Paulista, Fac Med Botucatu, Dept Clin Med, Botucatu, SP, BrazilHosp Canc Barretos, Barretos, SP, BrazilCtr Tratamento Fabiana Macedo de Morais, Grp Assistencia Crianca Canc, Grp Cooperat Brasileiro Sindrome Mielodisplas Ped, Sao Jose Dos Campos, SP, BrazilUniversidade Federal de São Paulo, Dept Hematol, São Paulo, BrazilUniversidade Federal de São Paulo, Inst Oncol Pediat, São Paulo, BrazilWeb of Scienc

Dialogue games for explaining medication choices

SMT solvers can be used efficiently to search for optimal paths across multiple graphs when optimising for certain resources. In the medical context, these graphs can represent treatment plans for chronic conditions where the optimal paths across all plans under consideration are the ones which minimize adverse drug interactions. The SMT solvers, however, work as a black-box model and there is a need to justify the optimal plans in a human-friendly way. We aim to fulfill this need by proposing explanatory dialogue protocols based on computational argumentation to increase the understanding and trust of humans interacting with the system. The protocols provide supporting reasons for nodes in a path and also allow counter reasons for the nodes not in the graph, highlighting any potential adverse interactions during the dialogue.Postprin

Prototype ATLAS IBL Modules using the FE-I4A Front-End Readout Chip

The ATLAS Collaboration will upgrade its semiconductor pixel tracking detector with a new Insertable B-layer (IBL) between the existing pixel detector and the vacuum pipe of the Large Hadron Collider. The extreme operating conditions at this location have necessitated the development of new radiation hard pixel sensor technologies and a new front-end readout chip, called the FE-I4. Planar pixel sensors and 3D pixel sensors have been investigated to equip this new pixel layer, and prototype modules using the FE-I4A have been fabricated and characterized using 120 GeV pions at the CERN SPS and 4 GeV positrons at DESY, before and after module irradiation. Beam test results are presented, including charge collection efficiency, tracking efficiency and charge sharing.Comment: 45 pages, 30 figures, submitted to JINS

Are public and private social expenditures complementary?

Most analyses of social protection are focussed on public arrangements. However, social effort is not restricted to the public domain; all kinds of private arrangements can be substitutes to public programs. OECD-data indicate that accounting for private social benefits and the impact of the tax system on social expenditure has an equalising effect on levels of social effort across a number of countries. This suggests complementarity between public and private social expenditures. Changes in the public/private mix in social protection will, however, have distributional effects. We expect that private schemes will generate less income redistribution than public programs. In this paper we will perform an empirical analysis. Using comparative international data we analyse whether there is a relationship between public and private social expenditures, and the distribution of income. We find a negative relationship between net public social expenditures and income inequality, but a positive relationship between net private social expenditures and income inequality across countries. In fact, when we incorporate private social security expenditures, the impact of total social expenditure on the income distribution becomes statistically trivial. We conclude that changes in the public/private mix in the provision of social protection may affect the redistributive impact of the welfare state