منطق زمانی
temporal logic
استدلال مکانی
spatial reasoning
برنامه‌ریزی (هوش مصنوعی)
planning (artificial intelligence)
سازوکار استنتاج
inference mechanism
computational geometry
هندسه تحلیلی
استدلال زمانی
temporal reasoning