کار تیمی در سیستم‌های چندعاملی: یک رویکرد صوری ۲۰۱۱
Teamwork in Multi-Agent Systems: A Formal Approach 2011

همکاری، هم در زندگی روزمره و هم در کاربردهای پیچیده، اهمیت فراوانی دارد. در واقع، بسیاری از وظایف برای انجام مؤثر، نیازمند بیش از یک عامل هستند. از این رو، کار تیمی حرف اول را می‌زند!

تیم‌ها، گروه‌های اجتماعی از عوامل هستند که به انجام وظایف مداوم و خاص اختصاص داده شده‌اند. در محیط‌های چندعاملی مدرن، تیم‌های ناهمگون اغلب از عوامل نرم‌افزاری خودکار، انواع مختلف ربات‌ها و انسان‌ها تشکیل شده‌اند.

کار تیمی در سیستم‌های چندعاملی: یک رویکرد صوری، قوانین کار تیمی را بر اساس نگرش‌های عوامل و تعامل پیچیده آن‌ها توضیح می‌دهد. این کتاب اولین نظریه منطقی جامع، TeamLog، را ارائه می‌دهد که زیربنای کار تیمی در محیط‌های پویا است. نویسندگان با نشان دادن TeamLog در عمل، انتخاب‌های طراحی را توجیه می‌کنند.

این کتاب، خواننده را از طریق بحثی جذاب در مورد مسائل ضروری برای موفقیت کار تیمی راهنمایی می‌کند:

* کار تیمی چیست، و چگونه یک دیدگاه منطقی از آن می‌تواند در طراحی تیم‌های عامل به ما کمک کند؟
* نقش آگاهی عوامل در یک محیط نامشخص و پویا چیست؟
* چگونه یک نیت جمعی، یک تیم را تشکیل می‌دهد؟
* چگونه تعهدات جمعی مبتنی بر برنامه با اقدام تیمی مرتبط هستند؟
* چگونه می‌توان تعهد جمعی را با ساختار سازمانی تیم و توانایی‌های ارتباطی آن تنظیم کرد؟
* مبانی روش‌شناختی کار تیمی در یک محیط پویا چیست؟
* چگونه یک تیم و نگرش‌های آن با شرایط متغیر سازگار می‌شوند؟
* چگونه نیت‌های جمعی و تعهدات جمعی از طریق گفت‌وگو ایجاد می‌شوند؟
* پیچیدگی محاسباتی TeamLog چقدر است؟
* چگونه می‌توان TeamLog را در برنامه‌ها کارآمد کرد؟

این کتاب یک منبع ارزشمند برای محققان و دانشجویان تحصیلات تکمیلی در علوم کامپیوتر و هوش مصنوعی و همچنین برای توسعه‌دهندگان سیستم‌های چندعاملی است. دانشجویان و محققان در علوم سازمانی، به ویژه کسانی که به بررسی کار تیمی می‌پردازند، نیز این کتاب را روشنگر خواهند یافت. از آنجایی که نویسندگان تلاش کرده‌اند تا TeamLog را به عنوان یک مدل مفهومی از کار تیمی معرفی کنند، درک بیشتر مطالب کتاب فقط به یک پیشینه منطقی اساسی نیاز دارد.

Cooperation matters, in daily life and in complex applications. After all, many tasks need more than a single agent to be effectively performed. Therefore, teamwork rules!

Teams are social groups of agents dedicated to the fulfilment of particular persistent tasks. In modern multiagent environments, heterogeneous teams often consist of autonomous software agents, various types of robots and human beings.

Teamwork in Multi-agent Systems: A Formal Approach explains teamwork rules in terms of agents’ attitudes and their complex interplay. It provides the first comprehensive logical theory, TeamLog, underpinning teamwork in dynamic environments. The authors justify design choices by showing TeamLog in action.

The book guides the reader through a fascinating discussion of issues essential for teamwork to be successful:

• What is teamwork, and how can a logical view of it help in designing teams of agents?
• What is the role of agents’ awareness in an uncertain, dynamic environment?
• How does collective intention constitute a team?
• How are plan-based collective commitments related to team action?
• How can one tune collective commitment to the team’s organizational structure and its communication abilities?
• What are the methodological underpinnings for teamwork in a dynamic environment?
• How does a team and its attitudes adjust to changing circumstances?
• How do collective intentions and collective commitments arise through dialogue?
• What is the computational complexity of TeamLog?
• How can one make TeamLog efficient in applications?

This book is an invaluable resource for researchers and graduate students in computer science and artificial intelligence as well as for developers of multi-agent systems. Students and researchers in organizational science, in particular those investigating teamwork, will also find this book insightful. Since the authors made an effort to introduce TeamLog as a conceptual model of teamwork, understanding most of the book requires solely a basic logical background.