ILLC-LIRa

illc-lira@list.uva.nl

1 participants
582 discussions

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

Workshop NetReason@ECAI2020: Reasoning about Social Networks
by LIRa Seminar 17 Aug '20

17 Aug '20

Dear all, Everyone is warmly invited to attend the online workshop on reasoning about social networks as part of ECAI2020. The workshop takes place on 7 September 2020 from 10h till 15h. You can sign up for ECAI2020 online via https://digital.ecai2020.eu/sign-up/. The NETREASON workshop focuses on the issues of information spread in a social network of natural and artificial agents as studied by the emerging interdisciplinary field of multi-agent systems, reasoning and social network analysis. The workshop hosts 10 interesting talks, the schedule is already online at: https://netreason.w.uib.no/schedule/ On behalf of the organizers: Marija Slavkovik (Univ. Bergen, Norway), Sonja Smets (Univ. Amsterdam, The Netherlands) and Giuseppe Primiero (Univ. Degli Studi di Milano, Italy) The LIRa team

1 0

LIRa session (online only): Thomas Bolander and Lasse Dissing
by LIRa Seminar 24 Jun '20

24 Jun '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, Password: 036024) You can find the details of the talk below and the guidelines for our online sessions here: https://projects.illc.uva.nl/lgc/seminar/guidelines-for-online-sessions/ Speaker: Thomas Bolander and Lasse Dissing Date and Time: Thursday, June 25th 2020, 16:30-18:00, Amsterdam time. Venue: online. Title: Implementing Theory of Mind on a Robot Using Dynamic Epistemic Logic Abstract. Previous research has claimed dynamic epistemic logic (DEL) to be a suitable formalism for representing essential aspects of a Theory of Mind (ToM) for autonomous agents. This includes the ability of the formalism to represent the reasoning involved in false-belief tasks of arbitrary order, and hence for autonomous agents based on the formalism to become able to pass such tests. We provide evidence for the claims by presenting the implementation of a DEL-based reasoning system on a humanoid robot (the Pepper robot by Softbank Robotics). Our implementation allows the robot to perform cognitive perspective-taking, in particular to reason about the first- and higher-order beliefs of other agents. We demonstrate how this allows the robot to pass a quite general class of false-belief tasks involving human agents. Additionally, it allows the robot to proactively provide human agents with relevant information in situations where a system without ToM-abilities would fail. The symbolic grounding problem of turning robotic sensor input into logical action descriptions in DEL is achieved via a perception system based on deep neural networks. Hope to see you there! The LIRa team

1 0

LIRa session (online only): Thomas Bolander and Lasse Dissing
by LIRa Seminar 19 Jun '20

19 Jun '20

Dear all, We will have our next LIRa session on Thursday, June 25th. Our speakers are Thomas Bolander and Lasse Dissing. You can find the details of the talk below. As usual, the talk will be followed by (online) drinks. We will use our recurring zoom link:: https://uva-live.zoom.us/j/92907704256?pwd=anY3WkFmQVhLZGhjT2JXMlhjQVl1dz09 (Meeting ID: 929 0770 4256, Password: 036024) Speaker: Thomas Bolander and Lasse Dissing Date and Time: Thursday, June 25th 2020, 16:30-18:00, Amsterdam time. Venue: online. Title: Implementing Theory of Mind on a Robot Using Dynamic Epistemic Logic Abstract. Previous research has claimed dynamic epistemic logic (DEL) to be a suitable formalism for representing essential aspects of a Theory of Mind (ToM) for autonomous agents. This includes the ability of the formalism to represent the reasoning involved in false-belief tasks of arbitrary order, and hence for autonomous agents based on the formalism to become able to pass such tests. We provide evidence for the claims by presenting the implementation of a DEL-based reasoning system on a humanoid robot (the Pepper robot by Softbank Robotics). Our implementation allows the robot to perform cognitive perspective-taking, in particular to reason about the first- and higher-order beliefs of other agents. We demonstrate how this allows the robot to pass a quite general class of false-belief tasks involving human agents. Additionally, it allows the robot to proactively provide human agents with relevant information in situations where a system without ToM-abilities would fail. The symbolic grounding problem of turning robotic sensor input into logical action descriptions in DEL is achieved via a perception system based on deep neural networks. Hope to see you there! The LIRa team

1 0

LIRa session (online only): Jörg Endrullis
by LIRa Seminar 17 Jun '20

17 Jun '20

1 0

LIRa session (online only): Jörg Endrullis
by LIRa Seminar 12 Jun '20

12 Jun '20

Dear all, We will have our next LIRa session on Thursday, June 18th. Our speaker is Jörg Endrullis. You can find the details of the talk below. As usual, the talk will be followed by (online) drinks. We will use our recurring zoom link:: https://uva-live.zoom.us/j/92907704256?pwd=anY3WkFmQVhLZGhjT2JXMlhjQVl1dz09 (Meeting ID: 929 0770 4256, Password: 036024) Speaker: Jörg Endrullis Date and Time: Thursday, June 18th 2020, 16:30-18:00, Amsterdam time. Venue: online. Title: Syllogistic Logic with \"Most\" Abstract. We add Most X are Y to the syllogistic logic of All X are Y and Some X are Y. We prove soundness, completeness, and decidability in polynomial time. Our logic has infinitely many rules, and we prove that this is unavoidable. This is joint work with Larry Moss. Hope to see you there! The LIRa team

1 0

LIRa session (online only): Tobias Blanke
by LIRa Seminar 10 Jun '20

10 Jun '20

Dear all, Tomorrow we will have our next LIRa session. We will be using the following recurring zoom meeting: https://uva-live.zoom.us/j/92907704256?pwd=anY3WkFmQVhLZGhjT2JXMlhjQVl1dz09 (Meeting ID: 929 0770 4256, Password: 036024) You can find the details of the talk below and the guidelines for our online sessions here: https://projects.illc.uva.nl/lgc/seminar/guidelines-for-online-sessions/ Speaker: Tobias Blanke Date and Time: Thursday, June 11th 2020, 16:30-18:00, Amsterdam time. Venue: online. Title: Where are the humanities in AI research? – a research agenda Abstract. The talk will try to ask the question where the humanities are in AI research. I will follow their historical position but mainly focus on their contemporary relevance with specific research questions and interests targeting developments in digital culture and society. The digital devices we develop need to focus on the critical study of society. This includes algorithmic criticism but also the study of platformisation through critical hacking, to name but a few. Hope to see you there! The LIRa team

1 0

← Newer
1
...
26
27
28
29
30
31
32
...
59
Older →

Jump to page:

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

ILLC-LIRa