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

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

38000 تومان
دانلود سورس بازی اندروید جدول خونه (900 جدول) همراه آموزش راه اندازی

دانلود سورس بازی اندروید جدول خونه (900 جدول) همراه آموزش راه اندازی

99000 تومان
دانلود سورس پروژه فروشگاه کیف با asp.net و sql express

دانلود سورس پروژه فروشگاه کیف با asp.net و sql express

10000 تومان
دانلود سورس اندروید اپلیکیشن افزایش سرعت گوشی

دانلود سورس اندروید اپلیکیشن افزایش سرعت گوشی

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

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

14000 تومان

آموزش هوش مصنوعی و رباتیک|صفحه 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 برسد. در این روش تضمین میشود که کوتاه ترین برنامه ریزی در صورت وجود پیدا شود

ادامه مطلب

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

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

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

ادامه مطلب
پارس وی دی اس
شبه کد الگوریتم جست وجوی *Aکارایی الگوریتم حل مسئله در AIآشنایی با هوش مصنوعی در سطح پیشرفتهاستراتژی های جست وجوی محلی geneticشبه کد عامل های جست وجوی آنلاینالگوریتم bidirectional searchدنیای ومپوز و عامل مبتنی بر دانشمسئله انطباق در هوش مصنوعیالگوریتم جست وجو همراه با مشاهدات چیست؟دانلود سورس کد جستوجوی زنجیره پسروproblem solving agentپیاده سازی کارآمد برنامه های منطقیکاربرد گراف برنامه ریزی در مسائل هوش مصنوعینمادگذاری زبان PROLOGجست وجوی بازگشتی اول- بهترینتدوین مساله در هوش مصنوعیالگوریتم جست وجوفرموله کردن مسئله در هوش مصنوعی AIدنیای جاروبرقی در AIمعرفی جست وجوی پرتوی محلیگراف برنامه ریزی در AI چیست؟فرموله کردن مسئله در AIشبه کد الگوریتم جست وجوی شبیه سازی annealingالگوریتم نتیجه گیری در propositional logicشبه کد الگوریتم جست وجوی AND -OR لیست برچسب ها
تمامی حقوق این سایت اعم از محتوی ، تصاویر ، قالب و ... متعلق به گروه مهندسی وب سایت سورس کد می باشد.
SourceCodes.ir ، افقی روشن برای برنامه نویسان ، از مبتدی تا حرفه ای

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

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