advertise laitec sharif univercity استخراج بیت کوین با کامپیوتر استخراج بیت کوین با کامپیوتر
دانلود مجموعه 70 پروژه مفید و کاربردی سی شارپ #C

دانلود مجموعه 70 پروژه مفید و کاربردی سی شارپ #C

9500 تومان
دانلود PDF مجموعه 300 نکته جالب برنامه نویسی در سی شارپ #C

دانلود PDF مجموعه 300 نکته جالب برنامه نویسی در سی شارپ #C

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

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

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

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

22000 تومان
دانلود برنامه آزمون تستی در مالتی مدیا بیلدر MMb

دانلود برنامه آزمون تستی در مالتی مدیا بیلدر MMb

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
آموزش پیاده سازی جست وجوی پرتو اتفاقیمعرفی راهبردهای تحلیل در سیستم های منطقیمعرفی دنیای ومپوز در عاملهای هوشمند هوش مصنوعیاستنتاج انتشار محدودیت در مسائل ارضای محدودیتالگوریتم های جستوجوی کوردانلود شبه کد الگوریتم های ژنتیکحل مساله های نمونه ی هوش مصنوعیالگوریتم استنتاج منطقی پسروالگوریتم SATPLAN چیست؟معرفی چگونگی برنامه ریزی سلسله مراتبیفرموله کردن مسئله در هوش مصنوعی AIاشکال زدایی پایگاه دانشماهیت الگوریتم های جست و جو در هوش مصنوعیتخمین هزینه ترکیب عطفی در هوش مصنوعیعامل مبتنی بر دانش در هوش مصنوعی چیست؟الگوریتم شبیه سازی annealingالگوریتم dlsعاملهای حل مسئله در AIیادگیری هوش مصنوعیالگوریتم های جستوجوی ناآگاهانه bidirectional searchالگوریتم پرش به عقب در مسائل ارضای محدودیتکاربرد روش های برنامه ریزی در هوش مصنوعیکاربرد الگوریتم گراف پلن چیست؟آموزش پیاده سازی الگوریتم جست وجو با هزینه یکسان ucsالگوریتم ژنتیک GA چیست؟ لیست برچسب ها
تمامی حقوق این سایت اعم از محتوی ، تصاویر ، قالب و ... متعلق به گروه مهندسی وب سایت سورس کد می باشد.
SourceCodes.ir ، افقی روشن برای برنامه نویسان ، از مبتدی تا حرفه ای

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

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

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