Knowing Intensional Individuals, and Reasoning About Knowing Intensional Individuals

This paper out l ines an approach toward computa t i ona l l y invest igat ing the processes involved in reasoning about the knowledge states of other cogn i t i ve agents. The approach is Fregean and is compared with the work of McCarthy and Creary. We describe how the formalism represents the knowing o f intensional i nd iv idua ls , c o r e f e r e n t i a l i t y , i t e r ated propos i t iona l a t t i t udes , and we describe plans to test, the scheme in the domain of speech act recogn i t ion .