Verbesserung der Allgemeingültigkeit und Zuverlässigkeit der logischen Schlussfolgerung über natürliche Sprache durch Auflösungsableitung

Durch die Einführung der Auflösungsableitung kann das vorgeschlagene Modell GFaiR komplexe logische Schlussfolgerungsszenarios besser handhaben und gleichzeitig die Zuverlässigkeit des Schlussfolgerungsprozesses erhöhen.