Reasoning about Mental States: Formal Theories & Applications
Papers from the AAAI Spring Symposium
John Horty and Yoav Shoham, ProgramChairs
This technical report focuses on formalisms for reasoning about mentalistic notions, and also the design of systems that rely on or incorporate such notions. The aim of the preliminary papers in this report is to help focus research on the development of precise theories for reasoning about a variety of mental states.