ILLC-LIRa January 2021

illc-lira@list.uva.nl

2 participants
8 discussions

LIRa Session: Sophia Knight
by LIRa Seminar 30 Jan '21

30 Jan '21

Dear all, We will have our next LIRa session on Thursday, February 4th. Our speaker is Sophia Knight. You can find the details of the talk below. We will use our recurring zoom link: https://uva-live.zoom.us/j/92907704256?pwd=anY3WkFmQVhLZGhjT2JXMlhjQVl1dz09 (Meeting ID: 929 0770 4256, Passcode: 036024). Speaker: Sophia Knight Date and Time: Thursday, February 4th 2021, 16:30-18:00, Amsterdam time. Venue: online. Title: Reasoning about agents who may know other agents’ strategies in Strategy Logic. Abstract. In this talk I will discuss some new developments in Strategy Logic with imperfect information. Strategy Logic is concerned with agents\' strategic abilities in multi-agent systems, and unlike ATL, treats strategies as first-class objects in the logic, independent from the agents. Thus, in imperfect information settings, Strategy Logic raises delicate issues, such as what agents know about one another\'s strategies. I will describe a new version of Strategy Logic that ensures that agents\' strategies are uniform, and allows a formal description of their knowledge about each other\'s strategies. Hope to see you there! The LIRa team

1 0

LIRa Session: Claudia Fernández-Fernández
by LIRa Seminar 27 Jan '21

27 Jan '21

Dear all, We will have our next LIRa session tomorrow. We will use our recurring zoom link: https://uva-live.zoom.us/j/92907704256?pwd=anY3WkFmQVhLZGhjT2JXMlhjQVl1dz09 (Meeting ID: 929 0770 4256, Passcode: 036024). You can find the details below. Speaker: Claudia Fernández-Fernández Date and Time: Thursday, January 28th 2021, 16:30-18:30, Amsterdam time. Venue: online. Title: Awareness in Logic and Epistemology. Abstract. In this talk, I will present the main topics of my book ‘Awareness in Logic and Epistemology. A conceptual schema and logical study of the underlying main epistemic concepts.’ (for more information see https://www.springer.com/gp/book/9783030696054). Inspired by the contemporary approaches to the dynamics of information that include the notion of ‘awareness’ (and similar concepts) in their system, I have developed a conceptual schema that analyses, from a theoretical and/or philosophical point of view, the main notions these systems employ. During the talk I will include a general overview of the main topics (theoretical and formal) that this book entail and will enter into more detail while presenting the conceptual schema centred in the notions of ‘Awareness’ (-of and -that), ‘(explicit) Knowledge’ and ‘Justification’. My research interests pursue as their main goal the connections between Epistemic Logic and Epistemology as well as between the formal approaches in the dynamics of information and the Philosophy of Logic. Hope to see you there! The LIRa team

1 0

LIRa Session: Claudia Fernández-Fernández
by LIRa Seminar 22 Jan '21

22 Jan '21

Dear all, We will have our next LIRa session on Thursday, January 28th. Our speaker is Claudia Fernández-Fernández. You can find the details of the talk below. We will use our recurring zoom link: https://uva-live.zoom.us/j/92907704256?pwd=anY3WkFmQVhLZGhjT2JXMlhjQVl1dz09 (Meeting ID: 929 0770 4256, Passcode: 036024). Speaker: Claudia Fernández-Fernández Date and Time: Thursday, January 28th 2021, 16:30-18:30, Amsterdam time. Venue: online. Title: Awareness in Logic and Epistemology. Abstract. In this talk, I will present the main topics of my book ‘Awareness in Logic and Epistemology. A conceptual schema and logical study of the underlying main epistemic concepts.’ (for more information see https://www.springer.com/gp/book/9783030696054). Inspired by the contemporary approaches to the dynamics of information that include the notion of ‘awareness’ (and similar concepts) in their system, I have developed a conceptual schema that analyses, from a theoretical and/or philosophical point of view, the main notions these systems employ. During the talk I will include a general overview of the main topics (theoretical and formal) that this book entail and will enter into more detail while presenting the conceptual schema centred in the notions of ‘Awareness’ (-of and -that), ‘(explicit) Knowledge’ and ‘Justification’. My research interests pursue as their main goal the connections between Epistemic Logic and Epistemology as well as between the formal approaches in the dynamics of information and the Philosophy of Logic. Hope to see you there! The LIRa team

1 0

LIRa Session: Rafał Gruszczyński
by LIRa Seminar 20 Jan '21

20 Jan '21

Dear all, We will have our next LIRa session tomorrow. We will use our recurring zoom link: https://uva-live.zoom.us/j/92907704256?pwd=anY3WkFmQVhLZGhjT2JXMlhjQVl1dz09 (Meeting ID: 929 0770 4256, Passcode: 036024). You can find the details below. Speaker: Rafał Gruszczyński Date and Time: Thursday, January 21st 2021, 16:30-18:30, Amsterdam time. Venue: online. Title: Galileo\'s thought experiment in mereological setting. Abstract. In the talk, I would like to present a formalization of Galileo’s argument against the Aristotelian view that the weight of free-falling bodies influences their speed. The formalization witnesses the application of concepts of parthood and mereological sum, and recognizes a particular principle that is not explicitly formulated by the Italian thinker but seems natural and helpful in understanding the logical mechanism behind Galileo’s train of thought. To locate the formalization in a broader perspective of philosophy of science, I will analyze and compare two main approaches to the nature of thought experiments: Platonic view versus thought-experiment-as-argument view. Hope to see you there! The LIRa team

1 0

LIRa Session: Rafał Gruszczyński
by LIRa Seminar 15 Jan '21

15 Jan '21

Dear all, We will have our next LIRa session on Thursday, January 21st. Our speaker is Rafał Gruszczyński. You can find the details of the talk below. We will use our recurring zoom link: https://uva-live.zoom.us/j/92907704256?pwd=anY3WkFmQVhLZGhjT2JXMlhjQVl1dz09 (Meeting ID: 929 0770 4256, Passcode: 036024). Speaker: Rafał Gruszczyński Date and Time: Thursday, January 21st 2021, 16:30-18:30, Amsterdam time. Venue: online. Title: Galileo\'s thought experiment in mereological setting. Abstract. In the talk, I would like to present a formalization of Galileo’s argument against the Aristotelian view that the weight of free-falling bodies influences their speed. The formalization witnesses the application of concepts of parthood and mereological sum, and recognizes a particular principle that is not explicitly formulated by the Italian thinker but seems natural and helpful in understanding the logical mechanism behind Galileo’s train of thought. To locate the formalization in a broader perspective of philosophy of science, I will analyze and compare two main approaches to the nature of thought experiments: Platonic view versus thought-experiment-as-argument view. Hope to see you there! The LIRa team

1 0

Announcement: blogpost on the occasion of the World Logic Day
by LIRa Seminar 14 Jan '21

14 Jan '21

Dear all, On the occasion of the World Logic Day, the ILLC blogger Iris Proff interviewed Alexandru and Sonja. Please find the result of the interview at the following link: https://resources.illc.uva.nl/illc-blog/the-madness-of-the-crowds/ For more details, you can find a presentation by Alexandru about the fate of truth in the age of information here: https://www.dropbox.com/s/mfbdfyxpx4xj2b0/VIRAL.pptx?dl=0. Hope you will enjoy it! The LIRa team

1 0

LIRa Session: Brian Logan
by LIRa Seminar 13 Jan '21

13 Jan '21

Dear all, We will have our next LIRa session tomorrow, which also gives us a great opportunity to celebrate the World Logic Day together! We will use our recurring zoom link: https://uva-live.zoom.us/j/92907704256?pwd=anY3WkFmQVhLZGhjT2JXMlhjQVl1dz09 (Meeting ID: 929 0770 4256, Passcode: 036024). You can find the details below. Speaker: Brian Logan Date and Time: Thursday, January 14th 2021, 16:30-18:30, Amsterdam time. Venue: online. Title: Intention Progression in Multi-Agent Settings. Abstract. A key problem for rational agents is \'what do do next\': which goal the agent should be trying to achieve, and which means it should use to achieve it. In the Belief-Desire-Intention approach to agents, this is termed the \'intention progression problem\', and has largely been studied in a single agent setting. In this talk, I will briefly present some recent work on techniques for progressing the intentions of agents in a multi-agent setting, where each agent is aware (or partially aware) of the intentions of other agents. The approach uses online learning (Monte Carlo Tree Search) to infer the likely actions of other agents, and can be applied in cooperative, neutral (selfish) and adversarial settings. Hope to see you there! The LIRa team

1 0

LIRa Session on World Logic Day: Brian Logan
by LIRa Seminar 08 Jan '21

08 Jan '21

Dear all, The LIRa seminar is back and we are all very excited to have our first online LIRa session for 2021 on the World Logic Day, Thursday, January 14th! Our speaker is Brian Logan. You can find the details of the talk below. We will use our recurring zoom link: https://uva-live.zoom.us/j/92907704256?pwd=anY3WkFmQVhLZGhjT2JXMlhjQVl1dz09 (Meeting ID: 929 0770 4256, Passcode: 036024). More on WLD can be found here: http://wld.cipsh.international/index.html Speaker: Brian Logan Date and Time: Thursday, January 14th 2021, 16:30-18:30, Amsterdam time. Venue: online. Title: Intention Progression in Multi-Agent Settings. Abstract. A key problem for rational agents is \'what do do next\': which goal the agent should be trying to achieve, and which means it should use to achieve it. In the Belief-Desire-Intention approach to agents, this is termed the \'intention progression problem\', and has largely been studied in a single agent setting. In this talk, I will briefly present some recent work on techniques for progressing the intentions of agents in a multi-agent setting, where each agent is aware (or partially aware) of the intentions of other agents. The approach uses online learning (Monte Carlo Tree Search) to infer the likely actions of other agents, and can be applied in cooperative, neutral (selfish) and adversarial settings. Hope to see you there! Best wishes for 2021! The LIRa team

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

ILLC-LIRa January 2021