advertise laitec sharif univercity تبلیغات در سایت سورس کد تبلیغات در سایت سورس کد
دانلود پروژه کامل مهندسی نرم افزار ، شرکت نرم افزاری

دانلود پروژه کامل مهندسی نرم افزار ، شرکت نرم افزاری

3000 تومان
دانلود پروژه معمای 8 با الگوریتم ژنتیک در سی شارپ

دانلود پروژه معمای 8 با الگوریتم ژنتیک در سی شارپ

3000 تومان
دانلود مجموعه 100 سورس ساده و ابتدایی با سی پلاس پلاس

دانلود مجموعه 100 سورس ساده و ابتدایی با سی پلاس پلاس

5000 تومان
دانلود پروژه وب سایت هتل با HTML و ASP.NET

دانلود پروژه وب سایت هتل با HTML و ASP.NET

4900 تومان
سورس پروژه پایانی وب سایت و نرم افزار کلینیک در ASP.net

سورس پروژه پایانی وب سایت و نرم افزار کلینیک در ASP.net

22000 تومان

آموزش هوش مصنوعی و رباتیک|صفحه 6

الگوریتم استنتاج (ایجاب) در منطق گزاره ای

  • تاریخ ثبت : ۱۳۹۳/۱۲/۱۹
  • توسط : مدیر
الگوریتم استنتاج (ایجاب) در منطق گزاره ای

الگوریتم مربوط به استنتاج، روش بازرسی مدل است که تعریف ایجاب از KB را بطور مستقیم پیاده سازی میکند: شمارش مدل ها و بررسی این نکته که آیا در هر مدلی که KB درست است، جمله ای مثل a نیز درست هست یا خیر. مدلها، انتساب های true یا false به هر نماد گزاره ای هستند.

ادامه مطلب

اثبات قضیه گزاره ای در هوش مصنوعی AI

  • تاریخ ثبت : ۱۳۹۳/۱۲/۱۹
  • توسط : مدیر
اثبات قضیه گزاره ای در هوش مصنوعی AI

منظور از اثبات قضیه، اجرای مستقیم قوانین استنتاج بر روی دستورات موجود در پایگاه دانش منطق گزاره ای هوش مصنوعی برای اثبات جمله مطلوب، بدون استفاده از مدل است.

ادامه مطلب

استنتاج از طریق تحلیل برای منطق گزاره ای هوش مصنوعی

  • تاریخ ثبت : ۱۳۹۳/۱۲/۲۰
  • توسط : مدیر
استنتاج از طریق تحلیل برای منطق گزاره ای هوش مصنوعی

رویه های استنتاج مبتنی بر تحلیل،برای منطق گزاره ای هوش مصنوعی بر اساس اصل اثبات برهان خلف کار میکنند، یعنی برای اینکه نشان دهیم KB بر α دلالت میکند یا خیر مشخص میکنیم (KBʌ¬α) ارضاپذیر نیست.

ادامه مطلب

الگوریتم زنجیره پیشرو forward chaining برای منطق گزاره ای

  • تاریخ ثبت : ۱۳۹۳/۱۲/۲۱
  • توسط : مدیر
الگوریتم زنجیره پیشرو forward chaining برای منطق گزاره ای

الگوریتم زنجیره پیشرو یعنی (PL-FC-ENTAILS?(KB,q تعیین میکند آیا نماد گزاره ای q (پرس و جو) توسط پایگاه دانشی از کلازهای معین، ایجاب میشود یا خیر. این الگوریتم با حقایق معلومی در پایگاه دانش شروع می کند. اگر تمام مقدم های ایجاب معلوم باشند، آنگاه تالی آن به مجموعه ای از حقایق معلوم اضافه میشود.

ادامه مطلب

الگوریتم دیویس پوتنام DPLL

  • تاریخ ثبت : ۱۳۹۳/۱۲/۲۴
  • توسط : مدیر
الگوریتم دیویس پوتنام DPLL

الگوریتم (DPLL (Davis-Putnam algorithm متکی به الگوریتم جست وجوی عقبگرد است که از الگوریتم های کارآمد در استنتاج گزاره ای مبتنی بر بازرسی مدل میباشد. این الگوریتم به بررسی قابلیت ارضا شدن، یعنی مساله SAT مربوط میشود.

ادامه مطلب

الگوریتم جست وجوی محلی WALKSAT

  • تاریخ ثبت : ۱۳۹۳/۱۲/۲۷
  • توسط : مدیر
الگوریتم جست وجوی محلی WALKSAT

الگوریتم WALKSAT خانواده ای از الگوریتم های کارآمد در استنتاج گزاره ای مبتنی بر بازرسی مدل است که در هر تکرار یک کلاز ارضا نشده را انتخاب میکند و نمادی را از کلاز انتخاب میکند تا تغییر دهد.

ادامه مطلب

الگوریتم برنامه ریزی گزاره ای SATPLAN

  • تاریخ ثبت : ۱۳۹۴/۰۱/۰۶
  • توسط : مدیر
الگوریتم برنامه ریزی گزاره ای SATPLAN

در رویه برنامه ریزی گزاره ای SATPLAN چون عامل نمیداند چند مرحله باید طی کند تا به هدف برسد، الگوریتم، هر تعداد ممکن از مراحل (t) را تست میکند تا به حداکثر طول ممکن برنامه ریزی، یعنی Tmax برسد. در این روش تضمین میشود که کوتاه ترین برنامه ریزی در صورت وجود پیدا شود

ادامه مطلب

مهندسی دانش در منطق مرتبه اول عامل های هوش مصنوعی

  • تاریخ ثبت : ۱۳۹۴/۰۱/۰۸
  • توسط : مدیر
مهندسی دانش در منطق مرتبه اول عامل های هوش مصنوعی

مهندسی دانش در منطق مرتبه اول ، فرآیند کلی ساخت پایگاه دانش را توضیح میدهد.پروژه های مهندسی دانش از نظر تعداد، حوزه، و دشواری بسیار متفاوت هستند ولی تمام این پروژه ها دارای مراحل یکسانی هستند که در ادامه بیان میکنیم

ادامه مطلب
advertise
traveling saleperson problemزبان برنامه ریزی PDDLابتکار سطح ماکزیمم در مسائل AIforward chaining algotithmالگوریتم جست وجوی سطحیمسئله دنیای جاروبرقی در هوش مصنوعیاستنتاج در CSP هاSATPLAN algorithmهوش مصنوعی انواع رباتهامفاهیم اولیه برنامه نویسی منطقی محدودشبه کد الگوریتم جست وجوی ژنتیکwhat is Artificial Intelligence?الگوریتم های جستوجوی ناآگاهانه dlsبرنامه ریزی کلاسیک در AIآموزش پیاده سازی الگوریتم جست وجوی تپه نوردیبرنامه ریزی ترتیب جزیی در مسئله های برنامه ریزی کلاسیکمحدودیت های ترجیحی در CSPالگوریتم شبیه سازی annealingknowledge base agent in AIجستوجوی پیشرو از الگوریتم های برنامه ریزیمعرفی ابتکارهای برنامه ریزیالگوریتم جست وجو با عمق محدود چیست؟تنوع فرموله کردن مسائل ارضای محدودیتشبه کد الگوریتم جست وجوی simulated annealingجست وجوی اول-بهترین حریصانه لیست برچسب ها
تمامی حقوق این سایت اعم از محتوی ، تصاویر ، قالب و ... متعلق به گروه مهندسی وب سایت سورس کد می باشد.
SourceCodes.ir ، افقی روشن برای برنامه نویسان ، از مبتدی تا حرفه ای

سفارش پروژه در سورس کد

پیشنهادات ویژه سورس کد

پکیج ویژه پروژه پایانی رشته کامپیوتر دانلود مجموعه 70 پروژه کاربردی سی شارپ وب سایت فروشگاه با php