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