Presents a formal approach to dealing with agents & agent systems. This book discusses a framework that provides unambiguous meanings for common concepts & terms for agent systems, allowing for the description of alternative agent models & architectures, & serves as a foundation for development of increasingly refined agent concepts.