העולם החדש מתקדם בצעדים עצומים, ובינה אוטומטית היא מ הדברים המרכזיות בה. מה אתם רגילים להתמודד עם הנושא, ייתכן ההגדרות ייראו מוזרים. המדריך הזה נועד כדי לפרט את הבסיס של לוגיקה אוטומטית בעברית,