برنامه‌سازی غیرمستدل
heuristic programming
برنامه‌سازی منطقی
logic programming
انتشار برگشتی
backpropagation
روبات
robot
سامانه خبره
expert system
شبکه عصبی
neural network
برنامه‌ریزی حرکت
motion planning
حل مسئله
problem solving
روبات‌شناسی
robotics
سامانه تطبیقی
adaptive system
مهندسی دانش
knowledge engineering
هوش مصنوعی
artificial intelligence
مدل مغز
brain model
دانش رایانیک
cybernetics
سامانه یادگیری
learning system
منطق صوری
formal logic
اثبات قضیه
theorem proving
نظریه سامانه‌ای
system theory