logikbasierte Wissensverarbeitung

Semantische Folgerung 
Satz Zusammenhang 
Resolution beschleinigen 
Hornformel