Entwurf und Realisierung von echtzeitfähigen Inferenztechniken für wissensbasierte Systeme