arXiv subjects

Iris van de Pol

Publications and source records attributed to Iris van de Pol.

3 recordsLinked to original sources

arXiv2020

On the Computational Complexity of Model Checking for Dynamic Epistemic Logic with S5 Models

Dynamic epistemic logic (DEL) is a logical framework for representing and reasoning about knowledge change for multiple agents. An important computational task in this framework is the model checking problem, which has been shown to be PSPACE-hard even for S5 models and two agents---in the presence of other features, such as multi-pointed models. We answer open questions in the literature about the complexity of this problem in more restricted settings. We provide a detailed complexity analysis of the model checking problem for DEL, where we consider various combinations of restrictions, such as the number of agents, whether the models are single-pointed or multi-pointed, and whether postconditions are allowed in the updates. In particular, we show that the problem is already PSPACE-hard in (1) the case of one agent, multi-pointed S5 models, and no postconditions, and (2) the case of two agents, only single-pointed S5 models, and no postconditions. In addition, we study the setting where only semi-private announcements are allowed as updates. We show that for this case the problem is already PSPACE-hard when restricted to two agents and three propositional variables. The results that we obtain in this paper help outline the exact boundaries of the restricted settings for which the model checking problem for DEL is computationally tractable.

cs.CC↗

arXiv2019

Increasing altruistic and cooperative behaviour with simple moral nudges

The conflict between pro-self and pro-social behaviour is at the core of many key problems of our time, as, for example, the reduction of air pollution and the redistribution of scarce resources. For the well-being of our societies, it is thus crucial to find mechanisms to promote pro-social choices over egoistic ones. Particularly important, because cheap and easy to implement, are those mechanisms that can change people's behaviour without forbidding any options or significantly changing their economic incentives, the so-called "nudges". Previous research has found that moral nudges (e.g., making norms salient) can promote pro-social behaviour. However, little is known about whether their effect persists over time and spills across context. This question is key in light of research showing that pro-social actions are often followed by selfish actions, thus suggesting that some moral manipulations may backfire. Here we present a class of simple moral nudges that have a great positive impact on pro-sociality. In Studies 1-4 (total N = 1,400), we use economic games to demonstrate that asking subjects to self-report "what they think is the morally right thing to do" does not only increase pro-sociality in the choice immediately after, but also in subsequent choices, and even when the social context changes. In Study 5, we explore whether moral nudges promote charity donations to humanitarian organisations in a large (N=1,800) crowdfunding campaign. We find that, in this context, moral nudges increase donations by about 44 percent.

physics.soc-ph↗

arXiv2016

Parameterized Complexity Results for a Model of Theory of Mind Based on Dynamic Epistemic Logic

In this paper we introduce a computational-level model of theory of mind (ToM) based on dynamic epistemic logic (DEL), and we analyze its computational complexity. The model is a special case of DEL model checking. We provide a parameterized complexity analysis, considering several aspects of DEL (e.g., number of agents, size of preconditions, etc.) as parameters. We show that model checking for DEL is PSPACE-hard, also when restricted to single-pointed models and S5 relations, thereby solving an open problem in the literature. Our approach is aimed at formalizing current intractability claims in the cognitive science literature regarding computational models of ToM.

cs.LO↗