A specification-aware modeling of mental model theory for syllogistic reasoning

Yutaro Sugimoto, Yuri Sato

Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBN

Abstract

Computational cognitive models can embody the structures and processes proposed in a cognitive theory. However, they do not necessarily reveal the theory’s underlying assumptions and specifications. This study aims to bridge the gap between cognitive theory and its computational implementation, focus- ing on a case of mental model theory on human reasoning. Using a mathematics-based and statically-typed programming language (Haskell), we provide a specification-aware compu- tational implementation of syllogistic reasoning with mental models.
Original languageEnglish
Title of host publicationProceedings of the13th International Conference on Cognitive Modeling (ICCM 2015)
Place of PublicationGroningen, the Netherlands: University of Groningen
Pages31-36
Number of pages6
Publication statusPublished - 1 Jan 2015
EventProceedings of the13th International Conference on Cognitive Modeling (ICCM 2015) - Groningen, the Netherlands, 2015
Duration: 1 Jan 2015 → …

Conference

ConferenceProceedings of the13th International Conference on Cognitive Modeling (ICCM 2015)
Period1/01/15 → …

Fingerprint Dive into the research topics of 'A specification-aware modeling of mental model theory for syllogistic reasoning'. Together they form a unique fingerprint.

  • Cite this

    Sugimoto, Y., & Sato, Y. (2015). A specification-aware modeling of mental model theory for syllogistic reasoning. In Proceedings of the13th International Conference on Cognitive Modeling (ICCM 2015) (pp. 31-36). http://www.cognitive-modeling.com/proceedings/papers/0006/index.html