Modeling of individual beliefs is essential to the computer understanding of natural languages. Phenomena at all levels -- syntactic, semantic, and pragmatic -- cannot be fully analyzed in the absence of models of a hearer and of the hearer's model of other believers. The heart of this text is the presentation of an artificial intelligence (AI) program intended to simulate certain aspects of a human believer. This book provides a prolog program, Viewgen,...