Abstract:
We present a formal syntax and semantics for SNePS considered as the (modeled) mind of a cognitive agent. The semantics is based on a Meinongian theory of the intensional objects of thought that is appropriate for AI considered as "computational philosophy" or "computational psychology".