Multi-Agent Programming:: Languages, Tools and Applications

این کتاب، همراه با کار قبلی برنامه‌نویسی چند عاملی: زبان‌ها، پلتفرم‌ها و برنامه‌ها، وضعیت به روز شده‌ای از هنر مرتبط با برنامه نویسی سیستم های چند عاملی

این جلد شامل فصل‌هایی است که زبان‌های برنامه‌نویسی و پلتفرم‌های آن‌ها را توصیف می‌کند، در مورد ویژگی‌های زبان‌ها، مکانیسم‌های ارتباطی که ارائه می‌کنند، مدل اجرای زیربنایی و مفسرها، بیان آن‌ها، احتمالات تأیید، و اصول مهندسی نرم‌افزاری که آنها ارائه می‌کنند، صحبت می‌کند. دنبال کردن. فصول اضافی انواع مختلفی از ابزارهای توسعه مانند ابزارهای اشکال زدایی، ابزارهای تست، ابزارهای مدل سازی، مصنوعات محیطی و محیط های توسعه یکپارچه (IDE) را ارائه و ارزیابی می کنند. همچنین شامل یک فصل اختصاص داده شده به یک برنامه خاص است که یک محیط چند عاملی برای مذاکره فراهم می کند. این فصل نحوه طراحی و تعیین سیستم چند عامله هدف را توضیح می‌دهد.

موضوعات ویژه شامل موارد زیر است:

<. P>
• MetateM، رویکردی برای دریافت ماهیت پویای عوامل و گروه‌های آنها

• زبان IndiGolog، پیاده سازی آن، و کاربردهایی که با آن انجام شده است

• برامز، چند - زبان مدل سازی عامل برای شبیه سازی تمرین کار انسانی، که در حال حاضر در ناسا استفاده می شود

• GOAL، یک هدف بالا زبان سطح برای برنامه ریزی عوامل منطقی که انتخاب عمل خود را از باورها و اهداف خود می گیرند

• JIAC، یک چارچوب عامل مبتنی بر جاوا با تاکید بر الزامات صنعتی مانند استانداردهای نرم افزار، امنیت، مدیریت و مقیاس پذیری

• Agent Factory، چارچوبی منسجم برای توسعه و استقرار سیستم های چند عامله

• یک ابزار f یا تولید کیس های آزمایشی برای تست واحد سیستم های مبتنی بر عامل و ابزاری برای اشکال زدایی برنامه های عامل با نظارت بر سیستم در حال اجرا

• یک پلت فرم و زیرساختی که یک مدل برنامه نویسی همه منظوره برای ساختن جهان های محاسباتی مشترک (به نام "محیط های کاری") ارائه می دهد که عوامل، احتمالاً متعلق به پلتفرم های عامل ناهمگن هستند، می توانند از آن برای کار با یکدیگر در یک Multi-Agent استفاده کنند. سیستم

• بررسی دقیق چشم انداز ابزارهای توسعه عامل محور موجود
< P>

• سیستم تجزیه و تحلیل مذاکرات چند موضوعی (SAMIN)، که محیط مذاکره ای را ارائه می دهد که از ایجاد تنظیمات مختلف مذاکره و بحث در مورد برخی از نتایج تجربی

• یک ضمیمه، خلاصه هر یک از شش عامل زبان های برنامه نویسی ارائه شده در کتاب

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

This book, along with the previous work Multi-Agent Programming: Languages, Platforms and Applications, provides and maintains an updated state of the art related to Multi-Agent Systems programming.

This volume includes chapters describing programming languages and their platforms, discussing the features of the languages, the communication mechanisms they provide, their underlying execution model and interpreters, their expressiveness, verification possibilities, and the software engineering principles that they follow. Additional chapters present and evaluate various types of development tools such as debugging tools, testing tools, modelling tools, environment artifacts, and integrated development environments (IDEs). Also included is a chapter dedicated to a specific application providing a multi-agent environment for negotiation; the chapter describes how the target multi-agent system has been designed and specified.

Specific topics featured include:

• MetateM, an approach to capture the dynamic nature of agents and their groups

• the IndiGolog language, its implementation, and applications that have been realized with it

• Brahms, a multi-agent modelling language for simulating human work practice, currently used at NASA

• GOAL , a high-level language to program rational agents that derive their choice of action from their beliefs and goals

• JIAC, a Java-based agent framework with an emphasis on industrial requirements such as software standards, security, management, and scalability

• Agent Factory, a cohesive framework for the development and deployment of multi-agent systems

• a tool for generating test cases for unit testing of agent-based systems, and a tool for debugging agent programs by monitoring a running system

• a platform and infrastructure that provide a general-purpose programming model for building shared computational worlds (called ‘work environments’) that agents, possibly belonging to heterogeneous agent platforms, can exploit to work together within a Multi-Agent System

• a detailed investigation of the landscape of available agent-oriented development tools

• System for Analysis of Multi-Issue Negotiation (SAMIN), which offers a negotiation environment that supports and facilitates the creation of various negotiation setups and discusses some of the experimental results

• an appendix, summarizing each of the six agent programming languages presented in the book

Multi-Agent Programming: Languages, Tools and Applications presents a number of mature and influential multi-agent programming languages, platforms, development tools and methodologies, and realistic applications, summarizing the most current developments in an accessible manner for professionals and computer science students at all levels.