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

Yutaro Sugimoto; Yuri Sato

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

Yutaro Sugimoto, Yuri Sato

University of Brighton

Research output: Chapter in Book/Conference proceeding with ISSN or ISBN › Conference contribution with ISSN or ISBN › peer-review

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 language	English
Title of host publication	Proceedings of the13th International Conference on Cognitive Modeling (ICCM 2015)
Place of Publication	Groningen, the Netherlands: University of Groningen
Pages	31-36
Number of pages	6
Publication status	Published - 1 Jan 2015
Event	Proceedings of the13th International Conference on Cognitive Modeling (ICCM 2015) - Groningen, the Netherlands, 2015 Duration: 1 Jan 2015 → …

Conference

Conference	Proceedings of the13th International Conference on Cognitive Modeling (ICCM 2015)
Period	1/01/15 → …

Access to Document

http://www.cognitive-modeling.com/proceedings/papers/0006/index.htmlLicence: Unspecified

Cite this

@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{\textquoteright}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 = jan,

day = "1",

language = "English",

pages = "31--36",

booktitle = "Proceedings of the13th International Conference on Cognitive Modeling (ICCM 2015)",

note = "Proceedings of the13th International Conference on Cognitive Modeling (ICCM 2015) ; Conference date: 01-01-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. <http://www.cognitive-modeling.com/proceedings/papers/0006/index.html>

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 ISBN › Conference contribution with ISSN or ISBN › peer-review

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

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

Y2 - 1 January 2015

ER -

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

Abstract

Conference

Access to Document

Fingerprint

Cite this