Rineke Verbrugge

Rineke Verbrugge
University of Groningen | RUG · Department of Artificial Intelligence Bernoulli Institute of Mathematics CS and AI

Ph.D.

About

254
Publications
48,764
Reads
How we measure 'reads'
A 'read' is counted each time someone views a publication summary (such as the title, abstract, and list of authors), clicks on a figure, or views or downloads the full-text. Learn more
2,751
Citations
Introduction
Job: -Since 1 May, 2009: Full Professor Logic and Cognition. -Team leader of the Multi-agent Systems Group of the Department of Artificial Intelligence in the Bernoulli Institute of Mathematics, Computer Science and Artificial Intelligence. -Faculty of Science and Engineering of the University of Groningen, the Netherlands. Research interests: -Applications of logic in Artificial Intelligence -Multi-agent systems -Higher-order social cognition
Additional affiliations
September 1993 - December 1993
Charles University in Prague
Position
  • PostDoc Position
December 1988 - August 1993
University of Amsterdam
Position
  • PhD Student
Description
  • PhD student with A.S. Troelstra, Dick de Jongh and Albert Visser
July 1995 - August 1997
Vrije Universiteit Amsterdam
Position
  • Professor (Assistant)

Publications

Publications (254)
Article
Full-text available
This article takes off from Johan van Benthem’s ruminations on the interface between logic and cognitive science in his position paper “Logic and reasoning: Do the facts matter?”. When trying to answer Van Benthem’s question whether logic can be fruitfully combined with psychological experiments, this article focuses on a specific domain of reasoni...
Article
Full-text available
We conducted an experiment where participants played a perfect-information game against a computer, which was programmed to deviate often from its backward induction strategy right at the beginning of the game. Participants knew that in each game, the computer was nevertheless optimizing against some belief about the participant's future strategy....
Article
Full-text available
The focus of studies on second-order false belief reasoning generally was on investigating the roles of executive functions and language with correlational studies. Different from those studies, we focus on the question how 5-year-olds select and revise reasoning strategies in second-order false belief tasks by constructing two computational cognit...
Article
Full-text available
Theory of mind refers to the human ability to reason about the mental content of other people, such as their beliefs, desires, and goals. People use their theory of mind to understand, reason about, and explain the behaviour of others. Having a theory of mind is especially useful when people collaborate, since individuals can then reason on what th...
Research
Full-text available
AI collaboration is a unique challenge that requires the combination of multiple viewpoints and sources of information to reach a common goal. In human-human interaction, this collaboration is often said to rely on theory of mind (ToM), the ability to take someone else's perspective and make estimations of their beliefs, desires and intentions, in...
Research
Full-text available
We all know theory of mind (ToM) as the ability to ‘take someone else’s perspective and make estimations of their beliefs, desires and intentions, in order to make sense of their behaviour and attitudes towards the world’. It is a key mental capacity humans use when interacting with other humans. But how do we apply ToM when building an AI system?...
Article
Full-text available
This paper introduces a comprehensive logical framework to reason about threshold-driven diffusion and threshold-driven link change in social networks. It considers both monotonic dynamics , where agents can only adopt new features and create new connections, and non-monotonic dynamics , where agents may also abandon features or cut ties. Three typ...
Chapter
Full-text available
In order to enhance collaboration between humans and artificially intelligent agents, it is crucial to equip the computational agents with capabilities commonly used by humans. One of these capabilities is called Theory of Mind (ToM) reasoning, which is the human ability to reason about the mental contents of others, such as their beliefs, desires,...
Chapter
Full-text available
Existing approaches to modelling legal cases in Bayesian networks focus either on correctly representing an empirical probabilistic model of evidence traces, or on modeling alternative scenarios that can explain what happened in a case. However, neither approach legally interprets, or qualifies, aspects of a scenario as a normative legal fact. Henc...
Chapter
Full-text available
With the growing integration of chatbots, automated writing tools, game AI and similar applications into human society, there is a clear demand for artificially intelligent systems that can successfully collaborate with human partners. This requires overcoming not only physical and communicative barriers, but also those of fundamental understanding...
Chapter
Epistemic logic can be used to reason about statements such as ‘I know that you know that I know that \(\varphi \)’. In this logic, and its extensions, it is commonly assumed that agents can reason about epistemic statements of arbitrary nesting depth. In contrast, empirical findings on Theory of Mind, the ability to (recursively) reason about ment...
Article
Full-text available
We investigated the impact of linguistic cues and autistic traits on lie detection. Adult participants (N = 125) judged suspects' statements in a detective game. Untruthful statements were marked by semantic leakage. Literature indicates that liars use fewer first-person pronouns and mental-state terms than truth-tellers. We manipulated the untruth...
Chapter
Full-text available
One way of reasoning with uncertainties in the context of law is to use probabilities. However, methods for reasoning about the probability of guilt in a court case requires us to specify a prior probability of guilt, which is the probability of guilt before any evidence is known. There is no accepted approach for specifying the prior probability o...
Article
Full-text available
Preface The TARK conference (Theoretical Aspects of Rationality and Knowledge) is a conference that aims to bring together researchers from a wide variety of fields, including computer science, artificial intelligence, game theory, decision theory, philosophy, logic, linguistics, and cognitive science. Its goal is to further our understanding of i...
Preprint
The TARK conference (Theoretical Aspects of Rationality and Knowledge) is a conference that aims to bring together researchers from a wide variety of fields, including computer science, artificial intelligence, game theory, decision theory, philosophy, logic, linguistics, and cognitive science. Its goal is to further our understanding of interdisci...
Article
Full-text available
The knower paradox states that the statement ‘We know that this statement is false’ leads to inconsistency. This article presents a fresh look at this paradox and some well-known solutions from the literature. Paul Égré discusses three possible solutions that modal provability logic provides for the paradox by surveying and comparing three differen...
Preprint
Full-text available
Local-HDP (for Local Hierarchical Dirichlet Process) is a hierarchical Bayesian method that has recently been used for open-ended 3D object category recognition. This method has been proven to be efficient in real-time robotic applications. However, the method is not robust to a high degree of occlusion. We address this limitation in two steps. Fir...
Article
Full-text available
The my-side bias is a well-documented cognitive bias in the evaluation of arguments, in which reasoners in a discussion tend to overvalue arguments that confirm their prior beliefs, while undervaluing arguments that attack their prior beliefs. The first part of this paper develops and justifies a Bayesian model of myside bias at the level of indivi...
Chapter
In everyday life, people often depend on their theory of mind, i.e., their ability to reason about unobservable mental content of others to understand, explain, and predict their behaviour. Many agent-based models have been designed to develop computational theory of mind and analyze its effectiveness in various tasks and settings. However, most ex...
Chapter
Full-text available
Theory of mind refers to the human ability to reason about mental content of other people such as beliefs, desires, and goals. In everyday life, people rely on their theory of mind to understand, explain, and predict the behaviour of others. Having a theory of mind is especially useful when people collaborate, since individuals can then reason on w...
Preprint
Full-text available
Twelve years ago, the European Union began with the gradual phase-out of energy-inefficient incandescent light bulbs under the Ecodesign Directive. In this work, we implement an agent-based simulation to model the consumer behaviour in the EU lighting market with the goal to explain consumer behaviour and explore alternative policies. Agents are ba...
Chapter
Full-text available
dialectical frameworks (ADFs) have been introduced as a formalism for modeling and evaluating argumentation allowing general logical satisfaction conditions. Different criteria used to settle the acceptance of arguments are called semantics. Semantics of ADFs have so far mainly been defined based on the concept of admissibility. Recently, the notio...
Article
Full-text available
Recently, several logics modelling evidence have been proposed in the literature. These logics often also feature beliefs. We call the process or function that maps evidence to beliefs consolidation. In this paper, we use a four-valued modal logic of evidence as a basis. In the models for this logic, agents are represented by nodes, peer connection...
Article
Full-text available
In social interactions, people often reason about the beliefs, goals and intentions of others. This theory of mind allows them to interpret the behavior of others, and predict how they will behave in the future. People can also use this ability recursively: they use higher-order theory of mind to reason about the theory of mind abilities of others,...
Article
The environment around general-purpose service robots has a dynamic nature. Accordingly, even the robot's programmer cannot predict all the possible external failures which the robot may confront. This research proposes an online incremental learning method that can be further used to autonomously handle external failures originating from a change...
Article
Full-text available
dialectical frameworks (ADFs) have been introduced as a formalism for modeling argumentation allowing general logical satisfaction conditions and the relevant argument evaluation. Different criteria used to settle the acceptance of arguments are called semantics. Semantics of ADFs have so far mainly been defined based on the concept of admissibilit...
Chapter
Obligations can be affected by knowledge. Several approaches exist to formalize knowledge-based obligations, but no formalism has been developed yet to capture the dynamic interaction between knowledge and obligations. We introduce the dynamic extension of an existing logic for knowledge-based obligations here. We motivate the logic by analyzing se...
Article
We introduce a non-parametric hierarchical Bayesian approach for open-ended 3D object categorization, named the Local Hierarchical Dirichlet Process (Local-HDP). This method allows an agent to learn independent topics for each category incrementally and to adapt to the environment in time. Each topic is a distribution of the visual words over a pre...
Conference Paper
Full-text available
dialectical frameworks (ADFs) have been introduced as a formalism for modeling and evaluating argumentation allowing general logical satisfaction conditions. Different criteria that have been used to settle the acceptance of arguments are called semantics. However, the notion of semi-stable semantics as studied for abstract argumentation frameworks...
Preprint
Full-text available
It has been shown in the late 1960s that each formula of first-order logic without constants and function symbols obeys a zero-one law: As the number of elements of finite models increases, every formula holds either in almost all or in almost no models of that size. Therefore, many properties of models, such as having an even number of elements, c...
Preprint
dialectical frameworks (ADFs) have been introduced as a formalism for modeling and evaluating argumentation allowing general logical satisfaction conditions. Different criteria used to settle the acceptance of arguments are called semantics. Semantics of ADFs have so far mainly been defined based on the concept of admissibility. However, the notion...
Preprint
Full-text available
We introduce a non-parametric hierarchical Bayesian approach for open-ended 3D object categorization, named the Local Hierarchical Dirichlet Process (Local-HDP). This method allows an agent to learn independent topics for each category incrementally and to adapt to the environment in time. Hierarchical Bayesian approaches like Latent Dirichlet Allo...
Article
Full-text available
Group living is of benefit to foraging individuals by improving their survival, through passive risk dilution by sheer numbers and through increasingly more active processes, ranging from cue transmission to alarm calling. Cue transmission of information within a group cannot easily be tracked in the field, but can be studied by modelling. An unint...
Article
Full-text available
We define hybrid intelligence (HI) as the combination of human and machine intelligence, augmenting human intellect and capabilities instead of replacing them and achieving goals that were unreachable by either humans or machines. HI is an important new research focus for artificial intelligence, and we set a research agenda for HI by formulating f...
Article
Full-text available
We describe some recent trends in research on lying from a multidisciplinary perspective, including logic, philosophy, linguistics, psychology, cognitive science, behavioral economics, and artificial intelligence. Furthermore, we outline the seven contributions to this special issue of topiCS.
Preprint
Full-text available
This paper introduces `commonly knowing whether', a non-standard version of classical common knowledge which is defined on the basis of `knowing whether', instead of classical `knowing that'. After giving five possible definitions of this concept, we explore the logical relations among them both in the multi-agent case and in the single-agent case....
Chapter
dialectical frameworks (ADFs) are introduced as a general formalism for modeling and evaluating argumentation. However, the role of discussion in reasoning in ADFs has not been clarified well so far. The current work provides a discussion game as a proof method for preferred semantics of ADFs to cover this gap. We show that an argument is credulous...
Article
Full-text available
When engaging in social interaction, people rely on their ability to reason about unobservable mental content of others, which includes goals, intentions, and beliefs. This so-called theory of mind ability allows them to more easily understand, predict, and influence the behavior of others. People even use their theory of mind to reason about the t...
Article
Full-text available
One‐hundred‐six 5‐year‐olds’ (Mage = 5;6; SD = 0.40) were trained with second‐order false belief tasks in one of the following conditions: (a) feedback with explanation; (b) feedback without explanation; (c) no feedback; (d) active control. The results showed that there were significant improvements in children's scores from pretest to posttest in...
Article
Full-text available
How do people reason about their opponent in turn-taking games? Often, people do not make the decisions that game theory would prescribe. We present a logic that can play a key role in understanding how people make their decisions, by delineating all plausible reasoning strategies in a systematic manner. This in turn makes it possible to construct...
Conference Paper
Full-text available
It has been shown in the late 1960s that each formula of first-order logic without constants and function symbols obeys a zero-one law: As the number of elements of finite models increases, every formula holds either in almost all or in almost no models of that size. Therefore, many properties of models, such as having an even number of elements, c...
Conference Paper
Full-text available
The knower paradox states that the statement `We know that this statement is false' leads to inconsistency. This article presents a fresh look at this paradox and some well-known solutions from the literature. Paul Egré discusses three possible solutions that modal provability logic provides for the paradox by surveying and comparing three differen...
Article
Full-text available
Whereas game theorists and logicians use formal methods to investigate ideal strategic behavior, many cognitive scientists use computational cognitive models of the human mind to predict and simulate human behavior. In this paper, we aim to bring these fields closer together by creating a generic translation system which, starting from a strategy f...
Conference Paper
Full-text available
Whereas game theorists and logicians use formal methods to investigate strategic behaviour, cognitive scientists use cognitive models of the human mind to predict and simulate human behaviour. In this paper, we hope to bring these fields together by creating a translation system which, starting from a strategy represented in formal logic, automatic...
Article
Full-text available
When people make decisions in a social context, they often make use of theory of mind , by reasoning about unobservable mental content of others. For example, the behavior of a pedestrian who wants to cross the street depends on whether or not he believes that the driver of an oncoming car has seen him or not. People can also reason about the theor...
Chapter
Full-text available
We overview logical and computational explanations of the notion of tractability as applied in cognitive science. We start by introducing the basics of mathematical theories of complexity: computability theory, computational complexity theory, and descriptive complexity theory. Computational philosophy of mind often identifies mental algorithms wit...
Article
Full-text available
People model other people’s mental states in order to understand and predict their behavior. Sometimes they model what others think about them as well: “He thinks that I intend to stop.” Such second-order theory of mind is needed to navigate some social situations, for example, to make optimal decisions in turn-taking games. Adults sometimes find t...
Preprint
Full-text available
In an earlier experiment, participants played a perfect information game against a computer, which was programmed to deviate often from its backward induction strategy right at the beginning of the game. Participants knew that in each game, the computer was nevertheless optimizing against some belief about the participant's future strategy. In the...
Article
Full-text available
In an earlier experiment, participants played a perfect information game against a computer, which was programmed to deviate often from its backward induction strategy right at the beginning of the game. Participants knew that in each game, the computer was nevertheless optimizing against some belief about the participant's future strategy. In the...
Article
Full-text available
While most 3-year-olds fail both in the false belief task of theory of mind and Dimensional Change Card Sorting task of cognitive control, most 4-year-olds are able to pass these tasks. Different theories have been constructed to explain this co-development. To investigate the direction of the developmental relationship between false belief reasoni...
Article
Full-text available
Theory of mind refers to the ability to reason explicitly about unobservable mental content of others, such as beliefs, goals, and intentions. People often use this ability to understand the behavior of others as well as to predict future behavior. People even take this ability a step further, and use higher-order theory of mind by reasoning about...
Chapter
Provability logic is a modal logic that is used to investigate what arithmetical theories can express in a restricted language about their provability predicates. The logic has been inspired by developments in meta-mathematics such as Gödel’s incompleteness theorems of 1931 and Löb’s theorem of 1953. As a modal logic, provability logic has been stu...
Article
The transition from fuel cars to electric cars is a large-scale process involving many interactions between consumers and other stakeholders over decades. To explore how policies may interact with consumer behavior over such a long time period, we developed an agent-based social simulation model. In this model, detailed data of 1795 respondents hav...
Article
Full-text available
In this study, we focus on the possible roles of second-order syntactic recursion and working memory in terms of simple and complex span tasks in the development of second-order false belief reasoning. We tested 89 Turkish children in two age groups, one younger (4;6–6;5 years) and one older (6;7–8;10 years). Although second-order syntactic recursi...
Book
This book highlights recent developments in the field, presented at the Social Simulation 2015 conference in Groningen, The Netherlands. It covers advances both in applications and methods of social simulation. Societal issues addressed range across complexities in economic systems, opinion dynamics and civil violence, changing mobility patterns, d...
Preprint
Full-text available
We conducted an experiment where participants played a perfect-information game against a computer, which was programmed to deviate often from its backward induction strategy right at the beginning of the game. Participants knew that in each game, the computer was nevertheless optimizing against some belief about the participant's future strategy....
Conference Paper
Full-text available
This article provides a three-way interaction between experiments, logic and cognitive modelling so as to bring out a shared perspective among these diverse areas, aiming towards better understanding and better modelling of human strategic reasoning in dynamic games.
Conference Paper
Full-text available
There are several training studies that showed that it is possible to teach preschool children to pass first-order false belief tasks. However, the literature is missing analogous training effects for school-age children with respect to second-order false belief tasks. We focused on the role of feedback in the development of second-order false beli...
Conference Paper
Full-text available
In social settings, people often reason about unobservable mental content of other people, such as their beliefs, goals, or intentions. This ability helps them to understand and predict the behavior of others. People can even take this ability further, and use higher-order theory of mind to reason about the way others use theory of mind, for exampl...
Article
Full-text available
This paper presents an extension to an agent-based model of opinion dynamics built on dialogical logic DIAL. The extended model tackles a pervasive problem in argumentation logics: the difference between linguistic and logical inconsistency. Using fuzzy logic, the linear ordering of opinions, used in DIAL, is replaced by a set of partial orderings...
Conference Paper
Full-text available
In their fourth year, most children start to understand that someone else might have a false belief, which is different from the reality that the children know. The most studied experimental task to test this development is called the first-order false belief task. What kind of prior cognitive skills help children to pass the false belief task? The...
Article
This paper discusses an implementation of four speech acts: assert, concede, request and challenge in a paraconsistent framework. A natural four-valued model of interaction yields multiple new cognitive situations. They are analyzed in the context of communicative relations, which partially replace the concept of trust. These assumptions naturally...
Article
To understand and predict the behavior of others, people regularly reason about others’ beliefs, goals, and intentions. People can even use this theory of mind recursively, and form beliefs about the way others in turn reason about the beliefs, goals, and intentions of others. Although the evolutionary origins of this cognitively demanding ability...