

suy diễn- Kết luận được rút ra từ một hệ thống quy tắc; trong tin học, chủ yếu là kết quả suy ra được tạo tự động từ một hệ thống hình thức.
aus einem Regelsystem erzeugte Schlussfolgerung; in der Informatik vor allem aus einem formalen System automatisiert erstellte Folgerung