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