ILLC-LIRa

illc-lira@list.uva.nl

1 participants
582 discussions

LIRa Session: Giorgio Sbardolini (Thursday, 9 December 16:30)
by LIRa Seminar 06 Dec '21

06 Dec '21

Dear all, We will have our next LIRa session on Thursday, 9 December 16:30. Please use our recurring zoom link: https://uva-live.zoom.us/j/88142993494?pwd=d1BsQWR4T2UyK0Job29YNThjaGRkUT09 (Meeting ID: 881 4299 3494, Passcode: 352984) You can find the details of the talk below. Speaker: Giorgio Sbardolini Date and Time: Thursday, December 9th 2021, 16:30-18:00, Amsterdam time. Venue: online. Title: Coordination without Common Knowledge Abstract. It is fairly well understood how rational agents coordinate by means of common knowledge. At least occasionally, we are rational, and we coordinate. Even so, often it doesn’t seem that we coordinate by reasoning about what we both know (and we know that we know and so on). Sometimes we coordinate without common knowledge, but how? I’ll present some work in progress in which I try to make sense of a weak notion of rationality on which coordination without common knowledge is rational. I will present two (tentative) ways of making sense of this idea: one using Iterated Best Response reasoning and one using Dynamic Epistemic Actions. The two approaches are not equivalent, and I’m also interested in what connections there might be between these two ways of studying rational action. Hope to see you there! The LIRa team

1 0

LIRa Related Talk: DIEP Seminar (tomorrow, Thursday, 2 December 11:00)
by LIRa Seminar 01 Dec '21

01 Dec '21

Dear all, The following LIRa related talk might be of interest to some of you: This Thursday, the 2nd of December at 11am we have a DIEP seminar by Tomas Veloz (Centre Leo Apostel): Title: Reaction Networks and Evolutionary Game Theory Abstract: Mathematical approaches in systems biology are increasingly applied beyond the scope of biology. Particularly, reaction networks have been suggested as an alternative way to model systems of a general kind, and particularly social phenomena. In this latter “socio-chemical metaphor” molecular species play the role of agents’ decisions and their outcomes, and chemical reactions play the role of interactions among these decisions. From here, it is possible to study the dynamical properties of social systems using standard tools of biochemical modelling. In this talk we show how reaction networks can model systems that are usually studied via evolutionary game theory. We illustrate our framework by modeling the repeated prisoners’ dilemma. We further develop a model considering the interaction among Tit for Tat and Defector agents. We will discuss the strengths and weaknesses of the approach as well as its potential to produce new insights in classical problems such as the emergence of goal-directedness and the evolution of cooperation. Zoom link: https://uva-live.zoom.us/j/85608909905 The LIRa team

1 0

LIRa Session: Adam Brandenburger (tomorrow, Thursday, 2 December 16:30)
by LIRa Seminar 01 Dec '21

01 Dec '21

Dear all, We will have our next LIRa session tomorrow, on Thursday, 2 December 16:30. Please use our recurring zoom link: https://uva-live.zoom.us/j/88142993494?pwd=d1BsQWR4T2UyK0Job29YNThjaGRkUT09 (Meeting ID: 881 4299 3494, Passcode: 352984) You can find the details of the talk below. Speaker: Adam Brandenburger Date and Time: Thursday, December 2nd 2021, 16:30-18:00, Amsterdam time. Venue: online. Title: Agreement and Disagreement in a Non-Classical World Abstract. The Agreement Theorem (Aumann, 1976) states that if two Bayesian agents start with a common prior, then they cannot have common knowledge that they hold different posterior probabilities of some underlying event of interest. In short, the two agents cannot "agree to disagree." This result applies in the classical domain where classical probability theory applies. But in non-classical domains (such as the quantum world), classical probability theory does not apply, and so we cannot assume that the same result holds when agents observe non-classical phenomena. Inspired by their use in quantum mechanics, we employ signed probability measures ("quasi-probabilities") to investigate the epistemics of the non-classical world and ask, in particular: What conditions lead to agreement or allow for disagreement when agents may use signed probabilities? by Adam Brandenburger, Patricia Contreras-Tejada, Pierfrancesco La Mura, Giannicola Scarpa, and Kai Steverson Hope to see you there! The LIRa team

1 0

LIRa-related event: Humane Conversations with Iyad Rahwan
by LIRa Seminar 29 Nov '21

29 Nov '21

Dear all, The following virtual event might be of interest to the LIRa audience: This Thursday, Dec 2, 14.00-15.00 (Amsterdam time), Anthia Solaki and Chris Starke will be discussing "How to tame an evil AI" with Iyad Rahwan, the director of the Center for Humans and Machines of the Max Planck Institute for Human Development. If you are interested in attending the zoom meeting, please, register here: https://humane-ai.nl/events_report/9-humane-conversations-how-to-tame-an-ev… The LIRa team

1 0

LIRa Session: Catholijn Jonker (tomorrow, Thursday, 25 November 16:30)
by LIRa Seminar 24 Nov '21

24 Nov '21

Dear all, We will have our next LIRa session tomorrow, on Thursday, 25 November 16:30. Please use our recurring zoom link: https://uva-live.zoom.us/j/88142993494?pwd=d1BsQWR4T2UyK0Job29YNThjaGRkUT09 (Meeting ID: 881 4299 3494, Passcode: 352984) You can find the details of the talk below. Speaker: Catholijn Jonker (Delft University of Technology) Date and Time: Thursday, November 25th 2021, 16:30-18:00, Amsterdam time. Venue: online. Title: Revisiting Computational Fragments of Logic and Meta-Reasoning: the DESIRE framework Abstract. I will discuss how bi-modular logics of a simple kind can be used to perform abstract meta-level forms of reasoning. I don’t know if I can get the old DESIRE system running again for you, but I will give it a try. Otherwise I will explain the concept to you in detail. Showing how you can use meta-level reasoning for Diagnostic Reasoning and for reasoning about the Closed World Assumption in a different way. I will reflect on this to show how this reasoning could help in modern day I to have systems realise what it is that they don’t know about. Hope to see you there! The LIRa team

1 0

LIRa Session: Sebastian De Haro (tomorrow, Thursday, 18 November 17:00)
by LIRa Seminar 17 Nov '21

17 Nov '21

Dear all, We will have our next LIRa session tomorrow, on Thursday, 18 November 17:00. Please use our recurring zoom link: https://uva-live.zoom.us/j/88142993494?pwd=d1BsQWR4T2UyK0Job29YNThjaGRkUT09 (Meeting ID: 881 4299 3494, Passcode: 352984) You can find the details of the talk below. Speaker: Sebastian De Haro Date and Time: Thursday, November 18th 2021, 17:00-18:30, Amsterdam time. (Please NOTE that we start half an hour later than usual!) Venue: online. Title: Visualization and Understanding in Physics Abstract. The discussion about visualization and its relation to scientific understanding goes back to the early days of quantum mechanics, when Erwin Schrödinger and Werner Heisenberg each used 'Anschaulichkeit' to defend his own preferred version of quantum theory. After reviewing this history, I will discuss scientific understanding for current theories of quantum gravity, where spacetime is sometimes claimed to have no straightforward of natural visualization. I will end with a number of open issues vis-à-vis emerging (quantum) technologies. Hope to see you there! The LIRa team

1 0

Correction: LIRa Session with Sebastian De Haro on Thursday at 17:00 (half an hour later than usual)
by LIRa Seminar 16 Nov '21

16 Nov '21

Dear all, Please note that the time mentioned in our previous announcement is no longer correct. We will have our next LIRa session on Thursday, 18 November 17:00. Please use our recurring zoom link: https://uva-live.zoom.us/j/88142993494?pwd=d1BsQWR4T2UyK0Job29YNThjaGRkUT09 (Meeting ID: 881 4299 3494, Passcode: 352984) You can find the details of the talk below. Speaker: Sebastian De Haro Date and Time: Thursday, November 18th 2021, 17:00-18:30, (half an hour later than usual!) Amsterdam time. Venue: online. Title: Visualization and Understanding in Physics Abstract. The discussion about visualization and its relation to scientific understanding goes back to the early days of quantum mechanics, when Erwin Schrödinger and Werner Heisenberg each used 'Anschaulichkeit' to defend his own preferred version of quantum theory. After reviewing this history, I will discuss scientific understanding for current theories of quantum gravity, where spacetime is sometimes claimed to have no straightforward of natural visualization. I will end with a number of open issues vis-à-vis emerging (quantum) technologies. Hope to see you there! The LIRa team

1 0

LIRa Session: Sebastian De Haro (Thursday, 18 November 16:30)
by LIRa Seminar 12 Nov '21

12 Nov '21

Dear all, We will have our next LIRa session on Thursday, 18 November 16:30. Please use our recurring zoom link: https://uva-live.zoom.us/j/88142993494?pwd=d1BsQWR4T2UyK0Job29YNThjaGRkUT09 (Meeting ID: 881 4299 3494, Passcode: 352984) You can find the details of the talk below. Speaker: Sebastian De Haro Date and Time: Thursday, November 18th 2021, 16:30-18:00, Amsterdam time. Venue: online. Title: Visualization and Understanding in Physics Abstract. The discussion about visualization and its relation to scientific understanding goes back to the early days of quantum mechanics, when Erwin Schrödinger and Werner Heisenberg each used 'Anschaulichkeit' to defend his own preferred version of quantum theory. After reviewing this history, I will discuss scientific understanding for current theories of quantum gravity, where spacetime is sometimes claimed to have no straightforward of natural visualization. I will end with a number of open issues vis-à-vis emerging (quantum) technologies. Hope to see you there! The LIRa team

1 0

Joint LIRa—A|C Session: Yanjing Wang (tomorrow, Thursday, 11 November 15:30 - NOTE: one hour earlier than usual!)
by LIRa Seminar 10 Nov '21

10 Nov '21

Dear all, We will have a joint LIRa—A|C session tomorrow, on Thursday, 11 November 15:30. NOTE that we start one hour earlier than usual! Please use our recurring zoom link: https://uva-live.zoom.us/j/88142993494?pwd=d1BsQWR4T2UyK0Job29YNThjaGRkUT09 (Meeting ID: 881 4299 3494, Passcode: 352984) You can find the details of the talk below. Speaker: Yanjing Wang (Peking University) Date and Time: Thursday, November 11th 2021, 15:30-17:00, Amsterdam time. Venue: online. Title: Intuitionistic logic as an epistemic logic of knowing how Abstract. In this talk, we propose a general method to "decode" (propositional) intuitionistic logic and various intermediate logics as (dynamic) epistemic logics of knowing how. Our approach is inspired by some scattered ideas hidden in the vast literature of math, philosophy, CS, and linguistics about intuitionistic logic in the past 100 years, which echoed Heyting's initial (but forgotten?) conception about intuitionistic truth as "knowing how to prove". The core technical idea is to use a bundled know-how modality to unify the formalized Brouwer–Heyting–Kolmogorov interpretation and the Kripke semantics of intuitionistic logic. As we will see, this approach can reveal the hidden complicated dynamic-epistemic information behind the innocent-looking connectives but makes intuitionistic logic intuitive. With the natural but precise epistemic readings of intuitionistic formulas, various technical results about intuitionistic logic and intermediate logics become transparent, if not trivial. If time permits, we show how to decode inquisitive logic and some version of dependence logic as epistemic logics in order to demonstrate the power of this general approach, which could also be a meeting point of various research themes at ILLC. (The talk is partly based on the joint work with Haoyu Wang and Yunsong Wang) Hope to see you there! The LIRa team

1 0

Joint LIRa—A|C Session: Yanjing Wang (Thursday, 11 November 15:30 - NOTE the unusual time one hour earlier!)
by LIRa Seminar 05 Nov '21

05 Nov '21

Dear all, We will have our next LIRa session together with the A|C seminar on Thursday, 11 November 15:30. NOTE: Instead of our usual time slot we will start one hour earlier! Please use our recurring zoom link: https://uva-live.zoom.us/j/88142993494?pwd=d1BsQWR4T2UyK0Job29YNThjaGRkUT09 (Meeting ID: 881 4299 3494, Passcode: 352984) You can find the details of the talk below. Speaker: Yanjing Wang (Peking University) Date and Time: Thursday, November 11th 2021, 15:30-17:00, Amsterdam time. Venue: online. Title: Intuitionistic logic as an epistemic logic of knowing how Abstract. In this talk, we propose a general method to "decode" (propositional) intuitionistic logic and various intermediate logics as (dynamic) epistemic logics of knowing how. Our approach is inspired by some scattered ideas hidden in the vast literature of math, philosophy, CS, and linguistics about intuitionistic logic in the past 100 years, which echoed Heyting's initial (but forgotten?) conception about intuitionistic truth as "knowing how to prove". The core technical idea is to use a bundled know-how modality to unify the formalized Brouwer–Heyting–Kolmogorov interpretation and the Kripke semantics of intuitionistic logic. As we will see, this approach can reveal the hidden complicated dynamic-epistemic information behind the innocent-looking connectives but makes intuitionistic logic intuitive. With the natural but precise epistemic readings of intuitionistic formulas, various technical results about intuitionistic logic and intermediate logics become transparent, if not trivial. If time permits, we show how to decode inquisitive logic and some version of dependence logic as epistemic logics in order to demonstrate the power of this general approach, which could also be a meeting point of various research themes at ILLC. (The talk is partly based on the joint work with Haoyu Wang and Yunsong Wang) Hope to see you there! The LIRa team

1 0

← Newer
1
...
15
16
17
18
19
20
21
...
59
Older →

Jump to page:

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

ILLC-LIRa