推理- 由规则系统产生的推论；在计算机科学中尤指由形式系统自动得出的结论
aus einem Regelsystem erzeugte Schlussfolgerung; in der Informatik vor allem aus einem formalen System automatisiert erstellte Folgerung
