ILLC-LIRa

illc-lira@list.uva.nl

1 participants
582 discussions

Thursday LIRa Session: Alessandro Giordani
by LIRa Seminar 12 Feb '18

12 Feb '18

Dear all, This Thursday we will have our next LIRa session. Speaker: Alessandro Giordani (Catholic University of Milan) Date and Time: Thursday, February 15th 2018, 16:30-18:00 Venue: KdVI Seminar Room F3.20, Science Park 107. Title: Contrastive Epistemic Logic. Abstract. In standard epistemic logic we assume that knowledge at a world w can be represented as a set E(w) of epistemic scenarios, the ones that are indistinguishable by virtue of the agent’s body of evidence, and that a proposition is known at w provided that all the scenarios in this set are worlds in which that proposition holds, that is E(w) ⊆ [p], where [p] is the set of scenarios where p holds. This immediately implies that knowledge is closed under logical implication, so that it is impossible for an agent to know that p without knowing all the logical consequences of p. Both the basic semantic idea and the closure principle are put into question in contemporary epistemology since, if knowledge is defined along these lines, we can hardly know something, being typically unable to rule out all the epistemic scenarios in which a proposition is false. As a consequence, within the current epistemological debate the idea is explored that an agent can know a proposition even if her evidence set E(w) is not included in [p]. One of the prominent standpoints in this debate is Contrastivism: the position according to which to know that p coincides with knowing that this proposition is the correct answer to a certain question against a set of alternative answers, so that to know is to know the answer to a context-defining question. In the present talk I propose a coherent system of contrastive epistemic logic and show how it can be used to assess the main contrastivist thesis concerning the essence of knowledge. Hope to see you there! The LIRa team

1 0

Change to Room F3.20 our LIRa Session with Paul Dekker
by LIRa Seminar 01 Feb '18

01 Feb '18

Dear all, Today\'s LIRA session will be at ROOM F3.20. Speaker: Paul Dekker Date and Time: Thursday, February 1st 2018, 16:00-17:30 Venue: ILLC Seminar Room F3.20, Science Park 107. Title: Exclusively Indexical Predicate Logic. Abstract. In this talk I propose a way of redoing classical extensional logic in order to enable a better understanding of dynamic and intensional logic. I first present a propositional logic with only one operator of exclusion, and I then extend it to give a sound and complete characterization of the dynamic declaration of discourse referents and the essentially indexical means to refer back to them. We thus arrive at a parsimonious logic for \"dynamic\" languages like that of Discourse Representation Theory and Dynamic Predicate Logic, but also for computationally attractive languages employing typed feature structures and lexical frame templates. The system moreover holds promise for the proper treatment of names in intensional contexts. Hope to see you there! The LIRa team

1 0

Tomorrow LIRa Session: Paul Dekker
by LIRa Seminar 31 Jan '18

31 Jan '18

Dear all, Tomorrow we will have our next LIRA session. Speaker: Paul Dekker Date and Time: Thursday, February 1st 2018, 16:00-17:30 Venue: ILLC Seminar Room F3.23, Science Park 107. Title: Exclusively Indexical Predicate Logic. Abstract. In this talk I propose a way of redoing classical extensional logic in order to enable a better understanding of dynamic and intensional logic. I first present a propositional logic with only one operator of exclusion, and I then extend it to give a sound and complete characterization of the dynamic declaration of discourse referents and the essentially indexical means to refer back to them. We thus arrive at a parsimonious logic for \"dynamic\" languages like that of Discourse Representation Theory and Dynamic Predicate Logic, but also for computationally attractive languages employing typed feature structures and lexical frame templates. The system moreover holds promise for the proper treatment of names in intensional contexts. Hope to see you there! The LIRa team

1 0

CANCELLED LIRa Session today
by LIRa Seminar 18 Jan '18

18 Jan '18

Dear all, due to the storm today our speaker for the LIRa seminar will not make it to Amsterdam on time. Therefore today\'s LIRa seminar is CANCELLED. We hope to reschedule the talk and let you know the new date and time soon. best wishes, The LIRa team

1 0

Thursday: LIRa Session with Dominik Klein
by LIRa Seminar 16 Jan '18

16 Jan '18

Dear all, this week on Thursday we will have our next LIRa session. Speaker: Dominik Klein (University of Bayreuth) Date and Time: Thursday, January 18th 2018, 16:00-17:30 Venue: ILLC Seminar Room F1.15, Science Park 107. Title: In the Long Run we’re all Dead: On Kripke Models, Iterated Updates and Dynamic Systems. Abstract. In this talk, we explore the universe of iterated product updates. The talk has two main components. In the first part, we show how iterated product updates can be understood as a dynamic system. In particular, we equip the space of Kripke models with a metric and prove the resulting topology compact. We then show that product updates are continuous with respect to this metric, allowing to understand iterated updates as a discrete time dynamical systems. In the second part of the talk, we apply this apparatus to the case of iterated updates with one and the same event model. There, we expand on a result by Sadzik (2006) that answered a hypothesis by Johan van Benthem to the negative. Sadzik showed that there are pairs of a Kripke Model M and an event model E, such that the process of repeatedly updating M with E never stabilizes nor becomes cyclic. Using our metric based apparatus, we show that Sadzik’s example does, however, stabilize in the infinite, i.e. that the sequence converges to a unique limit point. In fact, we determine a set of conditions on E, the event model, under which iterated update converges in the limit. Finally, we show that Sadzik’s result has an infinite counterpart: There are event models E that, when iteratedly applied to a suitable Kripke model M, display nontrivial limit behavior. They do not converge to a single point nor a limit cycle in the infinite. This is joint work with Rasmus Rendsvig. Hope to see you there! The LIRa team

1 0

Today: LIRa session with Wesley Fussner
by LIRa Seminar 14 Dec '17

14 Dec '17

Dear all, Today we will have our last LIRa session of 2017 with Wesley Fussner. Speaker: Wesley Fussner (University of Denver) Date and Time: Thursday, December 14th 2017, 16:00-17:30 Venue: KdVI Seminar Room F3.20, Science Park 107. Title: Relational semantics for R-mingle Abstract: The relevance logic R-mingle extends the prototypical relevance logic R by the mingle axiom, and has been proposed by Dunn as a model for reasoning with inconsistent (but complete) information. In contrast to many other logics in the same family, R-mingle is complete with respect to a simple Kripke-style semantics, introduced by Dunn in 1970, that employs a binary accessibility relation. Owing to the success of the ternary, Routley-Meyer relational semantics for other relevance logics, this unusual situation has remained relatively unexplored. Here we introduce an Esakia-style duality for the algebraic models of R-mingle in order to explain this state of affairs, extending Dunn\'s binary relational semantics in much the same way that Esakia duality extends the Kripke semantics for intuitionistic logic. Time permitting, we also discuss how this duality theory reveals the relationship between the Dunn and Routley-Meyer semantics. Hope to see you there! The LIRa team

1 0

Today LIRa session room change!
by LIRa Seminar 07 Dec '17

07 Dec '17

Dear all, We changed the room to F2.03 (mathematics department seminar room). Hope to see you there! The LIRa team

1 0

Today: LIRa session with Malvin Gattinger
by LIRa Seminar 07 Dec '17

07 Dec '17

Dear all, Today we will have our LIRa session with: Speaker: Malvin Gattinger (ILLC, Amsterdam) Date and Time: Thursday, December 7th 2017, 16:00-17:30 Venue: ILLC Seminar Room F1.15, Science Park 107. Title: Call Me When You\'re Sober: Strengthening Dynamic Gossip Protocols. Abstract. Dynamic Gossip is a generalization of the classic telephone problem: Suppose you and your friends each know a secret. Whenever you make a phone call you tell each other all secrets you know. Moreover, at the beginning you might not know all phone numbers but you also learn new numbers from others, changing the reachability graph. Recent work focused on simple protocols like ``Learn New Secrets\'\' and has characterized their success conditions and execution length. These protocols sometimes fail because they ignore information available to the agents which would allow better coordination. Therefore, we study in which ways epistemic protocols for dynamic gossip can be strengthened, using epistemic logic as a simple protocol language with a new operator for protocol-dependent knowledge. This talk will give an introduction to the Dynamic Gossip problem and then present some new ideas on epistemic strengthenings of protocols. Joint work with Hans van Ditmarsch, Louwe B. Kuijer and Pere Pardo. Hope to see you there! The LIRa team

1 0

Tomorrow: LIRa session with Jana Wagemaker
by LIRa Seminar 06 Dec '17

06 Dec '17

Dear all, Tomorrow we will have our next LIRa session. Speaker: Jana Wagemaker Date and Time: Thursday, December 7th 2017, 16:00-17:30 Venue: ILLC Seminar Room F1.15, Science Park 107. Title: Gossip in NetKAT. Abstract. In this talk I will discuss my MoL thesis, where I combined the study of NetKAT with the study of dynamic gossip. NetKAT is a sound and complete network programming language based on Kleene algebra with tests, originally used to describe packets traveling through networks. It has a coalgebraic decision procedure deciding NetKAT equivalences. Dynamic gossip is a field in which it is studied how information spreads through a gossip graph, where the links in the gossip graph are changeable (dynamic). So far no sound and complete logic is available that describes dynamic gossip in a satisfactory way. In this talk we will discuss NetKAT in detail, and then explore the application of NetKAT to dynamic gossip. We will see that a change of perspective on NetKAT in which we keep track of the state of the switches in a network allows us to use NetKAT to model the Learn New Secrets Protocol, which is one of many gossip protocols. The addition to NetKAT to keep track of the state of switches is formalized and shown to remain sound and complete with respect to the packet-processing model. It is shown that the Dynamic Gossip notions of weak successfulness, strong successfulness and sun graph are formalizable in NetKAT and that an important theorem from Dynamic Gossip is also a theorem of NetKAT. Hope to see you there! The LIRa team

1 0

Tomorrow: LIRa session with Anthia Solaki
by LIRa Seminar 29 Nov '17

29 Nov '17

Dear all, Tomorrow we will have our next LIRa session. Speaker: Anthia Solaki (ILLC, Amsterdam) Date and Time: Thursday, November 30th 2017, 16:00-17:30 Venue: KdVI Seminar Room F3.20, Science Park 107. Title: Not so lost in the Wild: logical systems for resource-bounded reasoning. Abstract. Standard epistemic logic is often criticized on the grounds of the problem of logical omniscience: its agents are perfect reasoners with unlimited inferential power. We argue that the appropriate (normative) notion to focus on is that of moderate logical competence and the boundedness of resources is the important feature that determines it. We therefore build a non-standard framework that does justice to both the fallibility and the bounded reasoning of an agent. The former is achieved via the inclusion of impossible worlds to the traditional possible-worlds models. The latter is achieved by imposing suitable connections among the worlds and introducing actions that capture the agent\'s cognitively costly applications of inference rules. More specifically, it is shown that consequences of one\'s knowledge cannot be automatically and effortlessly ascribed to her. However, provided that she can afford to follow the right reasoning path, she can eventually navigate in the Wild and get to know some of them. We also develop non-standard plausibility models to account for the interaction between internal deductive reasoning and the external information the agent receives. A reduction of models to awareness-like structures is devised so that standard modal logic techniques can be exploited to obtain sound and complete axiomatizations. Finally, we discuss connections of these logical systems to dual-process theories of reasoning and give a formal treatment to some of their real-life manifestations. Hope to see you there! The LIRa team

1 0

← Newer
1
...
42
43
44
45
46
47
48
...
59
Older →

Jump to page:

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

ILLC-LIRa