Pierre Bisquert

Change in argumentation systems: exploring the interest of removing an argument

This article studies a specific kind of change in an argumentation system: the removal of an argument and its interactions. We illustrate this operation in a legal context and we establish the conditions to obtain some desirable properties when removing an argument.

Enforcement in Argumentation Is a Kind of Update

In the literature, enforcement consists in changing an argumentation system in order to force it to accept a given set of arguments. In this paper, we extend this notion by allowing incomplete information about the initial argumentation system. Generalized enforcement is an operation that maps a propositional formula describing a system and a propositional formula that describes a goal, to a new formula describing the possible resulting systems. This is done under some constraints about the allowed changes. We give a set of postulates restraining the class of enforcement operators and provide a representation theorem linking them to a family of proximity relations on argumentation systems.

Formalizing Cognitive Acceptance of Arguments: Durum Wheat Selection Interdisciplinary Study

In this paper we present an interdisciplinary approach that concerns the problem of argument acceptance in an agronomy setting. We propose a computational cognitive model for argument acceptance based on the dual model system in cognitive psychology. We apply it in an agronomy setting within a French national project on durum wheat.

Towards a Dual Process Cognitive Model for Argument Evaluation

In this paper we are interested in the computational and formal analysis of the persuasive impact that an argument can produce on a human agent. We propose a dual process cognitive computational model based on the highly influential work of Kahneman and investigate its reasoning mechanisms in the context of argument evaluation. This formal model is a first attempt to take a greater account of human reasoning and is a first step to a better understanding of persuasion processes as well as human argumentative strategies, which is crucial in collective decision making domain.

Duality between Addition and Removal

In this paper, we address a new problem in the field of argumentation theory: the link between two different change operations, namely addition and removal of an argument. We define two concepts of duality reflecting this link. They are used to propose new results about an operation from existing results concerning its dual operation. Finally, the propositions that are obtained are studied for characterizing the change operations.

A structural benchmark for logical argumentation frameworks

This paper proposes a practically-oriented benchmark suite for computational argumentation. We instantiate abstract argumentation frameworks with existential rules, a language widely used in Semantic Web applications and provide a generator of such instantiated graphs. We analyse performance of argumentation solvers on these benchmarks.

Arguing About End-of-Life of Packagings: Preferences to the Rescue

Argumentation methods and associated tools permit to analyze arguments against or in favor of a set of alternatives under discussion. The outputs of the argument methods are sets of conflict-free arguments collectively defending each other, called extensions. In case of multiple extensions, it is often difficult to select one out of many alternatives. We present in this paper the implementation of an complementary approach which permits to filter or rank extensions according to the expression of preferences. Methods and tools are illustrated on a real use case in food packagings. The aim is to help the industry choose among different end-of-life possibilities by linking together consumer behavior insights, socioeconomic developments and technical properties of packagings. The tool has been used on a real use-case concerning end-of-life possibilities for packag-ings.

Four Ways to Evaluate Arguments According to Agent Engagement

In this paper we are interested in the computational and formal analysis of the persuasive impact that an argument can have on a human. We present a preliminary account of the listener mental process (representation and reasoning mechanisms of the dual process cognitive model) as well as her engagement based on the ELM model. This engagement determines the reasoning process that the agent will adopt in order to evaluate and incorporate the uttered argument.

Goal-Driven Changes in Argumentation: A Theoretical Framework and a Tool

This paper defines a new framework for dynamics in argumentation. In this framework, an agent can change an argumentation system (the target system) in order to achieve some desired goal. Changes consist in addition/removal of arguments or attacks between arguments and are constrained by theagents knowledge encoded by another argumentation system. We present a software that computes the possible change operations for a given agent on a given target argumentation system in order to achieve some given goal.

Extending GWAPs for Building Profile Aware Associative Networks

Associative networks have been long used as a way to provide intelligent machines with a working memory and applied in various domains such as Natural Language Processing or customer associations analysis. While giving out numerous practical advantages, existing Games With a Purpose (GWAPs) for eliciting associative networks cannot be employed in certain domains (for example in customer associations analysis) due to the lack of profile based filtering. In this paper we ask the following research question: “Does considering agents profile information when constructing an associative network by a game with a purpose allows to extract subjective information that might have been lost otherwise?”. In order to answer this question we present the KAT (Knowledge AcquisiTion) game that extends upon the state of the art by considering agent profiling. We formalise the game, implement it and carry out a pilot study that validates the above mentioned research hypothesis.