Computational Logic in Multi-Agent Systems: 5th International Workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004, Revised Selected and Invited Papers

مفهوم نمایندگی اخیراً تأثیر خود را در تحقیق و توسعه سیستم های مبتنی بر منطق محاسباتی افزایش داده است، در حالی که در عین حال به طور قابل توجهی از دهه ها تحقیق در منطق محاسباتی سود می برد. منطق محاسباتی چارچوبی دقیق، کلی و دقیق برای مطالعه مالیات، معناشناسی و رویه‌ها، برای پیاده‌سازی‌ها، محیط‌ها، ابزارها و استانداردها فراهم می‌کند و ارتباط همیشه مهم بین مشخصات و اعتبار محاسباتی را تسهیل می‌کند. سیستم های. هدف از مجموعه کارگاه‌های بین‌المللی منطق محاسباتی در سیستم‌های چند عاملی (CLIMA) بحث تکنیک‌های مبتنی بر منطق محاسباتی برای نمایش، برنامه‌نویسی و استدلال در مورد سیستم‌های چند عاملی به روشی رسمی است. نسخه های قبلی CLIMA همراه با دیگر رویدادهای منطق محاسباتی و هوش مصنوعی اصلی مانند CL در جولای 2000، ICLP در دسامبر 2001، FLoC در آگوست 2002، و LPNMR و AI-Math در ژانویه 2004 انجام شد. پنجمین ویرایش CLIMA برگزار شد. لیسبون، پرتغال، در 29 تا 30 سپتامبر 2004. ما، به عنوان سازمان دهندگان، با کمیته راهبریCLIMA به توافق رسیدیم، با نهمین کنفرانس اروپایی منطق در هوش مصنوعی (JELIA 2004)، که مایل به ترویج موضوعات تحقیقاتی CLIMA در سراسر جهان هستیم. جامعه منطق در هوش مصنوعی، جامعه ای که علاقه فزاینده آن به مسائل چند عاملی با تعداد زیادی از مقالات مرتبط با عامل ارائه شده به نسخه های اخیر JELIA نشان داده شده است. این کارگاه 35 ارسال دریافت کرد - یک افزایش معقول نسبت به نسخه قبلی. مقالات ارسالی نشان داد که مبانی نظری سیستم های چند عاملی توسط یک جامعه بزرگ به عنوان یک موضوع تحقیقاتی بسیار مهم است که باید به هوش مصنوعی کلاسیک و مسائل مربوط به عامل پرداخته شود.

The notion of agency has recently increased its in?uence in the research and - velopment of computational logic based systems, while at the same time sign- cantly gaining from decades of research in computational logic. Computational logic provides a well-de?ned, general, and rigorous framework for studying s- tax, semantics and procedures, for implementations, environments, tools, and standards, facilitating the ever important link between speci?cation and ver- cation of computational systems. The purpose of the Computational Logic in Multi-agent Systems (CLIMA) international workshop series is to discuss techniques, based on computational logic, for representing, programming, and reasoning about multi-agent systems in a formal way. Former CLIMA editions were conducted in conjunction with other major computational logic and AI events such as CL in July 2000, ICLP in December 2001, FLoC in August 2002, and LPNMR and AI-Math in January 2004. The ?fth edition of CLIMA was held Lisbon, Portugal, in September 29–30, 2004.We,asorganizers,andinagreementwiththeCLIMASteeringCommittee, opted for co-location with the 9th European Conference on Logics in Arti?cial Intelligence (JELIA 2004), wishing to promote the CLIMA research topics in the broader community of logics in AI, a community whose growing interest in multi-agent issues has been demonstrated by the large number of agent-related papers submitted to recent editions of JELIA. The workshop received 35 submissions – a sensible increase from the previous edition.Thesubmittedpapersshowedthatthelogicalfoundationsofmulti-agent systems are felt by a large community to be a very important research topic, upon which classical AI and agent-related issues are to be addressed.