advertise laitec sharif univercity تبلیغات در سایت سورس کد تبلیغات در سایت سورس کد
دانلود پروژه معمای 8 با الگوریتم ژنتیک در سی شارپ

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

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

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

3000 تومان
سورس پروژه دفترچه تلفن ساده در سی شارپ #c و بانک Access

سورس پروژه دفترچه تلفن ساده در سی شارپ #c و بانک Access

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

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

3000 تومان
دانلود پروژه وب سایت اشعار با ASP.NET و SQL

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

3000 تومان

آموزش هوش مصنوعی و رباتیک|صفحه 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
حوزه های عمل روشهای برنامه ریزیگراف برنامه ریزی در AI چیست؟چیست؟ local searchآشنایی با الگوریتم های زنجیره پیشرو در هوش مصنوعیالگوریتم پرش به عقب در CSPمینیمم کردن کل هزینه جواب چیست؟معرفی الگوریتم جست وجوی دوطرفه bsaدانلود رایگان شبه کد الگوریتم شبیه سازی annealingمعرفی گراف های برنامه ریزیمنظور از برنامه ریزی در هوش مصنوعیآموزش کار با الگوریتم های جستوجوی آنلاینالگوریتم جست وجوی سطحیproblem solving agentراهکارهای رفع محدودیت های زبان PDDL در AISATPLAN algorithmمعرفی الگوریتم زنجیره پیشرو برای عاملهای منطقیالگوریتم جست وجوی ژنتیک GAمسئله دنیای جاروبرقی در هوشآشنایی با هوش مصنوعیشبه کد الگوریتم GRAPHPLANآشنایی با الگوریتم minimaxالگوریتم جست وجو همراه با مشاهدات چیست؟پایگاه دانش منطق گزاره ای برای اثباتعامل مبتنی بر دانش در هوش مصنوعی چیست؟آموزش پیاده سازی الگوریتم جست وجوی عمقی dfs لیست برچسب ها
تمامی حقوق این سایت اعم از محتوی ، تصاویر ، قالب و ... متعلق به گروه مهندسی وب سایت سورس کد می باشد.
SourceCodes.ir ، افقی روشن برای برنامه نویسان ، از مبتدی تا حرفه ای

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

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

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