فی فوو

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

فی فوو

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

دانلود مقالات ISI یادگیری به کمک قضیه اثبات با میلیونها لم

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

موضوع فارسی : یادگیری به کمک قضیه اثبات با میلیونها  لم

موضوع انگلیسی : Learning-assisted  theorem  proving with millions of  lemmas

تعداد صفحه : 20

فرمت فایل :pdf

سال انتشار : 2015

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

چکیده

کتابخانه های رسمی ریاضی زیادی از میلیون ها شامل اتمی
که مراحل استنتاج و منجر به یک تعداد به اثبات رساند مربوطه
اظهارات (لم). شبیه به ریاضی گاه به گاه
عمل، تنها بخش کوچکی از چنین اظهاراتی است که به نام و دوباره
بعد از آن در ادله رسمی توسط ریاضی دانان استفاده می شود. در این کار، ما
پیشنهاد و پیاده سازی معیارهای تعریف سودمندی برآورد
از HOL نور لم برای اثبات این قضیه بیشتر. ما با استفاده از
این معیارها به معدن نمودار استنتاج زیادی از لم
در کتابخانه HOL نور و ذره، اضافه کردن به میلیون
از بهترین لم به استخر از اظهارات است که می تواند دوباره
مورد استفاده در اثبات بعد. ما نشان می دهد که در ترکیب با یادگیری
بر اساس فی ارتباط ltering، از جمله روش به طور قابل توجهی تقویت
اثبات قضیه خودکار از حدس جدید بیش از بزرگ رسمی
ذره: مانند کتابخانه ریاضی.

کلمات کلیدی: یادگیری ماشین هوش مصنوعی معدن ذره لم


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


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