Regelschema und Pattern Matching
Eine Inferenzregel wird durch ein Regelschema unter Nutzung von Metavariablen auf abstrakte Weise beschrieben.
- Instanz: Ersetzt man diese Metavariablen konsistent, erhält man eine sogenannte Instanz des Schemas.
- Pattern Matching (Musterabgleich): Dies bezeichnet den Vorgang, einen konkreten Sachverhalt mit den Prämissen oder Konklusionen eines Regelschemas abzugleichen, um zu prüfen, wie und ob die Regel anwendbar ist.