A Formal Computational Semantics and Pragmatics of Speech Acts

This paper outlines a formal computational semantics and pragmatics of the major speech act types. A theory of force is given that allows us to give a semantically and pragmaticaly motivated taxonomy of speech acts. The relevance of the communication theory to complex distribution artificial intellince, DAI, systems is described.