Vorwärtsgerichtetes Schließen

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Eine inferenzielle Strategie, die Konsequenzen aus bekannten Fakten ableitet, indem Inferenzregeln wiederholt angewandt werden, bis ein Ziel erreicht ist oder keine neuen Fakten mehr erzeugt werden können.