Maximising goals achievement through abstract argumentation frameworks

An optimal approach

Andrea Cohen, Sebastian Gottifredi, Mauro Vallati, Alejandro García, Grigoris Antoniou

Research output: Contribution to journalArticle

Abstract

Argumentation is a prominent AI research area, focused on approaches and techniques for performing common-sense reasoning, that is of paramount importance in a wide range of real-world applications, such as decision support and recommender systems. In this work we introduce an approach for updating an abstract Argumentation Framework (AF) so that achievement with respect to a given set of goals is maximised. The set of goals identifies arguments for which a specific acceptability status (a labelling) will be pursued, distinguishing between “in” and “out” goals. Given an AF, a set of goals and a set of available actions allowing to add or remove arguments and attacks from the AF, our approach will select the strategy (set of actions) that should be applied in order to obtain a new AF where the goals achievement is maximised. Moreover, the selected strategy will be optimal with respect to the number of actions to be applied. In the context of argumentation-based expert and intelligent systems, our approach will provide tools allowing the user to interact with the argumentative reasoning process carried out by the system, learning how the strategy she undertakes will affect the recommendations she receives. For that, we propose an encoding of the AF, the available actions and goals as weighted Boolean formulas, and rely on MaxSAT techniques for selecting the optimal strategy. We provide an experimental analysis of our approach, and formally show that the results we obtain correspond to the optimal strategy.
Original languageEnglish
Article number112930
Pages (from-to)1-12
Number of pages12
JournalExpert Systems with Applications
Volume141
Early online date6 Sep 2019
DOIs
Publication statusE-pub ahead of print - 6 Sep 2019

Fingerprint

Recommender systems
Intelligent systems
Decision support systems
Expert systems
Labeling
Learning systems

Cite this

@article{6f2c1ec4b1644d2c8f1108b5c2b1c528,
title = "Maximising goals achievement through abstract argumentation frameworks: An optimal approach",
abstract = "Argumentation is a prominent AI research area, focused on approaches and techniques for performing common-sense reasoning, that is of paramount importance in a wide range of real-world applications, such as decision support and recommender systems. In this work we introduce an approach for updating an abstract Argumentation Framework (AF) so that achievement with respect to a given set of goals is maximised. The set of goals identifies arguments for which a specific acceptability status (a labelling) will be pursued, distinguishing between “in” and “out” goals. Given an AF, a set of goals and a set of available actions allowing to add or remove arguments and attacks from the AF, our approach will select the strategy (set of actions) that should be applied in order to obtain a new AF where the goals achievement is maximised. Moreover, the selected strategy will be optimal with respect to the number of actions to be applied. In the context of argumentation-based expert and intelligent systems, our approach will provide tools allowing the user to interact with the argumentative reasoning process carried out by the system, learning how the strategy she undertakes will affect the recommendations she receives. For that, we propose an encoding of the AF, the available actions and goals as weighted Boolean formulas, and rely on MaxSAT techniques for selecting the optimal strategy. We provide an experimental analysis of our approach, and formally show that the results we obtain correspond to the optimal strategy.",
keywords = "Abstract argumentation, Argumentation dynamics, Goals achievement, MaxSAT",
author = "Andrea Cohen and Sebastian Gottifredi and Mauro Vallati and Alejandro Garc{\'i}a and Grigoris Antoniou",
year = "2019",
month = "9",
day = "6",
doi = "10.1016/j.eswa.2019.112930",
language = "English",
volume = "141",
pages = "1--12",
journal = "Expert Systems with Applications",
issn = "0957-4174",
publisher = "Elsevier Limited",

}

Maximising goals achievement through abstract argumentation frameworks : An optimal approach. / Cohen, Andrea; Gottifredi, Sebastian; Vallati, Mauro; García, Alejandro; Antoniou, Grigoris.

In: Expert Systems with Applications, Vol. 141, 112930, 01.03.2020, p. 1-12.

Research output: Contribution to journalArticle

TY - JOUR

T1 - Maximising goals achievement through abstract argumentation frameworks

T2 - An optimal approach

AU - Cohen, Andrea

AU - Gottifredi, Sebastian

AU - Vallati, Mauro

AU - García, Alejandro

AU - Antoniou, Grigoris

PY - 2019/9/6

Y1 - 2019/9/6

N2 - Argumentation is a prominent AI research area, focused on approaches and techniques for performing common-sense reasoning, that is of paramount importance in a wide range of real-world applications, such as decision support and recommender systems. In this work we introduce an approach for updating an abstract Argumentation Framework (AF) so that achievement with respect to a given set of goals is maximised. The set of goals identifies arguments for which a specific acceptability status (a labelling) will be pursued, distinguishing between “in” and “out” goals. Given an AF, a set of goals and a set of available actions allowing to add or remove arguments and attacks from the AF, our approach will select the strategy (set of actions) that should be applied in order to obtain a new AF where the goals achievement is maximised. Moreover, the selected strategy will be optimal with respect to the number of actions to be applied. In the context of argumentation-based expert and intelligent systems, our approach will provide tools allowing the user to interact with the argumentative reasoning process carried out by the system, learning how the strategy she undertakes will affect the recommendations she receives. For that, we propose an encoding of the AF, the available actions and goals as weighted Boolean formulas, and rely on MaxSAT techniques for selecting the optimal strategy. We provide an experimental analysis of our approach, and formally show that the results we obtain correspond to the optimal strategy.

AB - Argumentation is a prominent AI research area, focused on approaches and techniques for performing common-sense reasoning, that is of paramount importance in a wide range of real-world applications, such as decision support and recommender systems. In this work we introduce an approach for updating an abstract Argumentation Framework (AF) so that achievement with respect to a given set of goals is maximised. The set of goals identifies arguments for which a specific acceptability status (a labelling) will be pursued, distinguishing between “in” and “out” goals. Given an AF, a set of goals and a set of available actions allowing to add or remove arguments and attacks from the AF, our approach will select the strategy (set of actions) that should be applied in order to obtain a new AF where the goals achievement is maximised. Moreover, the selected strategy will be optimal with respect to the number of actions to be applied. In the context of argumentation-based expert and intelligent systems, our approach will provide tools allowing the user to interact with the argumentative reasoning process carried out by the system, learning how the strategy she undertakes will affect the recommendations she receives. For that, we propose an encoding of the AF, the available actions and goals as weighted Boolean formulas, and rely on MaxSAT techniques for selecting the optimal strategy. We provide an experimental analysis of our approach, and formally show that the results we obtain correspond to the optimal strategy.

KW - Abstract argumentation

KW - Argumentation dynamics

KW - Goals achievement

KW - MaxSAT

UR - http://www.scopus.com/inward/record.url?scp=85072198040&partnerID=8YFLogxK

U2 - 10.1016/j.eswa.2019.112930

DO - 10.1016/j.eswa.2019.112930

M3 - Article

VL - 141

SP - 1

EP - 12

JO - Expert Systems with Applications

JF - Expert Systems with Applications

SN - 0957-4174

M1 - 112930

ER -