Intelligent Agents VII Agent Theories Architectures and Languages: 7th International Workshop, ATAL 2000 Boston, MA, USA, July 7–9, 2000 Proceedings

عامل‌های هوشمند یکی از مهم‌ترین پیشرفت‌ها در علوم کامپیوتر در دهه گذشته هستند. عامل ها در بسیاری از زمینه های کاربردی مهم، از تعامل انسان و رایانه تا کنترل فرآیند صنعتی، مورد توجه هستند. مجموعه کارگاه های آموزشی ATAL با هدف گرد هم آوردن محققان علاقه مند به جنبه های اصلی و خرد فناوری عامل است. به طور خاص، ATAL به موضوعاتی مانند نظریه‌های نمایندگی، معماری‌های نرم‌افزار برای عامل‌های هوشمند، روش‌شناسی و زبان‌های برنامه‌نویسی برای عوامل rlizing، و ابزارهای نرم‌افزاری برای اعمال و ارزیابی سیستم‌های عامل می‌پردازد. یکی از مجموعه‌های قوی کارگاه‌های ATAL بر هم‌افزایی بین نظریه‌ها، زبان‌ها، معماری‌ها، زیرساخت‌ها، متدولوژی‌ها و روش‌های رسمی تاکید دارد. کارگاه امسال روند ATAL را برای جذب تعداد زیادی از آثار ارسالی با کیفیت بالا ادامه داد. با جزئیات بیشتر، 71 مقاله از 21 کشور به کارگاه ATAL 2000 ارسال شد. پس از بررسی دقیق، 22 مقاله برای چاپ پذیرفته شد و در این جلسات ارائه شد. مانند کارگاه های قبلی در این مجموعه، ما تصمیم گرفتیم بر آنچه که از نظر ما مهم است، تاکید کنیم. طرح‌های امسال با این واقعیت مرتبط بودند که فناوری عوامل هوشمند و سیستم‌های چند عامله شروع به مهاجرت از آزمایشگاه‌های تحقیقاتی به مراکز مهندسی نرم‌افزار کرده است. از آنجایی که عامل ها در برنامه هایی مانند تجارت الکترونیکی مستقر می شوند و شروع به پذیرفتن مسئولیت ها برای کاربران انسانی خود می کنند، تکنیک های کنترل استقلال آنها بسیار مهم می شود. همچنین، در دسترس بودن ابزارهایی که طراحی و پیاده‌سازی سیستم‌های عامل را تسهیل می‌کنند، عامل مهمی در سرعت استفاده گسترده این فناوری می‌شود.

Intelligent agents are one of the most important developments in computer science of the past decade. 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/micro aspects of agent technology. Speci?cally, ATAL addresses issues such as theories of agency, software architectures for intelligent agents, methodologies and programming languages for r- lizing agents, and software tools for applying and evaluating agent systems. One of the strengthsoftheATALworkshopseriesisitsemphasisonthesynergiesbetweentheories, languages, architectures, infrastructures, methodologies, and formal methods. This year s workshop continued the ATAL trend of attracting a large number of high quality submissions. In more detail, 71 papers were submitted to the ATAL 2000 workshop, from 21 countries. After stringent reviewing, 22 papers were accepted for publication and appear in these proceedings. As with previous workshops in the series, we chose to emphasize what we perceive asimportantnewthemesinagentresearch. Thisyear sthemeswerebothassociatedwith the fact that the technology of intelligent agents and multi-agent systems is beginning to migrate from research labs to software engineering centers. As agents are deployed in applications such as electronic commerce, and start to take over responsibilities for their human users, techniques for controlling their autonomy become crucial. As well, the availability of tools that facilitate the design and implementation of agent systems becomes an important factor in how rapidly the technology will achieve widespread use.