ILLC-LIRa October 2019

illc-lira@list.uva.nl

1 participants
3 discussions

LIRa Session: Atefeh Keshavarzi Zafarghandi
by LIRa Seminar 30 Oct '19

30 Oct '19

Dear all, Tomorrow we will have our next LIRa session. Please, find the details below: Speaker: Atefeh Keshavarzi Zafarghandi (University of Groningen) Date and Time: Thursday, October 31st 2019, 16:30-18:00 Venue: ILLC Seminar Room F1.15, Science Park 107. Title: Discussion Games for Preferred Semantics of Abstract Dialectical Frameworks. Abstract. Argumentation has recently received increased attention within artificial intelligence. One widely used formalism is argumentation frameworks (AFs), defined in terms of the attack relation between arguments. One generalization of AFs is abstract dialectical frameworks (ADFs), which are expressive enough to model different types of logical relations among arguments. A fundamental issue in the context of argumentation formalisms is identifying which arguments are collectively accepted. Criteria used to settle argument acceptance are referred to as semantics. In ADF\'s admissible semantics, interpretations do not contain unjustifiable information. Maximal admissible interpretations are called preferred interpretations. The current work introduces a discussion game as a proof method for preferred semantics of ADFs. We show that an argument is credulously acceptable (deniable) by an ADF under preferred semantics iff there exists a discussion game that can defend the acceptance (denial) of the argument in question, that is, the presented proof method is sound and complete with respect to preferred semantics. Hope to see you there! The LIRa team

1 0

LIRa Session: Atefeh Keshavarzi Zafarghandi
by LIRa Seminar 25 Oct '19

25 Oct '19

Dear all, We will have our next session on Thursday, October 31st. Our speaker is Atefeh Keshavarzi Zafarghandi, and you can find the details of the talk below: Speaker: Atefeh Keshavarzi Zafarghandi (University of Groningen) Date and Time: Thursday, October 31st 2019, 16:30-18:00 Venue: ILLC Seminar Room F1.15, Science Park 107. Title: Discussion Games for Preferred Semantics of Abstract Dialectical Frameworks. Abstract. Argumentation has recently received increased attention within artificial intelligence. One widely used formalism is argumentation frameworks (AFs), defined in terms of the attack relation between arguments. One generalization of AFs is abstract dialectical frameworks (ADFs), which are expressive enough to model different types of logical relations among arguments. A fundamental issue in the context of argumentation formalisms is identifying which arguments are collectively accepted. Criteria used to settle argument acceptance are referred to as semantics. In ADF\'s admissible semantics, interpretations do not contain unjustifiable information. Maximal admissible interpretations are called preferred interpretations. The current work introduces a discussion game as a proof method for preferred semantics of ADFs. We show that an argument is credulously acceptable (deniable) by an ADF under preferred semantics iff there exists a discussion game that can defend the acceptance (denial) of the argument in question, that is, the presented proof method is sound and complete with respect to preferred semantics. Hope to see you there! The LIRa team

1 0

LIRa Session: Gaia Belardinelli
by LIRa Seminar 02 Oct '19

02 Oct '19

Dear all, Tomorrow we will have our next LIRa session. Please, find the details below: Speaker: Gaia Belardinelli Date and Time: Thursday, October 3rd 2019, 16:30-18:00 Venue: ILLC Seminar Room F1.15, Science Park 107. Title: Gatekeepers in Social Networks: Logics for Communicative Actions. Abstract. Information control has been the subject of investigation in the fields of information theory and social network analysis. Gatekeepers play a central role, as they are the agents that can manipulate the information flow between groups of agents. In this talk, we present a model that captures the essential properties of gatekeepers in a social network. Firstly, we use graph theory to explore the structural dimension of gatekeepers. Secondly, we use notions from Dynamic Epistemic Logic and Coalition Logic to model the dynamics of their informational capabilities. We find that gatekeepers can be categorized into three distinct subclasses, which differ in terms of their structural properties or type of information control. This talk is based on the work I did with Alexandru Baltag for my MSc thesis. Hope to see you there! The LIRa team

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

ILLC-LIRa October 2019