advertise laitec sharif univercity استخراج بیت کوین با کامپیوتر استخراج بیت کوین با کامپیوتر
دانلود سورس پروژه پایانی وب سایت بنگاه املاک با php

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

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

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

3000 تومان
دانلود سورس n وزیر با جست وجوی ممنوع در سی شارپ #C

دانلود سورس n وزیر با جست وجوی ممنوع در سی شارپ #C

3000 تومان
دانلود پروژه پایانی طراحی وب سایت مخابرات با Asp.net

دانلود پروژه پایانی طراحی وب سایت مخابرات با Asp.net

14000 تومان
دانلود برنامه رنگ آمیزی گراف با الگوریتم عقبگرد در سی شارپ

دانلود برنامه رنگ آمیزی گراف با الگوریتم عقبگرد در سی شارپ

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 چه کاربردی دارد؟رویه استنتاج مبتنی بر تحلیلمسئله eight-queen در هوش مصنوعیمراحل ترجمه به مسئله ارضای بولیiterative deepening search algorithmاستراتژی های جست وجوی محلی geneticآشنایی با الگوریتم hill-climbimg searchمسئله های دنیای واقعی در هوش مصنوعی AIالگوریتم برنامه ریزی جستوجوی پسروالگوریتم های جست وجوی محلی annealing الگوریتم جست وجوی *Aagent مبتنی بر دانش یعنی چه؟الگوریتم جست وجوی تعمیق تکراری چیست؟یادگیری رباتیکساختار عامل های هوشمند چگونه استنظریه تکامل evolution چیست؟الگوریتم جست وجوی RBFSدانلود رایگان شبه کد الگوریتم min maxمعیارهای اندازه گیری نحوه کارکرد الگوریتم های هوش مصنوعیالگوریتم جست وجوی ابتکاری *Aمسئله های نمونه در AIچگونگی مشخص شدن پایان گراف برنامه ریزیاشنایی با ساختار عامل ها در AIآشنایی با دنیای ومپوز در هوش مصنوعی لیست برچسب ها
تمامی حقوق این سایت اعم از محتوی ، تصاویر ، قالب و ... متعلق به گروه مهندسی وب سایت سورس کد می باشد.
SourceCodes.ir ، افقی روشن برای برنامه نویسان ، از مبتدی تا حرفه ای

کسب درآمد با کامپیوتر
تولید بیت کوین با کامپیوتر

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

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