شبه کد الگوریتم DPLL
الگوریتم دیویس پوتنام DPLL
شبه کد الگوریتم DPLL | الگوریتم (DPLL (Davis-Putnam algorithm متکی به الگوریتم جست وجوی عقبگرد است که از الگوریتم های کارآمد در استنتاج گزاره ای مبتنی بر بازرسی مدل میباشد. این الگوریتم به بررسی قابلیت ارضا شدن، یعنی مساله SAT مربوط میشود.
آموزش هوش مصنوعی و رباتیک
آموزش هوش مصنوعی و رباتیک ، آشنایی با بخش های متنوع هوش مصنوعی و نحوه ساخت ربات ها
.gif)
