Abstraction, Reformulation, and Approximation: 5th International Symposium, SARA 2002 Kananaskis, Alberta, Canada August 2–4, 2002 Proceedings

از بدو پیدایش هوش مصنوعی (AI) مشخص شده است که انتزاع‌ها، فرمول‌بندی مجدد مسئله و تقریب‌ها (AR&A) برای استدلال عقل سلیم انسانی و حل مسئله و توانایی سیستم‌ها برای استدلال مؤثر در حوزه‌های پیچیده، مرکزی هستند. تکنیک‌های AR&A برای حل انواع وظایف، از جمله برنامه‌نویسی خودکار، رضایت از محدودیت، طراحی، تشخیص، یادگیری ماشین، جستجو، برنامه‌ریزی، استدلال، بازی کردن، زمان‌بندی و اثبات قضیه استفاده شده‌اند. هدف اصلی تکنیک‌های AR&A در چنین تنظیماتی، غلبه بر سخت‌ناپذیری محاسباتی است. علاوه بر این، تکنیک های AR&A برای تسریع یادگیری و برای خلاصه کردن مجموعه ای از راه حل ها مفید هستند. این جلد شامل مجموعه مقالات SARA 2002، پنجمین سمپوزیوم در مورد انتزاع، اصلاح فرمول و تقریب است که در اقامتگاه کوهستانی Kananaskis، روستای Kananaskis، آلبرتا (کانادا)، 2 4 اوت 2002 برگزار شد. مجموعه SARA ادامه دو موضوع جداگانه است. کارگاه‌های آموزشی: کارگاه‌های AAAI در سال‌های 1990 و 1992، و مجموعه‌ای ویژه که با کارگاه «تدوین دانش» در سال 1986 و کارگاه «تغییر بازنمایی و تعصب استقرایی» در سال 1988 با کارگاه‌های بعدی در سال‌های 1990 و 199 آغاز شد. این دو مجموعه کارگاهی در سال 1994 با هم ادغام شدند و اولین SARA را تشکیل دادند. ساراهای بعدی در سالهای 1995، 1998 و 2000 برگزار شد.

It has been recognized since the inception of Artificial Intelligence (AI) that abstractions, problem reformulations, and approximations (AR&A) are central to human common sense reasoning and problem solving and to the ability of systems to reason effectively in complex domains. AR&A techniques have been used to solve a variety of tasks, including automatic programming, constraint satisfaction, design, diagnosis, machine learning, search, planning, reasoning, game playing, scheduling, and theorem proving. The primary purpose of AR&A techniques in such settings is to overcome computational intractability. In addition, AR&A techniques are useful for accelerating learning and for summarizing sets of solutions. This volume contains the proceedings of SARA 2002, the fifth Symposium on Abstraction, Reformulation, and Approximation, held at Kananaskis Mountain Lodge, Kananaskis Village, Alberta (Canada), August 2 4, 2002. The SARA series is the continuation of two separate threads of workshops: AAAI workshops in 1990 and 1992, and an ad hoc series beginning with the "Knowledge Compilation" workshop in 1986 and the "Change of Representation and Inductive Bias" workshop in 1988 with followup workshops in 1990 and 1992. The two workshop series merged in 1994 to form the first SARA. Subsequent SARAs were held in 1995, 1998, and 2000.