Towards a formalization of mental model reasoning for syllogistic fragments

Yutaro Sugimoto, Yuri Sato, Shigeyuki Nakayama

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

Abstract

In this study, Johnson-Laird and his colleagues’ mental model reasoning is formally analyzed as a non-sentential reasoning. Based on the recent developments in implementations of mental model theory, we formulate a mental model reasoning for syllogistic fragments in a way satisfying the requirement of formal specification such as mental model definition.
Original languageEnglish
Title of host publicationProceedings of the 1st International Workshop on Artificial Intelligence and Cognition (AIC 2013)
Place of PublicationAachen
PublisherCEUR
Pages140-145
Number of pages6
Volume1100
Publication statusPublished - 1 Jan 2013
EventProceedings of the 1st International Workshop on Artificial Intelligence and Cognition (AIC 2013) - Torino, Italy, 2013
Duration: 1 Jan 2013 → …

Publication series

NameCEUR Workshop Proceedings

Workshop

WorkshopProceedings of the 1st International Workshop on Artificial Intelligence and Cognition (AIC 2013)
Period1/01/13 → …

Fingerprint Dive into the research topics of 'Towards a formalization of mental model reasoning for syllogistic fragments'. Together they form a unique fingerprint.

  • Cite this

    Sugimoto, Y., Sato, Y., & Nakayama, S. (2013). Towards a formalization of mental model reasoning for syllogistic fragments. In Proceedings of the 1st International Workshop on Artificial Intelligence and Cognition (AIC 2013) (Vol. 1100, pp. 140-145). (CEUR Workshop Proceedings). Aachen: CEUR.