Switch to: Citations

Add references

You must login to add references.
  1. Logic and Social Cognition the Facts Matter, and so Do Computational Models.Rineke Verbrugge - 2009 - Journal of Philosophical Logic 38 (6):649-680.
    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 reasoning, namely higher-order social cognition, including attributions such as “Bob knows that Alice knows that he wrote a novel under pseudonym”. For intelligent interaction, it is important that the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  • Logic and Social Cognition: The Facts Matter, and so Do Computational Models.Rineke Verbrugge - 2009 - Journal of Philosophical Logic 38 (6):649-680.
    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 reasoning, namely higher-order social cognition, including attributions such as “Bob knows that Alice knows that he wrote a novel under pseudonym”. For intelligent interaction, it is important that the (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  • 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 (5 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  • Logic and Reasoning: Do the Facts Matter?Johan Van Bentham - 2008 - Studia Logica 88 (1):67-84.
    Modern logic is undergoing a cognitive turn, side-stepping Frege’s ‘antipsychologism’. Collaborations between logicians and colleagues in more empirical fields are growing, especially in research on reasoning and information update by intelligent agents. We place this border-crossing research in the context of long-standing contacts between logic and empirical facts, since pure normativity has never been a plausible stance. We also discuss what the fall of Frege’s Wall means for a new agenda of logic as a theory of rational agency, and what (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   37 citations  
  • Formal Models for Real People.Michiel van Lambalgen & Marian Counihan - 2008 - Journal of Logic, Language and Information 17 (4):385-389.
  • The Nature and Transfer of Cognitive Skills.Niels A. Taatgen - 2013 - Psychological Review 120 (3):439-471.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   18 citations  
  • Vision: Variations on Some Berkeleian Themes.Robert Schwartz & David Marr - 1985 - Philosophical Review 94 (3):411.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   615 citations  
  • Children's Strategy Use When Playing Strategic Games.Maartje E. J. Raijmakers, Dorothy J. Mandell, Sara E. Es & Marian Counihan - 2012 - Synthese (3):1-16.
    Strategic games require reasoning about other people’s and one’s own beliefs or intentions. Although they have clear commonalities with psychological tests of theory of mind, they are not clearly related to theory of mind tests for children between 9 and 10 years of age “Flobbe et al. J Logic Language Inform 17(4):417–442 (2008)”. We studied children’s (5–12 years of age) individual differences in how they played a strategic game by analyzing the strategies that they applied in a zero, first, and (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  • Set as an Instance of a Real-World Visual-Cognitive Task.Enkhbold Nyamsuren & Niels A. Taatgen - 2013 - Cognitive Science 37 (1):146-175.
    Complex problem solving is often an integration of perceptual processing and deliberate planning. But what balances these two processes, and how do novices differ from experts? We investigate the interplay between these two in the game of SET. This article investigates how people combine bottom-up visual processes and top-down planning to succeed in this game. Using combinatorial and mixed-effect regression analysis of eye-movement protocols and a cognitive model of a human player, we show that SET players deploy both bottom-up and (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  • 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 Studies 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 (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  • 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 Studies 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 (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  • Modeling Inference of Mental States.Ben Meijering, Niels A. Taatgen, Hedderik van Rijn & Rineke Verbrugge - 2014 - Interaction Studies. Social Behaviour and Communication in Biological and Artificial Systemsinteraction Studies / Social Behaviour and Communication in Biological and Artificial Systemsinteraction Studies 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 (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  • A Strategy‐Based Interpretation of Stroop.Marsha C. Lovett - 2005 - Cognitive Science 29 (3):493-524.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   12 citations  
  • Formal Models for Real People.Michiel Lambalgen & Marian Counihan - 2008 - Journal of Logic, Language and Information 17 (4):385-389.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  • What Do You Think I Think You Think?: Strategic Reasoning in Matrix Games.Trey Hedden & Jun Zhang - 2002 - Cognition 85 (1):1-36.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   32 citations  
  • 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   4 citations  
  • Children’s Strategy Use When Playing Strategic Games.Marian Counihan, Sara E. van Es, Dorothy J. Mandell & Maartje E. J. Raijmakers - 2014 - Synthese 191 (3):355-370.
    Strategic games require reasoning about other people’s and one’s own beliefs or intentions. Although they have clear commonalities with psychological tests of theory of mind, they are not clearly related to theory of mind tests for children between 9 and 10 years of age “Flobbe et al. J Logic Language Inform 17:417–442 ”. We studied children’s individual differences in how they played a strategic game by analyzing the strategies that they applied in a zero, first, and second-order reasoning task. For (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Beyond Single‐Level Accounts: The Role of Cognitive Architectures in Cognitive Scientific Explanation.Richard P. Cooper & David Peebles - 2015 - Topics in Cognitive Science 7 (2):243-258.
    We consider approaches to explanation within the cognitive sciences that begin with Marr's computational level or Marr's implementational level and argue that each is subject to fundamental limitations which impair their ability to provide adequate explanations of cognitive phenomena. For this reason, it is argued, explanation cannot proceed at either level without tight coupling to the algorithmic and representation level. Even at this level, however, we argue that additional constraints relating to the decomposition of the cognitive system into a set (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  • Behavioral Game Theory: Plausible Formal Models That Predict Accurately.Colin F. Camerer - 2003 - Behavioral and Brain Sciences 26 (2):157-158.
    Many weaknesses of game theory are cured by new models that embody simple cognitive principles, while maintaining the formalism and generality that makes game theory useful. Social preference models can generate team reasoning by combining reciprocation and correlated equilibrium. Models of limited iterated thinking explain data better than equilibrium models do; and they self-repair problems of implausibility and multiplicity of equilibria.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   71 citations  
  • Axiomatic Characterization of the AGM Theory of Belief Revision in a Temporal Logic.Giacomo Bonanno - 2007 - Artificial Intelligence 171 (2-3):144-160.
    Since belief revision deals with the interaction of belief and information over time, branching-time temporal logic seems a natural setting for a theory of belief change. We propose two extensions of a modal logic that, besides the next-time temporal operator, contains a belief operator and an information operator. The first logic is shown to provide an axiomatic characterization of the first six postulates of the AGM theory of belief revision, while the second, stronger, logic provides an axiomatic characterization of the (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   16 citations  
  • Logic as Marr's Computational Level: Four Case Studies.Giosuè Baggio, Michiel van Lambalgen & Peter Hagoort - 2015 - Topics in Cognitive Science 7 (2):287-298.
    We sketch four applications of Marr's levels‐of‐analysis methodology to the relations between logic and experimental data in the cognitive neuroscience of language and reasoning. The first part of the paper illustrates the explanatory power of computational level theories based on logic. We show that a Bayesian treatment of the suppression task in reasoning with conditionals is ruled out by EEG data, supporting instead an analysis based on defeasible logic. Further, we describe how results from an EEG study on temporal prepositions (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  • Logic as Marr's Computational Level: Four Case Studies.Giosuè Baggio, Michiel Lambalgen & Peter Hagoort - 2015 - Topics in Cognitive Science 7 (2):287-298.
    We sketch four applications of Marr's levels-of-analysis methodology to the relations between logic and experimental data in the cognitive neuroscience of language and reasoning. The first part of the paper illustrates the explanatory power of computational level theories based on logic. We show that a Bayesian treatment of the suppression task in reasoning with conditionals is ruled out by EEG data, supporting instead an analysis based on defeasible logic. Further, we describe how results from an EEG study on temporal prepositions (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  • How Can the Human Mind Occur in the Physical Universe?John R. Anderson - 2007 - Oup Usa.
    The human cognitive architecture consists of a set of largely independent modules associated with different brain regions. This book discusses in detail how these various modules can combine to produce behaviours as varied as driving a car and solving an algebraic equation.
    Direct download  
     
    Export citation  
     
    Bookmark   91 citations  
  • Vision.David Marr - 1982 - W. H. Freeman.