ILLC-LIRa January 2020

illc-lira@list.uva.nl

1 participants
3 discussions

LIRa session: Johan van Benthem
by LIRa Seminar 31 Jan '20

31 Jan '20

Dear all, We will have our next LIRa session on Thursday, February 6th 2020. Our speaker is Johan van Benthem. Please, find more details below: Speaker: Johan van Benthem Date and Time: Thursday, February 6th 2020, 16:30-18:00 Venue: ILLC Seminar Room F1.15, Science Park 107. Title: A Minimal Classical Logic of Functional Dependence Abstract. Dependence is a ubiquitous notion in science and daily life, and several logical approaches exist for capturing its basic properties. In this talk, we analyze dependence reasoning using a simple decidable logic of functional dependence LFD, based on an extension of classical propositional logic with dependence atoms and dependence quantifiers, modeled in the setting of generalized assignment semantics for FOL. The logic’s expressive strength, complete proof calculus and meta-properties are sketched. Also some language extensions are explored, as well as boundaries with undecidable logics for independence. Finally, connections are discussed with more concrete settings for dependence, including linear dependence in vector spaces, and temporal dependence in dynamical systems and games. Further technical details and topics will be presented by Alexandru Baltag in a follow-up LIRA talk. Hope to see you there! The LIRa team

1 0

LIRa session: Dazhu Li (unusual time)
by LIRa Seminar 22 Jan '20

22 Jan '20

Dear all, Tomorrow we will have our next LIRa session. Please, find the details below: Speaker: Dazhu Li Date and Time: Thursday, January 23rd 2020, 17:00-18:30 (Note the unusual starting time) Venue: ILLC Seminar Room F1.15, Science Park 107. Title: On the Right Path: A Modal Logic for Supervised Learning. Abstract. Formal learning theory formalizes the process of inferring a general result from examples, as in the case of inferring grammars from sentences when learning a language. Although empirical evidence suggests that children can learn a language without responding to the correction of linguistic mistakes, the importance of Teacher in many other paradigms is significant. Instead of focusing only on learner(s), this work develops a general framework --- supervised learning game (SLG) --- to investigate the interaction between Teacher and Learner. In particular, our proposal highlights several interesting features of the agents: on the one hand, Learner may make mistakes in the process of learning, and she may also ignore the potential relation between different hypotheses; on the other hand, Teacher is able to correct Learner\'s mistakes, eliminate Learner\'s mistakes and point out the facts ignored by Learner. To reason about strategies in this game, we develop a modal logic of supervised learning (SLL), and study its properties. Broadly, this work takes a small step toward studying the interaction between graph games, logics and formal learning theory. Hope to see you there! The LIRa team

1 0

LIRa session: Dazhu Li (unusual time)
by LIRa Seminar 17 Jan '20

17 Jan '20

Dear all, LIRa is back! We will have our first talk for 2020 on Thursday, January 23rd. Our speaker is Dazhu Li and you may find the details below: Speaker: Dazhu Li Date and Time: Thursday, January 23rd 2020, 17:00-18:30 (Note the unusual starting time) Venue: ILLC Seminar Room F1.15, Science Park 107. Title: On the Right Path: A Modal Logic for Supervised Learning. Abstract. Formal learning theory formalizes the process of inferring a general result from examples, as in the case of inferring grammars from sentences when learning a language. Although empirical evidence suggests that children can learn a language without responding to the correction of linguistic mistakes, the importance of Teacher in many other paradigms is significant. Instead of focusing only on learner(s), this work develops a general framework --- supervised learning game (SLG) --- to investigate the interaction between Teacher and Learner. In particular, our proposal highlights several interesting features of the agents: on the one hand, Learner may make mistakes in the process of learning, and she may also ignore the potential relation between different hypotheses; on the other hand, Teacher is able to correct Learner\'s mistakes, eliminate Learner\'s mistakes and point out the facts ignored by Learner. To reason about strategies in this game, we develop a modal logic of supervised learning (SLL), and study its properties. Broadly, this work takes a small step toward studying the interaction between graph games, logics and formal learning theory. Hope to see you there! The LIRa team

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

ILLC-LIRa January 2020