tjhorton@ai.toronto.edu ("Timothy J. Horton") (04/10/88)
Philip Johnstonn-Laird formulated a notion of "mental model"
recently, in his book aptly entitled "Mental Models" (1983).
It involved limited reasoning using lists of individuals in
various "figural" forms, that could be put together in ways
so as to come up with valid deductions from statements in-
terpreted in this fashion (ie. as mental models of this kind).
Does anyone know of a computational analysis of this kind of
reasoning? PJL has been referenced in all sorts of papers, from
psychology to AI knowledge representation, but has anybody ever
looked at showing what can and can't be accomplished with
something like this?
Thanks in advance,
Timothy J Horton (416) 979-3109 tjhorton@ai.toronto.edu (CSnet,UUCP,Bitnet)
Dept of Computer Science tjhorton@ai.utoronto (other Bitnet)
University of Toronto, tjhorton@ai.toronto.cdn (EAN X.400)
Toronto, Canada M5S 1A4 {seismo,watmath}!ai.toronto.edu!tjhorton