موضوع فارسی :برنامه ریزی اثبات با استراتژی های متعدد
موضوع انگلیسی :Proof planning with multiple strategies
تعداد صفحه :29
فرمت فایل :PDF
سال انتشار :2008
زبان مقاله : انگلیسی
برنامه ریزی اثبات یک تکنیک برای اثبات قضیه که جایگزین جستجو فوق العاده کارآمد اما کور از اثبات قضیه کلاسیک است
سیستم توسط یک فرآیند برنامه ریزی مبتنی بر دانش اطلاع داد که در استخدام دانش ریاضی در سطح انسان گرا از
انتزاع - مفهوم - برداشت. برنامه ریزی ضد استاندارد با استفاده از روش به عنوان اپراتور و قوانین کنترل برای پیدا کردن یک طرح ضد انتزاعی است که می تواند
گسترش (با استفاده از تاکتیک) را به سطح از حساب منطق.
در این مقاله، ما اصلاحات انعطاف پذیر تر و اصلاح برنامه ریز اثبات با سطح استراتژیک اضافی از
کنترل بالاتر از قبلی مدیریت برنامه ریزی اثبات. این کنترل استراتژیک هدایت همکاری استراتژی حل مسئله
توسط متا استدلال است.
ما در حال حاضر یک چارچوب کلی برای اثبات برنامه ریزی با استراتژی های متعدد و توصیف اجرای آن در MULTI
سیستم. این مزایا با مطالعات موردی بزرگ، که به طور قابل توجهی فشار محدودیت چه می تواند توسط یک دست نشان داده شده