سازوکار استنتاج
inference mechanism
ATMS
نگاهداشت حقیقت
truth maintenance
مهندسی دانش
knowledge engineering