Acceptability with general orderings

We present a new approach to termination analysis of logic programs. The essence of the approach is that we make use of general orderings (instead of level mappings), like it is done in transformational approaches to logic program termination analysis, but we apply these orderings directly to the logic program and not to the term-rewrite system obtained through some transformation. We define some variants of acceptability, based on general orderings, and show how they are equivalent to LD-termination. We develop a demand driven, constraint-based approach to verify these acceptability-variants. The advantage of the approach over standard acceptability is that in some cases, where complex level mappings are needed, fairly simple orderings may be easily generated. The advantage over transformational approaches is that it avoids the transformation step all together. {\bf Keywords:} termination analysis, acceptability, orderings.Comment: To appear in "Computational Logic: From Logic Programming into the Future

Modeling time and valuation in structured argumentation frameworks

Temporal Argumentation Frameworks (TAF) represent a recent extension of Dung's abstract argumentation frameworks that consider the temporal availability of arguments. In a TAF, arguments are valid during specific time intervals, called availability intervals, while the attack relation of the framework remains static and permanent in time; thus, in general, when identifying the set of acceptable arguments, the outcome associated with a TAF will vary in time. We introduce an extension of TAF, called Extended Temporal Argumentation Framework (E-TAF), adding the capability of modeling the temporal availability of attacks among arguments, thus modeling special features of arguments varying over time and the possibility that attacks are only available in a given time interval. E-TAF will be enriched by considering Structured Abstract Argumentation, using Dynamic Argumentation Frameworks. The resulting framework, E-TAF∗, provides a suitable model for different time-dependent issues satisfying properties and equivalence results that permit to contrast the expressivity of E-TAF and E-TAF∗ with argumentation based on abstract frameworks. Thus, the main contribution here is to provide an enhanced framework for modeling special features of argumentation varying over time, which are relevant in many real-world situations. The proposal aims at advancing in the integration of time and valuation in the context of argumentation systems as well.Fil: Budan, Maximiliano Celmo David. Universidad Nacional del Sur. Departamento de Ciencias e Ingeniería de la Computación; Argentina. Universidad Nacional de Santiago del Estero. Facultad de Ciencias Exactas y Tecnologías. Departamento de Matemática; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca; ArgentinaFil: Gomez Lucero, Mauro Javier. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca; Argentina. Universidad Nacional del Sur. Departamento de Ciencias e Ingeniería de la Computación; ArgentinaFil: Chesñevar, Carlos Iván. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca; Argentina. Universidad Nacional de Santiago del Estero. Facultad de Ciencias Exactas y Tecnologías. Departamento de Matemática; Argentina. Universidad Nacional del Sur. Departamento de Ciencias e Ingeniería de la Computación; ArgentinaFil: Simari, Guillermo Ricardo. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca; Argentina. Universidad Nacional del Sur. Departamento de Ciencias e Ingeniería de la Computación; Argentin

Dealing with Qualitative and Quantitative Features in Legal Domains

In this work, we enrich a formalism for argumentation by including a formal characterization of features related to the knowledge, in order to capture proper reasoning in legal domains. We add meta-data information to the arguments in the form of labels representing quantitative and qualitative data about them. These labels are propagated through an argumentative graph according to the relations of support, conflict, and aggregation between arguments.Comment: arXiv admin note: text overlap with arXiv:1903.0186

The ethics of distress: Toward a framework for determining the ethical acceptability of distressing health promotion advertising

© 2014 International Union of Psychological Science. Distressing health promotion advertising involves the elicitation of negative emotion to increase the likelihood that health messages will stimulate audience members to adopt healthier behaviors. Irrespective of its effectiveness, distressing advertising risks harming audience members who do not consent to the intervention and are unable to withdraw from it. Further, the use of these approaches may increase the potential for unfairness or stigmatization toward those targeted, or be considered unacceptable by some sections of the public. We acknowledge and discuss these concerns, but, using the public health ethics literature as a guide, argue that distressing advertising can be ethically defensible if conditions of effectiveness, proportionality necessity, least infringement, and public accountability are satisfied. We do not take a broad view as to whether distressing advertising is ethical or unethical, because we see the evidence for both the effectiveness of distressing approaches and their potential to generate iatrogenic effects to be inconclusive. However, we believe it possible to use the current evidence base to make informed estimates of the likely consequences of specific message presentations. Messages can be pre-tested and monitored to identify and deal with potential problems. We discuss how advertisers can approach the problems of deciding on the appropriate intensity of ethical review, and evaluating prospective distressing advertising campaigns against the conditions outlined

Assessing relevance

This paper advances an approach to relevance grounded on patterns of material inference called argumentation schemes, which can account for the reconstruction and the evaluation of relevance relations. In order to account for relevance in different types of dialogical contexts, pursuing also non-cognitive goals, and measuring the scalar strength of relevance, communicative acts are conceived as dialogue moves, whose coherence with the previous ones or the context is represented as the conclusion of steps of material inferences. Such inferences are described using argumentation schemes and are evaluated by considering 1) their defeasibility, and 2) the acceptability of the implicit premises on which they are based. The assessment of both the relevance of an utterance and the strength thereof depends on the evaluation of three interrelated factors: 1) number of inferential steps required; 2) the types of argumentation schemes involved; and 3) the implicit premises required

Persuasive argumentation as a cultural practice

In this article author traces relation between argumentation and cultural practice. The first part focuses on definition of argumentation in informal logic tradition. In particular, it discusses argument in terms of verbal and social activity involving the use of everyday language. Author claims that there is no argumentation beyond language. The second part explains persuasive argumentation as a form of cultural practice. The persuasive arguments found in “social practice” can be understood as a social activity, analysable within the context of a given cultural system. Author refers to an approach taking the argumentative expression as a certain type of communicative practice, directed towards respecting, recognising or accepting specific actions. The inclusion of persuasive argumentation in the “circuit of cultural activities” to be studied makes it possible to compare this type of argumentation with other social practices, and to posit a clear historical dimension in the study of argumentation. It also makes it possible to view persuasive argumentation as one of many cultural activities aimed at changing or perpetuating behaviours, attitudes, thinking, etc. The third part of the paper concerns the problem of humanistic interpretation of persuasive argumentation. Author attempts to develop this intuition, at the same time demonstrating the problems that arise from this approach. In conclusion, author tries to analyze argumentation in terms of culture theory and humanistic interpretation

Preservation of Semantic Properties during the Aggregation of Abstract Argumentation Frameworks

An abstract argumentation framework can be used to model the argumentative stance of an agent at a high level of abstraction, by indicating for every pair of arguments that is being considered in a debate whether the first attacks the second. When modelling a group of agents engaged in a debate, we may wish to aggregate their individual argumentation frameworks to obtain a single such framework that reflects the consensus of the group. Even when agents disagree on many details, there may well be high-level agreement on important semantic properties, such as the acceptability of a given argument. Using techniques from social choice theory, we analyse under what circumstances such semantic properties agreed upon by the individual agents can be preserved under aggregation.Comment: In Proceedings TARK 2017, arXiv:1707.0825

Modified Gaunilo-Type Objections Against Modal Ontological Arguments

Modal ontological arguments are often claimed to be immune to the flqqperfect islandfrqq objection of Gaunilo, because necessary existence does not apply to material, contingent things. But Gaunilo’s strategy can be reformulated: we can speak of non-contingent beings, like quasi-Gods or evil God. The paper is intended to show that we can construct ontological arguments for the existence of such beings, and that those arguments are equally plausible as theistic modal argument. This result does not show that this argument is fallacious, but it shows that it is dialectically ineffective as an argument for theism