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.
|Name||CEUR Workshop Proceedings|
|Workshop||Proceedings of the 1st International Workshop on Artificial Intelligence and Cognition (AIC 2013)|
|Period||1/01/13 → …|