Review of the theories on agents as intentional systems -- A formal theory of commitments -- Specification of reasoning behind interactions -- Modelling interactions in COSY agent architecture -- Summary and conclusion.

This book is devoted to the design and analysis of techniques enabling intelligent and dynamic cooperation and communication among agents in a distributed environment. A flexible theoretical formalism is developed in detail and it is demonstrated how this approach can be used for the design of agent architectures in practice. The formal part of this work is based on a variant of the BDI logic introduced by Georgeff and Rao. This book, for the first time, outlines this formalism in some depth. The most important practical benefit provided is the concept of cooperation protocols allowing the representation of various methods of cooperation and possible patterns of dialogue.