Formal Methods in DAI: Logic-Based Representation and Reasoning

This chapter contains sections titled: 8.1 Introduction, 8.2 Logical Background, 8.3 Cognitive Primitives, 8.4 BDI Implementations, 8.5 Coordination, 8.6 Communications, 8.7 Social Primitives, 8.8 Tools and Systems, 8.9 Conclusions, 8.10 Exercises, References