ILLC-LIRa March 2023

illc-lira@list.uva.nl

1 participants
9 discussions

LIRa session: Emiliano Lorini (ONLINE ONLY, Thursday, 6 April 16:30)
by LIRa Seminar 31 Mar '23

31 Mar '23

Dear all, We will have our next LIRa session on Thursday, 6 April 16:30. This will be an ONLINE ONLY session. To attend 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: Emiliano Lorini Date and Time: Thursday, April 6th 2023, 16:30-18:00 Venue: ONLINE ONLY (i.e. not hybrid!) Title: Non-Classical Logics for Explanations in AI Systems Abstract. I will show how non-classical logics with special emphasis on modal logic, epistemic logic, conditional logic and deontic logic can be used to represent and compare a rich variety of explanations in classifier systems widely used in the field machine learning including abductive, constrastive, counterfactual, objective vs subjective, interactive as well as concepts of bias, discrimination and protected feature. I will present proof-theoretic and complexity results for these logics and illustrate their expressiveness through some concrete examples. Hope to see you there! The LIRa team

1 0

LIRa session: Hykel Hosini (fully online, tomorrow, Thursday, 30 March 16:30)
by LIRa Seminar 29 Mar '23

29 Mar '23

Dear all, We will have our next LIRa session tomorrow, on Thursday, 30 March 16:30. This will be a fully online session, 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: Hykel Hosini Date and Time: Thursday, March 30th 2023, 16:30-18:00 Venue: online only. (i.e. not hybrid!) Title: Inference in Scientific Inference. Abstract. It is commonplace to refer to probability and statistics as ''the logic of science''. Indeed, scientific practice features a number of more or less codified inferential procedures based on them. The most well-known example is Null Hypothesis Significance Testing (NHST). A related example is Strong Inference, which enjoys some popularity in the life sciences. Applications of those inferential procedures are as ubiquitous as they are controversial. And yet, with some notable exceptions, the community of logicians doesn't seem to have taken too much interest in the topic. The main goal of this talk is to make a case for this being relevant both to epistemology (i.e. what logic can contribute to scientific practice) and to logic (i.e. which logical questions arise in this context). The talk is divided into two parts. The first will motivate and pose the question. The second will illustrate some initial results obtained in collaboration with Paolo Baldi and Esther Anna Corsi. Hope to see you there! The LIRa team

1 0

LIRa session: Hykel Hosini (Thursday, 30 March 16:30)
by LIRa Seminar 24 Mar '23

24 Mar '23

Dear all, We will have our next LIRa session on Thursday, 30 March 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: Hykel Hosini Date and Time: Thursday, March 30th 2023, 16:30-18:00 Venue: online only. (i.e. not hybrid!) Title: Inference in Scientific Inference. Abstract. It is commonplace to refer to probability and statistics as "the logic of science''. Indeed, scientific practice features a number of more or less codified inferential procedures based on them. The most well-known example is Null Hypothesis Significance Testing (NHST). A related example is Strong Inference, which enjoys some popularity in the life sciences. Applications of those inferential procedures are as ubiquitous as they are controversial. And yet, with some notable exceptions, the community of logicians doesn't seem to have taken too much interest in the topic. The main goal of this talk is to make a case for this being relevant both to epistemology (i.e. what logic can contribute to scientific practice) and to logic (i.e. which logical questions arise in this context). The talk is divided into two parts. The first will motivate and pose the question. The second will illustrate some initial results obtained in collaboration with Paolo Baldi and Esther Anna Corsi. Hope to see you there! The LIRa team

1 0

CANCELLED, no LIRa session tomorrow, Thursday, 23 March
by LIRa Seminar 22 Mar '23

22 Mar '23

Dear all, Unfortunately the talk tomorrow is cancelled. There will be no LIRa session tomorrow (Thursday, 23 March). The next session will be on Thursday, 30 March (fully-online). kind regards, The LIRa team

1 0

LIRa session: Erman Acar (Thursday, 23 March 16:30)
by LIRa Seminar 17 Mar '23

17 Mar '23

Dear all, We will have our next LIRa session on Thursday, 23 March 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: Erman Acar (ILLC & IvI, University of Amsterdam) Date and Time: Thursday, March 23rd 2023, 16:30-18:00 Venue: ILLC seminar room F1.15 in Science Park 107 and online. Title: A Canvas on Integrating Learning & Reasoning Abstract. Integrating learning and reasoning is one of the major current challenges in AI research, and becoming more frequently pronounced under the name called "neuro-symbolic AI". Logic definitely has an important part in this research direction. In this talk, I will give a brief summary about the field, and the state of the art, as well as my work including differentiable logics, and methods on embedding the background logic. I will also outline some of the pitfalls and the current challenges in making the logical inference a part of the new learning algorithms. Hope to see you there! The LIRa team

1 0

LIRa session: Vlasta Sikimić (tomorrow, Thursday, 16 March 16:30, unusual location: F3.20)
by LIRa Seminar 15 Mar '23

15 Mar '23

Dear all, We will have our next LIRa session tomorrow, on Thursday, 16 March 16:30. This will be a hybrid session with the speaker on location. Please NOTE the unusual location: room F3.20. 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: Vlasta Sikimić (University of Tubingen) Date and Time: Thursday, March 16th 2023, 16:30-18:00 Venue: KdVI seminar room F3.20 in Science Park 107 and online. Title: The use of AI in scientific evaluation through the lens of virtue theory Abstract. The use of AI in the process of scientific evaluation is becoming of more interest to funding agencies and research institutions. This method is faster and cheaper than the standard peer-review process. However, it comes with questions of both ethical and epistemic relevance, such as how to use this method in an epistemically reliable way and what its long-term consequences could be. I will discuss the benefits and limitations of the use of AI for scientific evaluation and present the results of an exploratory study on algorithmic grant review in high energy physics (Sikimić and Radovanović 2022). Moreover, I will argue that virtue epistemology – the theory of epistemic attitudes that are beneficial for our learning process – is a fruitful framework for reasoning about the use of AI in science. The virtue framework can help us maximize the epistemic benefits and eliminate the risks of advanced digital technologies through adopting appropriate attitudes and beliefs toward them. Link to the mentioned article: https://doi.org/10.1007/s13194-022-00478-6 Hope to see you there! The LIRa team

1 0

LIRa session: Vlasta Sikimić (Thursday, 16 March 16:30)
by LIRa Seminar 10 Mar '23

10 Mar '23

Dear all, We will have our next LIRa session on Thursday, 16 March 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: Vlasta Sikimić (University of Tubingen) Date and Time: Thursday, March 16th 2023, 16:30-18:00 Venue: KdVI seminar room F3.20 in Science Park 107 and online. Title: The use of AI in scientific evaluation through the lens of virtue theory Abstract. The use of AI in the process of scientific evaluation is becoming of more interest to funding agencies and research institutions. This method is faster and cheaper than the standard peer-review process. However, it comes with questions of both ethical and epistemic relevance, such as how to use this method in an epistemically reliable way and what its long-term consequences could be. I will discuss the benefits and limitations of the use of AI for scientific evaluation and present the results of an exploratory study on algorithmic grant review in high energy physics (Sikimić and Radovanović 2022). Moreover, I will argue that virtue epistemology – the theory of epistemic attitudes that are beneficial for our learning process – is a fruitful framework for reasoning about the use of AI in science. The virtue framework can help us maximize the epistemic benefits and eliminate the risks of advanced digital technologies through adopting appropriate attitudes and beliefs toward them. Link to the mentioned article: https://doi.org/10.1007/s13194-022-00478-6 Hope to see you there! The LIRa team

1 0

Joint LLAMA and LIRa session: Johan van Benthem and Nick Bezhanishvili (tomorrow, Thursday, 9 March 16:30)
by LIRa Seminar 08 Mar '23

08 Mar '23

Dear all, We will have a joint LLAMA-LIRa session tomorrow, on Thursday, 9 March 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. This will be a joint session together with the LLAMA seminar. Speakers: Johan van Benthem & Nick Bezhanishvili (ILLC, University of Amsterdam) Date and Time: Thursday, March 9th 2023, 16:30-18:00 Venue: ILLC seminar room F1.15 in Science Park 107 and online. Title: Modal Structures in Groups and Vector Spaces Abstract. We analyze modal definability and axiomatizability of modal reasoning in commutative groups and vector spaces, showing where standard modal notions apply and where the fit is less ideal. Our positive results include several completeness theorems using techniques from hybrid logic. In the process, we also identify broader connections with complex algebras, substructural logics, and logics of (in-)dependence. The talk is based on the recently published article Modal structures in groups and vector spaces, in the Journal of Logic and Computation (February 2023). open access: https://doi.org/10.1093/logcom/exac105 Hope to see you there! The LIRa team

1 0

Joint LLAMA and LIRa session: Johan van Benthem and Nick Bezhanishvili (Thursday, 9 March 16:30)
by LIRa Seminar 04 Mar '23

04 Mar '23

Dear all, We will have a joint LLAMA-LIRa session on Thursday, 9 March 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. This will be a joint session together with the LLAMA seminar. Speakers: Johan van Benthem & Nick Bezhanishvili (ILLC, University of Amsterdam) Date and Time: Thursday, March 9th 2023, 16:30-18:00 Venue: ILLC seminar room F1.15 in Science Park 107 and online. Title: Modal Structures in Groups and Vector Spaces Abstract. We analyze modal definability and axiomatizability of modal reasoning in commutative groups and vector spaces, showing where standard modal notions apply and where the fit is less ideal. Our positive results include several completeness theorems using techniques from hybrid logic. In the process, we also identify broader connections with complex algebras, substructural logics, and logics of (in-)dependence. The talk is based on the recently published article Modal structures in groups and vector spaces, in the Journal of Logic and Computation (February 2023). open access: https://doi.org/10.1093/logcom/exac105 Hope to see you there! The LIRa team

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

ILLC-LIRa March 2023