Agent Theories, Architectures, and Languages: A Survey <s> Singh <s> Intentions are an important concept in several subfields of Artificial Intelligence. We present a formal theory of intentions and beliefs based on Discourse Representation Theory that captures many of the important logical aspects of the functional roles of intentions and beliefs, and of relationships among intentions, and between intentions and beliefs. Unlike possible worlds approaches, this theory does not assume that agents are perfect reasoners, and gives a realistic view of their internal architecture; unlike most representational approaches, it has an objective semantics, and does not rely on an ad hoc labeling of the internal states of agents. We then describe a minimal logic for intentions and beliefs. We close with several additional inferences, and the constraints on the model that correspond to them. <s> BIB001 </s> Agent Theories, Architectures, and Languages: A Survey <s> Singh <s> Agents in multiagent systems interact to a large extent by communicating. Such communication may be fruitfully studied from the point of view of speech act theory. In order for multiagent systems to be formally and rigorously designed and analyzed, a semantics of speech acts that gives their objective model-theoretic conditions of satisfaction is needed. However, most research into multiagent systems that deals with communication provides only informal descriptions of the different message types used. And this problem is not addressed at all by traditional speech act theory or by AI research into discourse understanding. I provide a formal semantics for the major kinds of speech acts at a level that has not been considered before. The resulting theory applies uniformly to a wide range of multiagent systems. Some applications of this theory are outlined, and some of its theorems listed. <s> BIB002
A quite different approach to modelling agents was taken by Singh, who has developed an interesting family of logics for representing intentions, beliefs, knowledge, know-how, and communication in a branching-time framework   BIB001 BIB002 . The model of intentions and beliefs is based on AsherKamp Discourse Representation Theory. Singh's formalism is extremely rich, and considerable effort has been devoted to establishing its properties. However, its complexity prevents a detailed discussion here.