ILLC-LIRa

illc-lira@list.uva.nl

1 participants
582 discussions

Lira Session: Jules Hedges
by LIRa Seminar 12 Sep '18

12 Sep '18

Dear all, This is a reminder for tomorrow\'s LIRa session. Please, find the details below: Speaker: Jules Hedges Date and Time: Thursday, September 13th 2018, 16:30-18:00 Venue: ILLC Seminar Room F1.15, Science Park 107. Title: Compositional Game Theory. Abstract. Open games are a foundation of non-cooperative game theory that is strongly compositional: all games are built from small pieces using sequential and parallel composition operators. They also come for free with an intuitive but formal graphical language that allows visualising the information flow inside a game. I will focus on the foundations, which involves a careful analysis of how observable and counterfactual information interact in a game. Time permitting I’ll briefly discuss a linguistic application, building language-games recursively on a categorial grammar (work in progress with Martha Lewis). This talk necessarily involves some category theory, but I’ll try to be as gentle as possible. Hope to see you there! The LIRa team

1 0

Lira Session: Jules Hedges
by LIRa Seminar 07 Sep '18

07 Sep '18

Dear all, We are very happy to announce that next Thursday, we will have our first LIRa session for this academic year. Our regular time slot will be Thursday 16:30 - 18.00 (NB: from November onward, the seminar will start at 17:00), followed by drinks at the common room. We hope to see many of you there! Below you can find the details of the upcoming session: Speaker: Jules Hedges Date and Time: Thursday, September 13th 2018, 16:30-18:00 Venue: ILLC Seminar Room F1.15, Science Park 107. Title: Compositional Game Theory. Abstract. Open games are a foundation of non-cooperative game theory that is strongly compositional: all games are built from small pieces using sequential and parallel composition operators. They also come for free with an intuitive but formal graphical language that allows visualising the information flow inside a game. I will focus on the foundations, which involves a careful analysis of how observable and counterfactual information interact in a game. Time permitting I’ll briefly discuss a linguistic application, building language-games recursively on a categorial grammar (work in progress with Martha Lewis). This talk necessarily involves some category theory, but I’ll try to be as gentle as possible. The LIRa team

1 0

Lira Session: Jules Hedges
by LIRa Seminar 07 Sep '18

07 Sep '18

Dear all, Speaker: Jules Hedges Date and Time: Thursday, September 13th 2018, 16:30-18:00 Venue: ILLC Seminar Room F1.15, Science Park 107. Title: Compositional Game Theory. Abstract. Open games are a foundation of non-cooperative game theory that is strongly compositional: all games are built from small pieces using sequential and parallel composition operators. They also come for free with an intuitive but formal graphical language that allows visualising the information flow inside a game. I will focus on the foundations, which involves a careful analysis of how observable and counterfactual information interact in a game. Time permitting I’ll briefly discuss a linguistic application, building language-games recursively on a categorial grammar (work in progress with Martha Lewis). This talk necessarily involves some category theory, but I’ll try to be as gentle as possible. The LIRa team

1 0

Tomorrow LIRa Session and ILLC lunch-seminar lecture
by LIRa Seminar 06 Jun '18

06 Jun '18

Dear all, Tomorrow we will have our next LIRa Session with Carlo Proietti at 16:00 hrs. In addition, we also encourage you to join the ILLC lunch-seminar with Professor Rineke Verbrugge (Univ. Groningen) at 12:00 hrs. The details of the ILLC lunch-seminar and the LIRa Session follow below. ILLC lunch-seminar Title: Reasoning about other minds: From logic to the lab Date and Time: Thursday, June 7th 2018, 12:00-13:45 Location: ILLC Common Room, F1.21, SP107 You are all invited to attend the lecture. After the lecture the ILLC will offer a sandwich-lunch during which the discussion with the speaker can continue. In connection with catering, please send an email to Patty den Enting (p.d.denenting(a)uva.nl) by Tuesday 18 hrs if you expect to attend the lecture and lunch. LIRa Session Title: Group Polarization and Abstract Argumentation Date and Time: Thursday, June 7th 2018, 16:00-17:30 Location: ILLC, Room F1.15, SP107 The corresponding abstracts follow below. Abstract ILLC lunch-seminar: This lecture focuses on my research around recursive reasoning about other minds. People often reason about other people’s beliefs, knowledge, goals and plans, in order to understand and predict their behavior. They can make first-order mental state attributions such as “Bob believes that I wrote a novel under pseudonym” but also second-order attributions such as “He thinks that I will capture his queen in my next turn”. Dynamic epistemic logic has shown to be a very useful tool to model higher-level reasoning about knowledge. However, it is idealized and does not exactly fit human reasoning about other minds. I will discuss the following questions: Why is second-order theory of mind so difficult to apply for adults, let alone higher levels? Where does the difficulty reside? Why has higher-order social reasoning evolved in the first place, if it is so difficult? Can we support people in reasoning about the interests and higher-order beliefs of another person, leading to win-win solutions in negotiations? To investigate these questions, I move between logic and the lab, combining epistemic logic, computational cognitive models, agent-based models, and empirical research. Abstract LIRa Session: Discussion often makes individuals more radical about their initial opinion. This phenomenon is known as Group-induced Attitude Polarization (Moscovici et al. 1969). A byproduct of it are bipolarization effects, where the distance between the opinions of two groups increases after discussion. A fine-grained analysis of the exchange of information among agents in a debate is key to understand how such dynamics unfold. I use Argumentation Graphs as a tool for encoding the information of agents in a debate. Measures of the degree of acceptability of an opinion in a graph are introduced to illustrate how polarization is induced by exchange of arguments among agents. I also show that different policies of information transmission and update have a decisive impact on polarization and bipolarization effects. Hope to see you there! The LIRa team

1 0

ILLC lunch-seminar lecture and LIRa seminar
by LIRa Seminar 04 Jun '18

04 Jun '18

Dear all, This coming Thursday we will have our next LIRa Session with Carlo Proietti at 16:00 hrs. In addition, we also encourage you to join the ILLC lunch-seminar with Professor Rineke Verbrugge (Univ. Groningen) at 12:00 hrs. The details of the ILLC lunch-seminar and the LIRa Session follow below. ILLC lunch-seminar Title: Reasoning about other minds: From logic to the lab Date and Time: Thursday, June 7th 2018, 12:00-13:45 Location: ILLC Common Room, F1.21, SP107 You are all invited to attend the lecture. After the lecture the ILLC will offer a sandwich-lunch during which the discussion with the speaker can continue. In connection with catering, please send an email to Patty den Enting (p.d.denenting(a)uva.nl) by Tuesday 18 hrs if you expect to attend the lecture and lunch. LIRa Session Title: Group Polarization and Abstract Argumentation Date and Time: Thursday, June 7th 2018, 16:00-17:30 Location: ILLC, Room F1.15, SP107 The corresponding abstracts follow below. Abstract ILLC lunch-seminar: This lecture focuses on my research around recursive reasoning about other minds. People often reason about other people’s beliefs, knowledge, goals and plans, in order to understand and predict their behavior. They can make first-order mental state attributions such as “Bob believes that I wrote a novel under pseudonym” but also second-order attributions such as “He thinks that I will capture his queen in my next turn”. Dynamic epistemic logic has shown to be a very useful tool to model higher-level reasoning about knowledge. However, it is idealized and does not exactly fit human reasoning about other minds. I will discuss the following questions: Why is second-order theory of mind so difficult to apply for adults, let alone higher levels? Where does the difficulty reside? Why has higher-order social reasoning evolved in the first place, if it is so difficult? Can we support people in reasoning about the interests and higher-order beliefs of another person, leading to win-win solutions in negotiations? To investigate these questions, I move between logic and the lab, combining epistemic logic, computational cognitive models, agent-based models, and empirical research. Abstract LIRa Session: Discussion often makes individuals more radical about their initial opinion. This phenomenon is known as Group-induced Attitude Polarization (Moscovici et al. 1969). A byproduct of it are bipolarization effects, where the distance between the opinions of two groups increases after discussion. A fine-grained analysis of the exchange of information among agents in a debate is key to understand how such dynamics unfold. I use Argumentation Graphs as a tool for encoding the information of agents in a debate. Measures of the degree of acceptability of an opinion in a graph are introduced to illustrate how polarization is induced by exchange of arguments among agents. I also show that different policies of information transmission and update have a decisive impact on polarization and bipolarization effects. Hope to see you there! The LIRa team

1 0

Tomorrow LIRa Session with Davide Grossi at 16:30
by LIRa Seminar 23 May '18

23 May '18

Dear all, Tomorrow we will have our next LIRa Session. Speaker: Davide Grossi Date and Time: Thursday, May 24th 2018, 16:30-18:00 Venue: ILLC Seminar Room F1.15, Science Park 107. Title: Interactive Epistemology for Blockchain Protocols? Abstract: This is an exploratory talk focusing on the nexus between distributed ledgers on one side, and epistemic logic and game theory on the other side. The aim is to sketch a research agenda exploring the epistemological foundations of blockchain protocols. I will highlight, through a series of examples, the incentive structures and epistemic assumptions underpinning the correct functioning of consensus protocols for distributed ledgers (e.g., Bitcoin’s Nakamoto consensus, Stellar’s federated voting), and point at possible research directions. Hope to see you there! The LIRa team

1 0

Thursday: No LIRa session, but Workshop in Utrecht
by LIRa Seminar 14 May '18

14 May '18

Dear all, We postpone Gianluca Grilletti LIRa Session. We will announce the new date soon! On the occasion of the PhD defense of Hein Duijf there will be a workshop on May 17th 2018 in Utrecht. Title: Collective Responsibility, Joint Action, and Participation Date and Time: Thursday, May 17th 2018, 10:15-18:00 Venue: Universiteitsmuseum (Lange Nieuwstraat 106, Utrecht) at the Grote Vergaderzaal (2nd floor). Attendance is free, but registration is required. You can register by sending an email to h.w.a.duijf(a)uu.nl The PhD defense of Hein Duijf will take place in Utrecht on May 18th, 2018. For more information about this send an email to h.w.a.duijf(a)uu.nl Hope to see you there! The LIRa team

1 0

Tomorrow LIRa Session with Ana Lucia Vargas-Sandoval
by LIRa Seminar 02 May '18

02 May '18

Dear all, Tomorrow we will have our next LIRa Session. Speaker: Ana Lucia Vargas-Sandoval Date and Time: Thursday, May 3rd 2018, 16:00-17:30 Venue: ILLC Seminar Room F1.15, Science Park 107. Title: Arbitrary Announcement Logic with Memory is better. Abstract. Arbitrary Public Announcement logic (APAL) and its relatives are natural extensions of Public Announcement Logic obtained by adding an arbitrary announcement operator. These logics are of great interest both philosophically and from the point of view of applications. Motivations range from modelling notions of knowability to modelling inductive learnability in empirical science. One problem with APAL formalisms is that they use infinitary axiomatisations, therefore it is not guaranteed that the validities of these logics are recursively enumerable. The question of whether Arbitrary Public Announcement logic has a finitary axiomatisation remains open since almost a decade. In this talk we present an APAL-style logic for which a recursive axiomatisation is guaranteed. We expose the problem of the original APAL and explain our solution: equipping APAL with a memory mechanism. We introduce Arbitrary Public Announcement Logic with Memory (APALM), obtained by adding to the models a memory of the initial states, representing the information before any communication took place, and adding to the syntax operators that can access this memory. We give a sound and complete axiomatisation for APALM that is recursive, our recursive axiomatisation uses a natural finitary rule. If time permits we will also discuss expressivity results and some connections of APALM with other logics. Hope to see you there! The LIRa team

1 0

Tomorrow LIRa Session with Jakub Szymanik
by LIRa Seminar 25 Apr '18

25 Apr '18

Dear all, Tomorrow we will have our next LIRa session. Speaker: Jakub Szymanik Date and Time: Thursday, April 26th 2018, 16:00-17:30 Venue: ILLC Seminar Room F1.15, Science Park 107. Title: Logic as a Grammar of Thought Abstract. I will survey some recent work using logic as the underlying representation system (the language of thought) to explain various fragments of cognition. In this research program the computational techniques (e.g., machine learning, Bayesian modeling) are combined with logical representation languages to shed light on compositional structure of human thinking. Hope to see you there! The LIRa team

1 0

Tomorrow LIRa Session with Giuseppe Dari-Mattiacci
by LIRa Seminar 18 Apr '18

18 Apr '18

Dear all, Tomorrow we will have our next LIRa session. Speaker: Giuseppe Dari-Mattiacci Date and Time: Thursday, April 19th 2018, 16:00-17:30 Venue: ILLC Seminar Room F1.15, Science Park 107. Title: Mutual Persuasion (joint with Davide Grossi) Abstract: Two agents have to collectively select one of two options. They are endowed with a personal bias, each in favor of a different option, and they observe a private signal with known quality. They then need to reveal their private signal to the other agent, but may decide to withhold some of the evidence the private signal provides, in order to persuade the other agent in the direction of their own bias. We present a Bayesian model capturing this form of persuasion. The model applies to a variety of phenomena, including political discussions, settlement negotiations and trade. Hope to see you there! The LIRa team

1 0

← Newer
1
...
40
41
42
43
44
45
46
...
59
Older →

Jump to page:

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

ILLC-LIRa