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

Specifications
Computer programming languages

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). Groningen, the Netherlands: University of Groningen.
Sugimoto, Yutaro ; Sato, Yuri. / A specification-aware modeling of mental model theory for syllogistic reasoning. Proceedings of the13th International Conference on Cognitive Modeling (ICCM 2015). Groningen, the Netherlands: University of Groningen, 2015. pp. 31-36
@inproceedings{7b153b624b9e4e00aad56872c1cdec8e,
title = "A specification-aware modeling of mental model theory for syllogistic reasoning",
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.",
author = "Yutaro Sugimoto and Yuri Sato",
year = "2015",
month = "1",
day = "1",
language = "English",
pages = "31--36",
booktitle = "Proceedings of the13th International Conference on Cognitive Modeling (ICCM 2015)",

}

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). Groningen, the Netherlands: University of Groningen, pp. 31-36, Proceedings of the13th International Conference on Cognitive Modeling (ICCM 2015), 1/01/15.

A specification-aware modeling of mental model theory for syllogistic reasoning. / Sugimoto, Yutaro; Sato, Yuri.

Proceedings of the13th International Conference on Cognitive Modeling (ICCM 2015). Groningen, the Netherlands: University of Groningen, 2015. p. 31-36.

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

TY - GEN

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

AU - Sugimoto, Yutaro

AU - Sato, Yuri

PY - 2015/1/1

Y1 - 2015/1/1

N2 - 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.

AB - 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.

M3 - Conference contribution with ISSN or ISBN

SP - 31

EP - 36

BT - Proceedings of the13th International Conference on Cognitive Modeling (ICCM 2015)

CY - Groningen, the Netherlands: University of Groningen

ER -

Sugimoto Y, Sato Y. A specification-aware modeling of mental model theory for syllogistic reasoning. In Proceedings of the13th International Conference on Cognitive Modeling (ICCM 2015). Groningen, the Netherlands: University of Groningen. 2015. p. 31-36