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