ILLC-LIRa September 2020

illc-lira@list.uva.nl

2 participants
6 discussions

Symposium retirement Jos Baeten (Cancelled)
by LIRa Seminar 30 Sep '20

30 Sep '20

Dear all, It is with great regret that CWI and ILLC had to inform us that Jos Baetens retirement symposium, scheduled for tomorrow, has been cancelled because of tighter coronavirus restrictions in the Netherlands. Best, The LIRa team

1 0

(Online) Symposium retirement Jos Baeten
by LIRa Seminar 25 Sep '20

25 Sep '20

Dear all, On October 1st, CWI and ILLC are organizing a symposium on the occasion of the retirement of Jos Baeten. A live video stream of the symposium will be offered by CWI. The program of the symposition is available here: https://www.cwi.nl/events/2020/farewell-symposium-jos-baeten/symposium-reti…. At 16h30 Jos Baeten is scheduled to give his presentation. Hope to see you there! The LIRa team

1 0

LIRa session (online only): Malvin Gattinger
by LIRa Seminar 23 Sep '20

23 Sep '20

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). Speaker: Malvin Gattinger Date and Time: Thursday, September 24th 2020, 16:30-18:30, Amsterdam time. Venue: online. Title: Shifting perspectives without possible worlds Abstract. Recent work on Epistemic Planning uses Dynamic Epistemic Logic to solve multi-agent planning problems. For this it is often necessary to compute perspective shifts to let agents take into account the knowledge of others. So far, these perspective shifts are usually defined on explicit Kripke models which may grow exponentially. This talk will discuss methods to compute perspective shifts without explicit Kripke models. Instead, we will define perspective shifting on symbolic structures and succinct models. Both are compact representations from previous literature showing how to speed up model checking DEL. Our new definitions thus aim to make multi-agent epistemic planning more efficient in the future. Time permitting, we will also show how symbolic perspective shifting is implemented in SMCDEL. Hope to see you there! The LIRa team

1 0

LIRa session (online only): Malvin Gattinger
by LIRa Seminar 18 Sep '20

18 Sep '20

Dear all, We will have our next LIRa session on Thursday, September 24th. Our speaker is Malvin Gattinger. 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: Malvin Gattinger Date and Time: Thursday, September 24th 2020, 16:30-18:30, Amsterdam time. Venue: online. Title: Shifting perspectives without possible worlds Abstract. Recent work on Epistemic Planning uses Dynamic Epistemic Logic to solve multi-agent planning problems. For this it is often necessary to compute perspective shifts to let agents take into account the knowledge of others. So far, these perspective shifts are usually defined on explicit Kripke models which may grow exponentially. This talk will discuss methods to compute perspective shifts without explicit Kripke models. Instead, we will define perspective shifting on symbolic structures and succinct models. Both are compact representations from previous literature showing how to speed up model checking DEL. Our new definitions thus aim to make multi-agent epistemic planning more efficient in the future. Time permitting, we will also show how symbolic perspective shifting is implemented in SMCDEL. Hope to see you there! The LIRa team

1 0

LIRa session (online only): Dominik Klein
by LIRa Seminar 16 Sep '20

16 Sep '20

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). Speaker: Dominik Klein Date and Time: Thursday, September 17th 2020, 16:30-18:30, Amsterdam time. Venue: online. Title: Four-Valued Probabilities Abstract. First degree entailment (fde) is a four valued propositional logic that complements the classical truth values True and False with two non-classical truth values Neither and Both. The latter two account for the possibility of the available information being incomplete or containing contradictory evidence about some proposition. In this talk, we present a probabilistic extension of fde, i.e. we allow agents to have probabilistic beliefs about the truth and falsity of a proposition. More specifically, we present two probabilistic versions of fde, one related to the bi-relational, the other to the four-valued semantics of first degree entailment. We provide sound and complete axiomatizations for both and identify a translation function between the two frameworks. Moreover, we identify policies for conditionalization and aggregation on the probability functions defined. More specifically, we analyze four-valued equivalents of Bayes’ and Jeffrey updating and also provide policies for aggregating information from different sources. This is joint work with Soroush Rafiee Rad and Ondrej Majer. Hope to see you there! The LIRa team

1 0

LIRa session (online only): Dominik Klein
by LIRa Seminar 11 Sep '20

11 Sep '20

Dear all, LIRa is back! We will have our next LIRa session on Thursday, September 17th. Our speaker is Dominik Klein. 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: Dominik Klein Date and Time: Thursday, September 17th 2020, 16:30-18:30, Amsterdam time. Venue: online. Title: Four-Valued Probabilities Abstract. First degree entailment (fde) is a four valued propositional logic that complements the classical truth values True and False with two non-classical truth values Neither and Both. The latter two account for the possibility of the available information being incomplete or containing contradictory evidence about some proposition. In this talk, we present a probabilistic extension of fde, i.e. we allow agents to have probabilistic beliefs about the truth and falsity of a proposition. More specifically, we present two probabilistic versions of fde, one related to the bi-relational, the other to the four-valued semantics of first degree entailment. We provide sound and complete axiomatizations for both and identify a translation function between the two frameworks. Moreover, we identify policies for conditionalization and aggregation on the probability functions defined. More specifically, we analyze four-valued equivalents of Bayes’ and Jeffrey updating and also provide policies for aggregating information from different sources. This is joint work with Soroush Rafiee Rad and Ondrej Majer. . Hope to see you there! The LIRa team

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

ILLC-LIRa September 2020