Intelligent Agents VI. Agent Theories, Architectures, and Languages: 6th International Workshop, ATAL’99, Orlando, Florida, USA, July 15-17, 1999. Proceedings

عامل‌های هوشمند یکی از مهم‌ترین پیشرفت‌ها در علوم کامپیوتر در دهه 1990 هستند. عامل ها در بسیاری از زمینه های کاربردی مهم، از تعامل انسان و کامپیوتر تا کنترل فرآیند صنعتی، مورد توجه هستند. مجموعه کارگاه های ATAL با هدف گرد هم آوردن محققان علاقه مند به جنبه های اصلی فناوری عامل است. به طور خاص، ATAL به موضوعاتی مانند سه عامل، معماری های نرم افزاری برای عوامل هوشمند، روش ها و زبان های برنامه نویسی برای تحقق عامل ها، و ابزارهای نرم افزاری برای توسعه و ارزیابی سیستم های عامل می پردازد. یکی از نقاط قوت مجموعه کارگاه های ATAL تاکید آن بر هم افزایی بین تئوری ها، زیرساخت ها، معماری ها، متدولوژی ها، روش های رسمی و زبان ها است. کارگاه امسال روند ATAL را برای جذب تعداد زیادی از ارسالی با کیفیت بالا ادامه داد. با جزئیات بیشتر، 75 مقاله از 19 کشور به کارگاه ATAL-99 ارسال شد. پس از بررسی دقیق، 22 مقاله برای ارائه در کارگاه پذیرفته شد. پس از کارگاه، این مقالات بر اساس نظرات دریافت شده هم از داوران اصلی و هم از بحث های خود کارگاه بازبینی شدند. این جلد شامل این مقالات تجدید نظر شده است.

Intelligent agents are one of the most important developments in computer science in the 1990s. Agents are of interest in many important application areas, ranging from human-computer interaction to industrial process control. The ATAL workshop series aims to bring together researchers interested in the core aspects of agent technology. Speci?cally, ATAL addresses issues such as th- ries of agency, software architectures for intelligent agents, methodologies and programming languages for realizing agents, and software tools for developing and evaluating agent systems. One of the strengths of the ATAL workshop series is its emphasis on the synergies between theories, infrastructures, architectures, methodologies, formal methods, and languages. This year’s workshop continued the ATAL trend of attracting a large n- ber of high-quality submissions. In more detail, 75 papers were submitted to the ATAL-99 workshop, from 19 countries. After stringent reviewing, 22 papers wereacceptedforpresentationattheworkshop.Aftertheworkshop,thesepapers were revised on the basis of comments received both from the original reviewers and from discussions at the workshop itself. This volume contains these revised papers.