ترجمه به مسئله ارضای بولی SAT
برنامه ریزی کلاسیک به صورت ارضای بولی
ترجمه به مسئله ارضای بولی SAT | ترجمه به مسئله ارضای بولی SAT، یکی از معروفترین و موثرترین روشهای خودکار برنامه ریزی کلاسیک می باشد به کمک آن میتوان توصیف PDDL را به شکلی ترجمه کرد که توسط الگوریتم SATPLAN قابل پردازش باشد
آموزش هوش مصنوعی و رباتیک
آموزش هوش مصنوعی و رباتیک ، آشنایی با بخش های متنوع هوش مصنوعی و نحوه ساخت ربات ها
