Declarative Agent Languages and Technologies III: Third International Workshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005, Selected and Revised Papers

کارگاه زبان‌ها و فن‌آوری‌های عامل اعلامی، مکانی است که ما برای محققان علاقه‌مند به اشتراک‌گذاری تجربیات خود در زمینه‌های جنبه‌های اعلامی و رسمی عامل‌ها و سیستم‌های چند عاملی، و مهندسی و فناوری ایجاد کرده‌ایم. امروزه توسعه فناوری‌هایی که می‌توانند نیازهای سیستم‌های عامل پیچیده را برآورده کنند، هنوز یک چالش است. طراحی و توسعه سیستم‌های چند عاملی همچنان نیازمند مدل‌ها و فناوری‌هایی است که پیش‌بینی‌پذیری را تضمین می‌کنند، امکان کشف ویژگی‌ها را فراهم می‌کنند، امکان تأیید ویژگی‌ها را فراهم می‌کنند و قابلیت انعطاف را تضمین می‌کنند. رویکردهای اعلامی به طور بالقوه وسیله ای ارزشمند برای برآوردن نیازهای توسعه دهندگان سیستم چند عاملی و برای مشخص کردن سیستم های چند عاملی هستند. DALT 2005، سومین ویرایش کارگاه، در اوترخت، هلند، در ژوئیه 2005، همراه با AAMAS 2005، چهارمین کنفرانس مشترک بین المللی در مورد عوامل و سیستم های چند عاملی برگزار شد. بیش از 30 نفر در این کارگاه شرکت کردند که موفقیت نسخه های قبلی در M-bourne 2003 (LNAI 2990) و نیویورک 2004 (LNAI 3476) را تأیید کردند. مجموعه کارگاه یک انجمن گفتگو با هدف حمایت از انتقال پارادایم‌ها و تکنیک‌های اعلامی به جامعه گسترده‌تر پژوهشگران و متخصصان عامل، و جلب مسائل مربوط به طراحی دنیای واقعی و سیستم‌های عامل پیچیده به توجه محققانی است که روی برنامه‌نویسی اعلامی و برنامه‌ریزی اعلامی کار می‌کنند. فن آوری ها.

The workshop on Declarative Agent Languages and Technologies is a we- established venue for researchers interested in sharing their experiences in the areas of declarative and formal aspects of agents and multi-agent systems, and in engineering and technology. Today it is still a challenge to develop techno- gies that can satisfy the requirements of complex agent systems. The design and development of multi-agent systems still calls for models and technologies that ensure predictability, enable feature discovery, allow for the veri?cation of properties, and guarantee ?exibility. Declarative approaches are potentially a valuable means for satisfying the needs of multi-agent system developers and for specifying multi-agent systems. DALT 2005, the third edition of the workshop, was held in Utrecht, The Netherlands, in July 2005, in conjunction with AAMAS 2005, the Fourth Int- national Joint Conference on Agents and Multiagent Systems. Over 30 persons attended the workshop con?rming the success of the previous editions in M- bourne 2003 (LNAI 2990) and New York 2004 (LNAI 3476). The workshop series is a forum of discussion aimed both at supporting the transfer of decla- tive paradigms and techniques into the broader community of agent researchers andpractitioners, and atbringing theissuesofdesigningreal-world andcomplex agent systems to the attention of researchers working on declarative progr- ming and technologies.