Order:
  1.  40
    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 (...)
    Direct 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 (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  3.  4
    Studying Strategies and Types of Players: Experiments, Logics and Cognitive Models.Sujata Ghosh & Rineke Verbrugge - 2018 - Synthese 195 (10):4265-4307.
    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 a corresponding set of computational models in a cognitive architecture. These models can be run and fitted to the participants’ data in terms of (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  4. Strategies Made Explicit in Dynamic Game Logic.Sujata Ghosh - 2008 - In Giacomo Bonanno, Wiebe van der Hoek & Michael Wooldridge (eds.), Logic and the Foundations of Game and Decision Theory. Amsterdam University Press.
     
    Export citation  
     
    Bookmark   3 citations  
  5.  55
    Modelling Simultaneous Games in Dynamic Logic.Johan van Benthem, Sujata Ghosh & Fenrong Liu - 2008 - Synthese 165 (2):247-268.
    We make a proposal for formalizing simultaneous games at the abstraction level of player’s powers, combining ideas from dynamic logic of sequential games and concurrent dynamic logic. We prove completeness for a new system of ‘concurrent game logic’ CDGL with respect to finite non-determined games. We also show how this system raises new mathematical issues, and throws light on branching quantifiers and independence-friendly evaluation games for first-order logic.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  6.  31
    Logic and Social Interaction: Introduction. [REVIEW]Sujata Ghosh & R. Ramanujam - 2010 - Synthese 177 (1):1-3.
  7.  43
    Modelling Simultaneous Games in Dynamic Logic.Johan Van Benthem, Sujata Ghosh & Fenrong Liu - 2008 - Synthese 165 (2):247 - 268.
    We make a proposal for formalizing simultaneous games at the abstraction level of player's powers, combining ideas from dynamic logic of sequential games and concurrent dynamic logic. We prove completeness for a new system of 'concurrent game logic' CDGL with respect to finite non-determined games. We also show how this system raises new mathematical issues, and throws light on branching quantifiers and independence-friendly evaluation games for first-order logic.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  8.  6
    Similarity Based Approximate Reasoning: Fuzzy Control.Swapan Raha, Abul Hossain & Sujata Ghosh - 2008 - Journal of Applied Logic 6 (1):47-71.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  9.  1
    Modelling Simultaneous Games in Dynamic Logic.Johan Benthem, Sujata Ghosh & Fenrong Liu - 2008 - Synthese 165 (2):247-268.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark