A major challenge motivated by this is the formulation of useful theories of resource bounded knowledge that would provide us with appropriate tools for analyzing such questions.
Traditional formalizations are primarily concerned with identifying different kinds of illocutions.
Foundations of knowledge for distributed systems . In Halpern, Joseph Y., editor, Theoretical Aspects of Reasoning About Knowledge. Michael J. Fischer and Neil Immerman. Foundations of knowledge for distributed systems . The theory developed in the paper may be used in the design and analysis of multiagent systems in the following way.