inference mechanism
type: Concept
preferred label: سازوکار استنتاج @fa
related: truth maintenance

truth maintenance
type: Concept
alternative label: ATMS
broader: knowledge engineering
preferred label: نگاهداشت حقیقت @fa
related: inference mechanism

knowledge engineering
type: Concept
narrower: truth maintenance
preferred label: مهندسی دانش @fa