ILLC-LIRa June 2022

illc-lira@list.uva.nl

1 participants
7 discussions

LIRa session: Réka Markovich (tomorrow, Thursday, 30 June 16:30)
by LIRa Seminar 29 Jun '22

29 Jun '22

Dear all, We will have our next LIRa session tomorrow, on Thursday, 30 June 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: Réka Markovich (University of Luxembourg) Date and Time: Thursday, June 30th 2022, 16:30-18:00, Amsterdam time. Venue: online. Title: Multi-modal Logics for the Conceptual Analysis of Epistemic Rights Abstract. The Deontic Logic for Epistemic Rights (DELIGHT) project proposes to combine existing and develop new logics for reasoning about epistemic rights as normative positions. In this talk, I introduce the background theory of normative positions and the notion of epistemic rights, and show how we have used different multi-modal logics for the analysis of freedom of thought and the right to know. Hope to see you there! The LIRa team

1 0

LIRa session: Réka Markovich (Thursday, 30 June 16:30)
by LIRa Seminar 24 Jun '22

24 Jun '22

Dear all, We will have our next LIRa session on Thursday, 30 June 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: Réka Markovich (University of Luxembourg) Date and Time: Thursday, June 30th 2022, 16:30-18:00, Amsterdam time. Venue: online. Title: Multi-modal Logics for the Conceptual Analysis of Epistemic Rights Abstract. The Deontic Logic for Epistemic Rights (DELIGHT) project proposes to combine existing and develop new logics for reasoning about epistemic rights as normative positions. In this talk, I introduce the background theory of normative positions and the notion of epistemic rights, and show how we have used different multi-modal logics for the analysis of freedom of thought and the right to know. Hope to see you there! The LIRa team

1 0

LIRa Session: Gaia Belardinelli (tomorrow, Thursday, 23 June 16:30)
by LIRa Seminar 22 Jun '22

22 Jun '22

Dear all, We will have our next LIRa session tomorrow, on Thursday, 23 June 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: Gaia Belardinelli (University of Copenhagen) Date and Time: Thursday, June 23rd 2022, 16:30-18:00, Amsterdam time. Venue: online. Title: The dark side of knowledge: modeling implicit cognition in unawareness structures. Abstract. There are different notions of implicit knowledge in psychology, sociology, philosophy, logic, computer science, etc. A common feature is that they refer to knowledge that lies in some "dark" (non-explicit) level of awareness. Unawareness structures by Heifetz et al. (2006, 2008) are event-based models featuring a complete lattice of state-spaces. The spaces are used to represent different awareness levels, which makes these structures naturally suited to represent various implicit knowledge notions. Yet, so far, unawareness structures only include a notion of explicit knowledge. In this talk, we first show how to define implicit knowledge à la Fagin-Halpern (1988) in unawareness structures, by deriving it from explicit knowledge. Second, we use a notion of awareness bisimulation contraction, based on awareness bisimulation by van Ditmarsch et al. (2018), to construct an unawareness structure from a Fagin-Halpern '88 awareness model (and vice versa), and prove their formula equivalence with respect to a language for implicit and explicit knowledge and awareness. Third, we extend unawareness structures to include a notion of tacit knowledge à la Polanyi (1962, 1966), and point at future directions of this project, such as how to empirically identify and thus reveal an agent's tacit knowledge from her actions, or how to weaken the strong S5 notion of implicit knowledge to capture more descriptive phenomena such as implicit biases. This is joint work with Burkhard C. Schipper. Hope to see you there! The LIRa team

1 0

LIRa Session: Gaia Belardinelli (Thursday, 23 June 16:30)
by LIRa Seminar 17 Jun '22

17 Jun '22

Dear all, We will have our next LIRa session on Thursday, 23 June 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: Gaia Belardinelli (University of Copenhagen) Date and Time: Thursday, June 23rd 2022, 16:30-18:00, Amsterdam time. Venue: online. Title: The dark side of knowledge: modeling implicit cognition in unawareness structures. Abstract. There are different notions of implicit knowledge in psychology, sociology, philosophy, logic, computer science, etc. A common feature is that they refer to knowledge that lies in some "dark" (non-explicit) level of awareness. Unawareness structures by Heifetz et al. (2006, 2008) are event-based models featuring a complete lattice of state-spaces. The spaces are used to represent different awareness levels, which makes these structures naturally suited to represent various implicit knowledge notions. Yet, so far, unawareness structures only include a notion of explicit knowledge. In this talk, we first show how to define implicit knowledge à la Fagin-Halpern (1988) in unawareness structures, by deriving it from explicit knowledge. Second, we use a notion of awareness bisimulation contraction, based on awareness bisimulation by van Ditmarsch et al. (2018), to construct an unawareness structure from a Fagin-Halpern '88 awareness model (and vice versa), and prove their formula equivalence with respect to a language for implicit and explicit knowledge and awareness. Third, we extend unawareness structures to include a notion of tacit knowledge à la Polanyi (1962, 1966), and point at future directions of this project, such as how to empirically identify and thus reveal an agent's tacit knowledge from her actions, or how to weaken the strong S5 notion of implicit knowledge to capture more descriptive phenomena such as implicit biases. This is joint work with Burkhard C. Schipper. Hope to see you there! The LIRa team

1 0

LIRa session: Krisztina Fruzsa (tomorrow, Thursday, 9 June 16:30)
by LIRa Seminar 08 Jun '22

08 Jun '22

Dear all, We will have our next LIRa session tomorrow, on Thursday, 9 June 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: Krisztina Fruzsa (TU Wien) Date and Time: Thursday, June 9th 2022, 16:30-18:00, Amsterdam time. Venue: online. Title: New hope for epistemic reasoning in byzantine fault-tolerant distributed systems. Abstract. The epistemic approach to the study of various models of distributed systems has shown to be fruitful over the last three decades. In this talk, I will present some of the results in the area w.r.t. the byzantine fault-tolerant model. By extending Fagin et al.’s classic runs-and-systems framework, we have developed a comprehensive framework that also allows modelling misbehaviours of byzantine agents. In this extended framework, we prove the so-called Brain-in-a-Vat Lemma (formalizing the brain-in-a-vat scenario), one of our central results. In this talk we will take a closer look at this result to see how using its various knowledge limitations can be represented in the logical language. We will also take a look at some of our most recent results on the topic, one of them being an alternative axiomatization of the so-called hope modality that has been introduced in the context of epistemic analysis of byzantine fault-tolerant systems. We will see that, essentially, hope can be described using a standard KB4_n system. We will also see how we can combine KB4_n hope modalities with S5_n knowledge modalities in a joint logic enriched with both common hope and common knowledge. Interestingly, in the corresponding logics some of the main properties of the above-mentioned systems such as the bound on the maximal number of byzantine faulty agents and the brain-in-a-vat related properties become frame-characterizable. Hope to see you there! The LIRa team

1 0

LIRa session: Krisztina Fruzsa (Thursday, 9 June 16:30)
by LIRa Seminar 05 Jun '22

05 Jun '22

Dear all, We will have our next LIRa session on Thursday, 9 June 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: Krisztina Fruzsa (TU Wien) Date and Time: Thursday, June 9th 2022, 16:30-18:00, Amsterdam time. Venue: online. Title: New hope for epistemic reasoning in byzantine fault-tolerant distributed systems. Abstract. The epistemic approach to the study of various models of distributed systems has shown to be fruitful over the last three decades. In this talk, I will present some of the results in the area w.r.t. the byzantine fault-tolerant model. By extending Fagin et al.’s classic runs-and-systems framework, we have developed a comprehensive framework that also allows modelling misbehaviours of byzantine agents. In this extended framework, we prove the so-called Brain-in-a-Vat Lemma (formalizing the brain-in-a-vat scenario), one of our central results. In this talk we will take a closer look at this result to see how using its various knowledge limitations can be represented in the logical language. We will also take a look at some of our most recent results on the topic, one of them being an alternative axiomatization of the so-called hope modality that has been introduced in the context of epistemic analysis of byzantine fault-tolerant systems. We will see that, essentially, hope can be described using a standard KB4_n system. We will also see how we can combine KB4_n hope modalities with S5_n knowledge modalities in a joint logic enriched with both common hope and common knowledge. Interestingly, in the corresponding logics some of the main properties of the above-mentioned systems such as the bound on the maximal number of byzantine faulty agents and the brain-in-a-vat related properties become frame-characterizable. Hope to see you there! The LIRa team

1 0

LIRa Session: Gregor Behnke (tomorrow, Thursday, 2 June 16:30)
by LIRa Seminar 01 Jun '22

01 Jun '22

Dear all, We will have our next LIRa session tomorrow, on Thursday, 2 June 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: Gregor Behnke (ILLC, University of Amsterdam) Date and Time: Thursday, June 2nd 2022, 16:30-18:00, Amsterdam time. Venue: online. Title: Planning with Temporally extended Goals Abstract. Planning asks to find a sequence of actions that will lead to achieving a given objective. Traditionally, this means that we are given an initial state (in terms of facts over some function-free first-order logic), (first-order) actions that can modify the state, and a goal state. This goal state is described in terms of a set of facts that we want to achieve simultaneously in the last state after executing the whole plan. In some scenarios this simple definition of the objective as a single goal state does not suffice. For example, we might want to describe that we shall first achieve objective A and only afterwards B, or that we want to achieve A without ever achieving B in the mean time. Further one might also want to describe infinite behaviour, i.e., a plan for running a factory machine indefinitely. For this purpose, the description of the objective can be formulated using Temporal Logic -- and are then called "Temporally Extended Goals". In the talk, I will give a brief introduction into planning. I will then turn to the way that temporally extended goals are usually described in planning and discuss the connection of this description language with Linear Temporal Logic. Lastly, I will give a brief overview of the possible ways to integrate Temporally Extended Goals into the planning process. Hope to see you there! The LIRa team

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

ILLC-LIRa June 2022