Order:
  1.  6
    Hidden Protocols: Modifying Our Expectations in an Evolving World.Hans Van Ditmarsch, Sujata Ghosh, Rineke Verbrugge & Yanjing Wang - 2014 - Artificial Intelligence 208 (1):18--40.
    When agents know a protocol, this leads them to have expectations about future observations. Agents can update their knowledge by matching their actual observations with the expected ones. They eliminate states where they do not match. In this paper, we study how agents perceive protocols that are not commonly known, and propose a semantics-driven logical framework to reason about knowledge in such scenarios. In particular, we introduce the notion of epistemic expectation models and a propositional dynamic logic-style epistemic logic for (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  2. Strategic Reasoning: Building Cognitive Models From Logical Formulas.Sujata Ghosh, Ben Meijering & Rineke Verbrugge - 2014 - Journal of Logic, Language and Information 23 (1):1-29.
    This paper presents an attempt to bridge the gap between logical and cognitive treatments of strategic reasoning in games. There have been extensive formal debates about the merits of the principle of backward induction among game theorists and logicians. Experimental economists and psychologists have shown that human subjects, perhaps due to their bounded resources, do not always follow the backward induction strategy, leading to unexpected outcomes. Recently, based on an eye-tracking study, it has turned out that even human subjects who (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  3.  7
    Modeling Inference of Mental States: As Simple as Possible, as Complex as Necessary.Ben Meijering, Niels A. Taatgen, Hedderik van Rijn & Rineke Verbrugge - 2014 - Interaction Studiesinteraction Studies Social Behaviour and Communication in Biological and Artificial Systems 15 (3):455-477.
    Behavior oftentimes allows for many possible interpretations in terms of mental states, such as goals, beliefs, desires, and intentions. Reasoning about the relation between behavior and mental states is therefore considered to be an effortful process. We argue that people use simple strategies to deal with high cognitive demands of mental state inference. To test this hypothesis, we developed a computational cognitive model, which was able to simulate previous empirical findings: In two-player games, people apply simple strategies at first. They (...)
    Download  
     
    Export citation  
     
    Bookmark