"Minimal defence": a refinement of the preferred semantics for argumentation frameworks

Dung's abstract framework for argumentation enables a study of the interactions between arguments based solely on an ``attack'' binary relation on the set of arguments. Various ways to solve conflicts between contradictory pieces of information have been proposed in the context of argumentation, nonmonotonic reasoning or logic programming, and can be captured by appropriate semantics within Dung's framework. A common feature of these semantics is that one can always maximize in some sense the set of acceptable arguments. We propose in this paper to extend Dung's framework in order to allow for the representation of what we call ``restricted'' arguments: these arguments should only be used if absolutely necessary, that is, in order to support other arguments that would otherwise be defeated. We modify Dung's preferred semantics accordingly: a set of arguments becomes acceptable only if it contains a minimum of restricted arguments, for a maximum of unrestricted arguments.Comment: 8 pages, 3 figure

Losing Ground: Awareness of Congenital Cytomegalovirus in the United States

One in 150 infants is born with cytomegalovirus (CMV) and one in 750 will have lifelong disabilities due to CMV. Even though congenital CMV is the leading viral cause of congenital disabilities and the leading non-genetic cause of childhood hearing loss, most adults have never heard of it. Data from the 2015 and 2016 HealthStylesTM surveys were analyzed and compared to data from similar studies and show an awareness rate of 7% for US adults (5% for men and 9% for women), a statistically significant decrease from 2005 and 2010 studies. Predictors of awareness include gender and education level. The presence of a child ages 0-5 in the household does not increase the chance that an adult in the household is aware of CMV. CMV presents a large public health burden and further research needs to be focused on awareness and prevention of the negative sequela associated with congenital CMV

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

Reproducing reality. Recreating bonding defects observed in transparent poly(methyl methacrylate) museum objects and assessing defect formation

The most common method chosen by artists, designers, and craftsmen to realize artworks and objects with transparent poly(methyl methacrylate) (PMMA) is to bond pieces from premanufactured sheets using solvents or adhesives. This method is considered relatively easy to use, however achieving bonds that are both transparent and strong can be difficult. Artifacts from museum collections made by bonding transparent PMMA often exhibit a variety of bonding defects and failures not yet addressed in depth in the conservation literature. Therefore, an international project started with the aims of classifying these bonding issues and understand their causes. This paper presents the results of the first part of this project which included the following research activities: surveys of bonding defects in PMMA artworks and design objects in museum collections, a literature review of the most recommended materials and methods used to bond PMMA over time, the preparation of bonded PMMA mock-ups based on literature review, chemical characterization of the bonding materials, thermal ageing of mock-ups, and finally technical examinations of the PMMA bonded mock-ups. The main defects observed in the museum objects surveyed were successfully recreated in the lab and the causes of their formation were assessed

Self-reported price of cigarettes, consumption and compensatory behaviours in a cohort of Mexican smokers before and after a cigarette tax increase

This paper presents a novel SAT-based approach for the computation of extensions in abstract argumentation, with focus on preferred semantics, and an empirical evaluation of its performances. The approach is based on the idea of reducing the problem of computing complete extensions to a SAT problem and then using a depth-first search method to derive preferred extensions. The proposed approach has been tested using two distinct SAT solvers and compared with three state-of-the-art systems for preferred extension computation. It turns out that the proposed approach delivers significantly better performances in the large majority of the considered cases

Comparison Criteria for Argumentation Semantics

Argumentation reasoning is a way for agents to evaluate a situation. Given a framework made of conflicting arguments, a semantics allows to evaluate the acceptability of the arguments. It may happen that the semantics associated to the framework has to be changed. In order to perform the most suitable change, the current and a potential new semantics have to be compared. Notions of difference measures between semantics have already been proposed, and application cases where they have to be minimized when a change of semantics has to be performed, have been highlighted. This paper develops these notions, it proposes an additional kind of difference measure, and shows application cases where measures may have to be maximized, and combined

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

Periodic domain patterning by electron beam of proton exchanged waveguides in lithium niobate

Formation of domain structure by electron beam irradiation in congruent lithium niobate covered by surface dielectric layer with planar and channel waveguides produced by Soft Proton Exchange (SPE) process has been studied. Formation of domains with arbitrary shapes as a result of discrete switching has been revealed. The fact was attributed to ineffective screening of depolarization field in the crystals with a surface layer modified by SPE process. The dependences of the domain sizes on the dose and the distance between irradiated areas have been revealed. Finally, we have demonstrated that electron beam irradiation of lithium niobate crystals with surface resist layer can produce high quality periodical domain patterns after channel waveguide fabrication. Second harmonic generation with normalized nonlinear conversion efficiency up to 48%/(W cm2) has been achieved in such waveguides. © 2016 Author(s)