حل مسئله
problem solving
هوش مصنوعی
artificial intelligence
نظریه تصمیم
decision theory
اثبات قضیه
theorem proving