STSM WG4 (Federico Cerutti)

Start Date: 2011-04-25

End Date: 2011-06-30

Host Institution: University of Liverpool

Host Country: UK

Home Institution: University of Brescia

Home Country: Italy


This visit is part of a joint research work in the field of computational argumentation. The topic we are addressing regards argumentation-based practical reasoning, an important subject in the area of argumentation and negotiation, concerning the choice of the actions that an agent should perform in a given context. In particular, specific cases of practical reasoning may lead to models with infinite argumentation structures (analogous to a never-ending debate). Addressing these cases requires integrated competences on argumentation semantics and theoretical computer science which are available in Brescia and Liverpool. On this basis, the aim of the visit is twofold.
On one hand, we will explore infinite abstract argumentation frameworks, considering formal languages as theoretical background. Then, we will investigate how different semantics notions can be encompassed in the devised formal context, and we will study algorithms for computing the relevant extensions and their computational properties.
On the other hand, we will investigate advanced models of practical reasoning encompassing values. In particular, we will consider cases where it is appropriate to represent values as defeasible entities. This work aims to define a novel general approach in this field, synthesizing previous proposals developed both in Liverpool and in Brescia.
The chair of WG4 - Argumentation & Negotiation, Francesca Toni, has been informed about this visit proposal.

STSM Report