زد فایل

مرجع دانلود فایل ,تحقیق , پروژه , پایان نامه , فایل فلش گوشی

زد فایل

مرجع دانلود فایل ,تحقیق , پروژه , پایان نامه , فایل فلش گوشی

دانلود مقاله ISI برنامه ریزی اثبات با استراتژی های متعدد

اختصاصی از زد فایل دانلود مقاله ISI برنامه ریزی اثبات با استراتژی های متعدد دانلود با لینک مستقیم و پر سرعت .

موضوع فارسی :برنامه ریزی اثبات با استراتژی های متعدد

موضوع انگلیسی :Proof planning with multiple strategies

تعداد صفحه :29

فرمت فایل :PDF

سال انتشار :2008

زبان مقاله : انگلیسی

 

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


دانلود با لینک مستقیم


دانلود مقاله ISI برنامه ریزی اثبات با استراتژی های متعدد
نظرات 0 + ارسال نظر
امکان ثبت نظر جدید برای این مطلب وجود ندارد.