Begriff in der künstlichen Intelligenz für eine Regel der Form „wenn Bedingung(en), dann Schlussfolgerung oder Aktion(en)”, wobei sich die Bedingungen auf die Menge der in der Wissensbasis gespeicherten bzw. bereits hergeleiteten (Inferenz) Fakten beziehen und die Schlussfolgerung neue Fakten erzeugen.
Vgl. auch Produktionssystem.