Enforcement in Argumentation Is a Kind of Update

Pierre Bisquert (1) , Claudette Cayrol (1) , Florence Dupin de Saint-Cyr (1) , Marie-Christine Lagasquie-Schiex (1)

1 IRIT-ADRIA - Argumentation, Décision, Raisonnement, Incertitude et Apprentissage

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.

Mots clés: Belief change; Dynamics in argumentation

Domaines: Intelligence artificielle [cs.AI]

Pierre Bisquert, Claudette Cayrol, Florence Dupin de Saint-Cyr, Marie-Christine Lagasquie-Schiex. Enforcement in Argumentation Is a Kind of Update. International Conference on scalable uncertainty management (SUM), Sep 2013, Washington DC, United States. pp.30-43, ⟨10.1007/978-3-642-40381-1_3⟩. ⟨hal-01606830⟩