ILLC-LIRa November 2015

illc-lira@list.uva.nl

2 participants
6 discussions

Next Thursday: LIRa session: Fan Yang
by LIRa Seminar 29 Nov '15

29 Nov '15

Dear all, On Thursday, December 3rd, we will have a LIRa session with Fan Yang. Everyone is cordially invited! Speaker: Fan Yang (TU Delf) Date and Time: Thursday, December 3rd 2015, 16:00-17:30 Venue: Science Park 107, Room F1.15 Title: Dependence Logic and Arrow’s Theorem. Abstract: Dependence logic [Väänänen 2007] is a new logical formalism that characterizes the notions of “dependence\" and “independence” in social and natural sciences. The logic adopts the so-called team semantics [Hodges 1997]. The basic idea of this new semantics is that properties of dependence and independence cannot be manifested in single assignments, therefore unlike the usual semantics, formulas of dependence logic are evaluated on sets of assignments (called teams). In this talk, we give a brief introduction to dependence logic and its variants (including independence logic [Grädel, Väänänen 2013]). Then, we will use a version of independence logic to formalize Arrow’s Impossibility Theorem, which can be viewed as a theorem highlighting an interesting conflict between dependence and independence. (The second part of the talk is based on a joint work with Eric Pacuit.) Hope to see you there! The LIRa team

1 0

Starting Tomorrow: LogiCIC Workshop \"Reasoning in social context\"
by LIRa Seminar 25 Nov '15

25 Nov '15

Dear all, The LIRA affiliated LogiCIC Workshop on Reasoning in social context will start TOMORROW at 9:45am. Here you can find the complete programme: https://logicicworkshop2015.wordpress.com/programme/ Please note that the workshop will take place in “De Doelenzaal”, room C0.07, Singel 425, 1012 WP Amsterdam, The Netherlands. Google Maps: http://is.gd/GGv9TK Hope to see you there! The LIRa team

1 0

Next week: LIRa affiliated event: Workshop \"Reasoning in social context\"
by LIRa Seminar 20 Nov '15

20 Nov '15

Dear all, The LIRA affiliated LogiCIC Workshop on Reasoning in social context will take place next week on November 26-28, 2015 in Amsterdam. More information and the detailed programme can be found here: https://logicicworkshop2015.wordpress.com/programme/ Via this workshop, we are creating a forum to exchange ideas and explore new territory in which it is clear that logic can make a difference. We are particularly interested in the interplay between logic and the social sciences, i.e. both in studying complex social-epistemic scenarios as well as in the logical tools and techniques that can be used to model them. We approach the theme of this workshop from an interdisciplinary angle, and welcome any insights on to the topic coming from areas such as Logic, Game Theory, Belief Revision Theory, Formal Epistemology, Social Science, Cognitive Science and AI (multi-agent systems). The focus of this workshop includes (but is not restricted to) the following topics: formal representations of higher-order belief and knowledge – belief revision strategies and knowledge update rules epistemic and doxastic influence information flow in social networks rational interaction epistemic planning This workshop is the fourth event which follows after the workshop on “Correlated Information Change” held in 2014, the workshop on “Social Dynamics of information Change” held in 2013, and the kick-off workshop on “Belief Dynamics in Social Context” held in 2012. Hope to see you there! The LIRa team

1 0

Tomorrow: LIRa discussion with Teddy Seidenfeld
by LIRa Seminar 17 Nov '15

17 Nov '15

Dear all, *tomorrow* we will have a discussion session with Teddy Seidenfeld about the Sleeping Beauty Problem. Date and Time: Wednesday, November 18th from 13:00 to 15:00. Location: Room F3.20 (above ILLC), Science Park 107. Hope to see you there! The LIRa team

1 0

Tomorrow: LIRa session with Iris van de Pol
by LIRa Seminar 11 Nov '15

11 Nov '15

Dear all, please note that TOMORROW, November 12th, we will have a LIRa session with Iris van de Pol. Everyone is cordially invited! Speaker: Iris van de Pol (ILLC) Date and Time: Thursday, November 12th 2015, 16:00-17:30 Venue: Science Park 107, Room F1.15 Title: How Difficult is it to Think that you Think that I Think that . . . ? Abstract. In this talk I will present a DEL-based computational-level model of theory of mind and its (parameterized) complexity. Theory of mind (ToM) is the psychological phenomenon that people attribute mental states like beliefs, desires and intentions to each other, and use these to explain and predict behavior. ToM is an important cognitive capacity, that is by many held to be ubiquitous in social interaction. However, at the same time, ToM seems to involve solving problems that are intractable and thus cannot be performed by humans in a (cognitively) plausible amount of time. I argue that it is not clear how existing claims by cognitive scientists and philosophers about the intractability of ToM can be interpreted and/or evaluated, and that a formal framework is needed to make such claims more precise. I will propose such a framework. First, I will introduce Marr’s computational level of analysis and the tractable cognition thesis. This thesis states that people have limited resources for cognitive processing, and that human cognitive capacities are confined to those that can be realized using a realistic amount of time. Then, I will introduce a computational-level model of ToM, which is a special case of DEL model checking. I will give a short introduction to (parameterized) complexity theory and will present some complexity results for the model. In particular I will show that the model is PSPACE-complete and that the modal depth of a formula does not influence its complexity. Finally, I will discuss the meaning of these results for the understanding of ToM. This talk is based on my master’s thesis. For a PDF, see: http://goo.gl/21FG2G

1 0

This Thursday: LIRa session with Iris van de Pol
by LIRa Team 10 Nov '15

10 Nov '15

Dear all, please note that on this Thursday, November 12th, we will have a LIRa session with Iris van de Pol. Everyone is cordially invited! Speaker: Iris van de Pol (ILLC) Date and Time: Thursday, November 12th 2015, 16:00-17:30 Venue: Science Park 107, Room F1.15 Title: How Difficult is it to Think that you Think that I Think that . . . ? Abstract. In this talk I will present a DEL-based computational-level model of theory of mind and its (parameterized) complexity. Theory of mind (ToM) is the psychological phenomenon that people attribute mental states like beliefs, desires and intentions to each other, and use these to explain and predict behavior. ToM is an important cognitive capacity, that is by many held to be ubiquitous in social interaction. However, at the same time, ToM seems to involve solving problems that are intractable and thus cannot be performed by humans in a (cognitively) plausible amount of time. I argue that it is not clear how existing claims by cognitive scientists and philosophers about the intractability of ToM can be interpreted and/or evaluated, and that a formal framework is needed to make such claims more precise. I will propose such a framework. First, I will introduce Marr’s computational level of analysis and the tractable cognition thesis. This thesis states that people have limited resources for cognitive processing, and that human cognitive capacities are confined to those that can be realized using a realistic amount of time. Then, I will introduce a computational-level model of ToM, which is a special case of DEL model checking. I will give a short introduction to (parameterized) complexity theory and will present some complexity results for the model. In particular I will show that the model is PSPACE-complete and that the modal depth of a formula does not influence its complexity. Finally, I will discuss the meaning of these results for the understanding of ToM. This talk is based on my master’s thesis. For a PDF, see: http://goo.gl/21FG2G

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

ILLC-LIRa November 2015