ILLC-LIRa November 2023

illc-lira@list.uva.nl

1 participants
7 discussions

LIRa session: Jakob Dirk Top (tomorrow, Thursday, 30 November 16:30)
by LIRa Seminar 29 Nov '23

29 Nov '23

Dear all, We will have our next LIRa session tomorrow, on Thursday, 30 November 16:30. This will be a hybrid session. If you want to attend online, please use our recurring zoom link: https://uva-live.zoom.us/j/89230639823?pwd=YWJuSnJmTDhXcWhmd1ZkeG5zb0o5UT09 (Meeting ID: 892 3063 9823, Passcode: 421723) You can find the details of the talk below. Speaker: Jakob Dirk Top (University of Groningen) Date and Time: Thursday, November 30th 2023, 16:30-18:00 Venue: ILLC seminar room F1.15 in Science Park 107 and online Title: Predictive Theory of Mind Models Based on Public Announcement Logic Abstract. Epistemic logic can be used to reason about statements such as ‘I know that you know that I know that φ’. In this logic, and its extensions, it is commonly assumed that agents can reason about epistemic statements of arbitrary nesting depth. In contrast, empirical findings on Theory of Mind, the ability to (recursively) reason about mental states of others, show that human recursive reasoning capability has an upper bound. In the present paper we work towards resolving this disparity by proposing some elements of a logic of bounded Theory of Mind, built on Public Announcement Logic. Using this logic, and a statistical method called Random-Effects Bayesian Model Selection, we estimate the distribution of Theory of Mind levels in the participant population of a previous behavioral experiment. Despite not modeling stochastic behavior, we find that approximately three-quarters of participants’ decisions can be described using Theory of Mind. In contrast to previous empirical research, our models estimate the majority of participants to be second-order Theory of Mind users. The article was presented at DaLí 2023 and is available online at https://dali2023.compute.dtu.dk/pre-proceedings/ Hope to see you there! The LIRa team

1 0

LIRa session: Jakob Dirk Top (Thursday, 30 November 16:30)
by LIRa Seminar 24 Nov '23

24 Nov '23

Dear all, We will have our next LIRa session on Thursday, 30 November 16:30. This will be a hybrid session. If you want to attend online, please use our recurring zoom link: https://uva-live.zoom.us/j/89230639823?pwd=YWJuSnJmTDhXcWhmd1ZkeG5zb0o5UT09 (Meeting ID: 892 3063 9823, Passcode: 421723) You can find the details of the talk below. Speaker: Jakob Dirk Top (University of Groningen) Date and Time: Thursday, November 30th 2023, 16:30-18:00 Venue: ILLC seminar room F1.15 in Science Park 107 and online Title: Predictive Theory of Mind Models Based on Public Announcement Logic Abstract. Epistemic logic can be used to reason about statements such as ‘I know that you know that I know that φ’. In this logic, and its extensions, it is commonly assumed that agents can reason about epistemic statements of arbitrary nesting depth. In contrast, empirical findings on Theory of Mind, the ability to (recursively) reason about mental states of others, show that human recursive reasoning capability has an upper bound. In the present paper we work towards resolving this disparity by proposing some elements of a logic of bounded Theory of Mind, built on Public Announcement Logic. Using this logic, and a statistical method called Random-Effects Bayesian Model Selection, we estimate the distribution of Theory of Mind levels in the participant population of a previous behavioral experiment. Despite not modeling stochastic behavior, we find that approximately three-quarters of participants’ decisions can be described using Theory of Mind. In contrast to previous empirical research, our models estimate the majority of participants to be second-order Theory of Mind users. The article was presented at DaLí 2023 and is available online at https://dali2023.compute.dtu.dk/pre-proceedings/ Hope to see you there! The LIRa team

1 0

LIRa session: Jan-Willem Romeijn (tomorrow, Thursday, 16 November 16:30)
by LIRa Seminar 15 Nov '23

15 Nov '23

Dear all, We will have our next LIRa session tomorrow, on Thursday, 16 November 16:30. This will be a hybrid session. If you want to attend online, please use our recurring zoom link: https://uva-live.zoom.us/j/89230639823?pwd=YWJuSnJmTDhXcWhmd1ZkeG5zb0o5UT09 (Meeting ID: 892 3063 9823, Passcode: 421723) You can find the details of the talk below. Speaker: Jan-Willem Romeijn (University of Groningen) Date and Time: Thursday, November 16th 2023, 16:30-18:00 Venue: ILLC seminar room F1.15 in Science Park 107 and online Title: *Reverse-engineering the model* Abstract. Data-driven or "machine learning" prediction methods generate predictions from data without explicitly stating their modeling assumptions. In fact there are substantial obstacles to bringing those assumptions out in the traditional format, because machine learning methods mostly do not rely on explicit representations of their target systems. In my talk I combine recent machine learning research and insights from inductive logic and the philosophy of statistics to provide a road-map for reverse-engineering the models inherent to any prediction method. Next I will determine whether and in what ways these implicit models represent their target, drawing on ideas about randomness and nonlinear dynamics. My preliminary conclusion is that the reverse-engineered models represent only superficially, and that they make visible how our traditional conception of models is ill-suited for a science of complex systems, echoing Breiman's seminal paper on the two cultures of statistics. Hope to see you there! The LIRa team

1 0

Annual VvL Seminar 2023 (Friday, 8 December 14:30-17:30, Utrecht)
by LIRa Seminar 13 Nov '23

13 Nov '23

Dear all, We would like to draw your attention to the ***Annual VvL Seminar 2023*** The second edition of the (in-person) Annual VvL Seminar will be organized by Utrecht University. The event is inspired by the departmental logic seminars that are organized at each university, and aims to unify the universities for a collaborative seminar. Besides hosting a main speaker, the seminar will also be the location of the award ceremony of the VvL MSc Thesis Prize winners, who will give a short presentation of their thesis. The details of the event can be found below, as well as on the VvL website https://verenigingvoorlogica.nl/en/Activiteiten/VvL-Joint-Seminar/ *Main speaker*: Natasha Alechina *MSc Thesis Prize winners*: Rodrigo Almeida (supervisors: Nick Bezhanishvili and Tommaso Moraschini), Søren Brinck Knudstorp (supervisors: Johan van Benthem and Nick Bezhanishvili), Raoul Koudijs (supervisor: Balder ten Cate) *Date & time*: December 8, 2023, 14:30-17:30 *Location*: The Sweelinckzaal at Drift 21, room 0.05, Utrecht. For visitors from outside the UU, please go to the university library at Drift 27 and proceed through the lobby to the back exit to reach the other Drift buildings. *Local organizers*: Colin Caret & Johannes Korbmacher *PROGRAM* 14:30-14:40 Opening and Welcome Remarks 14:40-14:50 Brief Presentation on the work of the VvL 14:50-15:50 VvL lecture by Natasha Alechina 15:50-16:10 Coffee Break 16:10-16:20 Remarks by the VvL Master thesis awards committee 16:20-17:20 MSc Thesis Prize presentations (3x20mins) 17:20-17:30 Award Ceremony and Closing Remarks *REGISTRATION* There is no cost for attending the seminar, but to help with organization, please register your attendance using the online form linked below. An optional dinner will follow the event in the Westerdijkkamer of the Academiegebouw (42 euros per person). If you would like to join for dinner you may indicate this in the registration form. https://docs.google.com/forms/d/1_8knDUMzOASuNY8VYavLayDg8DZLKHoHzO7B0_3A1e… Hope to see you there! The LIRa team

1 0

LIRa session: Jan-Willem Romeijn (Thursday, 16 November 16:30)
by LIRa Seminar 11 Nov '23

11 Nov '23

Dear all, We will have our next LIRa session on Thursday, 16 November 16:30. This will be a hybrid session. If you want to attend online, please use our recurring zoom link: https://uva-live.zoom.us/j/89230639823?pwd=YWJuSnJmTDhXcWhmd1ZkeG5zb0o5UT09 (Meeting ID: 892 3063 9823, Passcode: 421723) You can find the details of the talk below. Speaker: Jan-Willem Romeijn (University of Groningen) Date and Time: Thursday, November 16th 2023, 16:30-18:00 Venue: ILLC seminar room F1.15 in Science Park 107 and online Title: Reverse-engineering the model Abstract. Data-driven or "machine learning" prediction methods generate predictions from data without explicitly stating their modeling assumptions. In fact there are substantial obstacles to bringing those assumptions out in the traditional format, because machine learning methods mostly do not rely on explicit representations of their target systems. In my talk I combine recent machine learning research and insights from inductive logic and the philosophy of statistics to provide a road-map for reverse-engineering the models inherent to any prediction method. Next I will determine whether and in what ways these implicit models represent their target, drawing on ideas about randomness and nonlinear dynamics. My preliminary conclusion is that the reverse-engineered models represent only superficially, and that they make visible how our traditional conception of models is ill-suited for a science of complex systems, echoing Breiman's seminal paper on the two cultures of statistics. Hope to see you there! The LIRa team

1 0

LIRa session: Natasha Alechina (tomorrow, Thursday, 9 November 16:30)
by LIRa Seminar 08 Nov '23

08 Nov '23

Dear all, We will have our next LIRa session tomorrow, on Thursday, 9 November 16:30. This will be a hybrid session. If you want to attend online, please use our recurring zoom link: https://uva-live.zoom.us/j/89230639823?pwd=YWJuSnJmTDhXcWhmd1ZkeG5zb0o5UT09 (Meeting ID: 892 3063 9823, Passcode: 421723) You can find the details of the talk below. Speaker: Natasha Alechina (Utrecht University) Date and Time: Thursday, November 9th 2023, 16:30-18:00 Venue: ILLC seminar room F1.15 in Science Park 107 and online Title: Norms in multi-agent systems Abstract. Norms have been widely proposed to coordinate and regulate behaviour in multi-agent systems (MAS). I will briefly describe logical approaches to verifying effects of introducing norms, and concentrate on the problem of synthesising a set of norms which ensures that MAS satisfies a design objective expressed in Alternating Time Temporal Logic ATL*. I will focus on dynamic norms, that allow us to place different constraints on the agents' behaviour depending on the state of the norm automaton and the state of the underlying MAS. The talk will be based on joint work with Giuseppe Perelli, Giuseppe De Giacomo and Brian Logan published in KR 2022. Hope to see you there! The LIRa team

1 0

LIRa session: Natasha Alechina (Thursday, 9 November 16:30)
by LIRa Seminar 03 Nov '23

03 Nov '23

Dear all, We will have our next LIRa session on Thursday, 9 November 16:30. This will be a hybrid session. If you want to attend online, please use our recurring zoom link: https://uva-live.zoom.us/j/89230639823?pwd=YWJuSnJmTDhXcWhmd1ZkeG5zb0o5UT09 (Meeting ID: 892 3063 9823, Passcode: 421723) You can find the details of the talk below. Speaker: Natasha Alechina (Utrecht University) Date and Time: Thursday, November 9th 2023, 16:30-18:00 Venue: ILLC seminar room F1.15 in Science Park 107 and online Title: Norms in multi-agent systems Abstract. Norms have been widely proposed to coordinate and regulate behaviour in multi-agent systems (MAS). I will briefly describe logical approaches to verifying effects of introducing norms, and concentrate on the problem of synthesising a set of norms which ensures that MAS satisfies a design objective expressed in Alternating Time Temporal Logic ATL*. I will focus on dynamic norms, that allow us to place different constraints on the agents' behaviour depending on the state of the norm automaton and the state of the underlying MAS. The talk will be based on joint work with Giuseppe Perelli, Giuseppe De Giacomo and Brian Logan published in KR 2022. Hope to see you there! The LIRa team

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

ILLC-LIRa November 2023