information:classification
Formalization

There is no agreed formalization of Speech Act theory. In 1985, John Searle and D. Vandervecken attempted to give some grounds of an illocutionary logic. Other attempts have been proposed by Per Martin-Löf for a treatment of the concept of assertion inside intuitionistic type theory, and by Carlo Dalla Pozza, with a proposal of a formal pragmatics connecting propositional content (given with classical semantics) and illocutionary force (given by intuitionistic semantics). Up to now the main basic formal applications of speech act theory are to be found in the field of human–computer interaction in chatboxes and other tools. Recent work in artificial intelligence proposes a Bayesian approach to formalize speech acts