ILLC-LIRa March 2016

illc-lira@list.uva.nl

1 participants
8 discussions

Tomorrow: LIRa session: Nils Bulling
by LIRa Seminar 31 Mar '16

31 Mar '16

Dear all, tomorrow we will have a LIRa session with Nils Bulling. Everyone is cordially invited! Speaker: Nils Bulling (TU Delft) Date and Time: Friday, April 1st 2016, 13:00-14:30 Venue: ILLC Seminar Room F1.15, Science Park 107 Title: Agents with Truly Perfect Recall. Abstract. Alternating-time temporal logics are modal logic that allow to reason about agents’ abilities in game-like scenarios. The basic logic ATL [1] comes in different variants which are based on different assumptions about the capabilities of agents and properties of the game. They include, for example, the agents’ knowledge about the world (perfect vs. imperfect information) as well as how agents remember and make use of past events (memoryless vs. memory-based strategies). In previous years the different variants of ATL have been extensively studied, but mostly in the context of model checking. The contribution of this talk is twofold. Firstly, I shall review ATL as well as its semantic variants and compare them with respect to their validity sets. It will be shown that they yield different strategic logics [2]; thus, they model different general properties of games. Secondly, it will be argued that the standard definition of perfect recall can be counter intuitive in settings where agents have limited observational capabilities. This is due to the way nested strategic modalities are interpreted: the strategy which is bound by the nested operator does not take into account the history of events. Thus, although agents are assumed to have perfect recall they may forget the past. Intuitively, it does not fit the assumption of agents having perfect recall. To fix this, I shall present a new semantics where agents have truly prefect recall [3]. The new semantics will be compared with the standard one; in particular, it will be shown that they coincide for perfect information but differ in the case of imperfect information. (The talk is based on joint work with Wojtek Jamroga and Matei Popovici.) References [1] R. Alur, T. A. Henzinger, and O. Kupferman. Alternating-time Temporal Logic. Journal of the ACM, 49: 672–713, 2002. [2] Nils Bulling and Wojciech Jamroga. Comparing variants of strategic ability: how uncertainty and memory influence general properties of games. Journal of Autonomous Agents and Multi-Agent Systems, 28(3): 474–518, 2014. [3] Nils Bulling, Wojciech Jamroga, and Matei Popovici. ATL* with truly perfect recall: Expressivity and validities. In Proceedings of the 21st European Conference on Artificial Intelligence (ECAI 2014), pages 177–182, Prague, Czech Republic, August 2014. Hope to see you there! The LIRa team

1 0

Next Friday: LIRa session: Nils Bulling
by LIRa Seminar 27 Mar '16

27 Mar '16

Dear all, Next Friday April 1st, we will have a LIRa session with Nils Bulling. Everyone is cordially invited! Speaker: Nils Bulling (TU Delft) Date and Time: Friday, April 1st 2016, 13:00-14:30 Venue: ILLC Seminar Room F1.15, Science Park 107 Title: TBA. Abstract. TBA. Hope to see you there! The LIRa team

1 0

Tuesday: PhD defense Zoe Christoff: Dynamic Logics of Networks
by LIRa Seminar 20 Mar '16

20 Mar '16

Dear all, this Tuesday Zoé Christoff will defend her PhD thesis: Dynamic Logics of Networks Information Flow and the Spread of Opinion. Time: Tuesday 22nd of March 2016 at 10.00 Location: Agnietenkapel, Oudezijds Voorburgwal 229 - 231, 1012 EZ Amsterdam In the afternoon from 14:00 to 18:00 there will be a workshop on \'Logical Dynamics of Social Influence and Information Change\' in the city center. For more information, see https://ldsiic.wordpress.com Hope to see you there! The LIRa team

1 0

Tomorrow: LIRa session: Yves Bouchard
by LIRa Seminar 17 Mar '16

17 Mar '16

Dear all, Tomorrow we will have a LIRa session with Yves Bouchard. Everyone is cordially invited! Speaker: Yves Bouchard (Université de Sherbrooke) Date and Time: Friday, March 18th 2016, 13:00 - 14:30 Venue: ILLC Seminar Room F1.15, Science Park 107. Title: Logic and Epistemic Contexts. Abstract. In this talk, I develop a Fitch-style natural deduction system (NDS) capable of expressing the core thesis of epistemological contextualism. The proposed NDS satisfies two epistemological constraints: (1) it allows for the differentiated expression of any concept of knowledge, and (2) it is explicit about the conditions under which a particular knowledge type can be transposed into another type. The general idea of this NDS takes his inspiration from the contextual logic developed by McCarthy and Buvăc (1996, 1997) in artificial intelligence. In the first part, I present the rationale of my proposal and the general framework of McCarthy and Buvăc. In the second part, I define the rules for the introduction and the elimination of the knowledge operator, and I discuss some epistemological problems in relation with theorems of the proposed NDS. Hope to see you there! The LIRa team

1 0

Next Friday: LIRa session: Yves Bouchard
by LIRa Seminar 13 Mar '16

13 Mar '16

Dear all, next Friday we will have a LIRa session with Yves Bouchard. Everyone is cordially invited! Speaker: Yves Bouchard (Université de Sherbrooke) Date and Time: Friday, March 18th 2016, 13:00 - 14:30 Venue: ILLC Seminar Room F1.15, Science Park 107. Title: Logic and Epistemic Contexts. Abstract. In this talk, I develop a Fitch-style natural deduction system (NDS) capable of expressing the core thesis of epistemological contextualism. The proposed NDS satisfies two epistemological constraints: (1) it allows for the differentiated expression of any concept of knowledge, and (2) it is explicit about the conditions under which a particular knowledge type can be transposed into another type. The general idea of this NDS takes his inspiration from the contextual logic developed by McCarthy and Buvăc (1996, 1997) in artificial intelligence. In the first part, I present the rationale of my proposal and the general framework of McCarthy and Buvăc. In the second part, I define the rules for the introduction and the elimination of the knowledge operator, and I discuss some epistemological problems in relation with theorems of the proposed NDS. Hope to see you there! The LIRa team

1 0

Tomorrow: LIRa session: Jan van Eijck
by LIRa Seminar 10 Mar '16

10 Mar '16

Dear all, Tomorrow we will have a LIRa session with Jan van Eijck. Everyone is cordially invited! Speaker: Jan van Eijck (ILLC & CWI) Date and Time: Friday, March 11th 2016, 13:00-14:30 Venue: ILLC Seminar Room F1.15, Science Park 107 Title: Modelling Legal Relations Abstract. We use propositional dynamic logic and ideas about propositional control from the agency literature to construct a formal model of how legal relations interact with actions that change the world and the utilities of the interacting agents, and with actions that change the legal relations. Our conceptual model also allows us to study the interplay of obligation, knowledge, and ignorance, and to model knowledge based obligation. (Based on joint work with Fengkui Ju.) Hope to see you there! The LIRa team

1 0

Next Friday: LIRa session: Jan van Eijck
by LIRa Seminar 06 Mar '16

06 Mar '16

Dear all, On Friday March 11th, we will have a LIRa session with Jan van Eijck. Everyone is cordially invited! Speaker: Jan van Eijck (ILLC & CWI) Date and Time: Friday, March 11th 2016, 13:00-14:30 Venue: ILLC Seminar Room F1.15, Science Park 107 Title: Modelling Legal Relations Abstract. We use propositional dynamic logic and ideas about propositional control from the agency literature to construct a formal model of how legal relations interact with actions that change the world and the utilities of the interacting agents, and with actions that change the legal relations. Our conceptual model also allows us to study the interplay of obligation, knowledge, and ignorance, and to model knowledge based obligation. (Based on joint work with Fengkui Ju.) Hope to see you there! The LIRa team

1 0

Tomorrow: LIRa session: Chenwei Shi
by LIRa Seminar 03 Mar '16

03 Mar '16

Dear all, Tomorrow we will have a LIRa session with Chenwei Shi. Everyone is cordially invited! Speaker: Chenwei Shi (ILLC) Date and Time: Friday, March 4th 2016, 13:00-14:30 Venue: ILLC Seminar Room F1.15, Science Park 107 Title: Beliefs Supported by Arguments. Abstract. In this talk, I will present the ongoing work (with Sonja Smets) which explores the relation between an agent\'s doxastic attitude and her arguments in support of a given claim. Formally, we build further on Dung\'s argumentation framework in Dung 1995. After introducing a number of notions from abstract argumentation theory, including the attack of an argument, the acceptability of an argument, the conflict-freeness of a set of arguments and its admissibility, I will extend the basic framework of the abstract argumentation theory. This extension allows us to define new concepts, indicating when an argument perfectly defends a given claim P or when an argument only strategically defends a given claim P. The concept of strategic defensibility is then used to link an agent\'s arguments to her doxastic attitude. In order to reason about this interaction, we propose a two-dimensional logic. Moreover, I will talk about some possible directions of developing this logic. (Reference: Dung, P. M. (1995). On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games. Artificial intelligence, 77:321-357) Hope to see you there! The LIRa team

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

ILLC-LIRa March 2016