 artificial intelligence: logic and |  cognitive science |  folk psychology: as a theory |  folk psychology: as mental simulation |  induction: problem of |  learning theory, formal |  logic: action |  mental representation |  mind: computational theory of 