Antrittsvorlesung: Nomen est omen: Über die Bedeutung von Symbolnamen im automatischen Schließen

Wenn Menschen die Gültigkeit einer logischen Schlussfolgerung bewerten, berücksichtigen sie üblicherweise die Bedeutung und den Kontext der Schlussfolgerung, was zu einem gezielten Vorgehen führt, das irrelevante Schlüsse vermeidet. Wenn ein Mensch beispielsweise klären soll, ob Hängematten auch Betten sind, wird er sicher keine Überlegungen zu Fahrzeugen oder Waffen anstellen.
Im Gegensatz dazu wird die Bedeutung von Symbolnamen im automatischen Schließen bisher kaum beachtet, obwohl diese eine wertvolle Informationsquelle darstellt.
Im Vortrag wird gezeigt, wie Methoden aus der Verarbeitung natürlicher Sprache genutzt werden können, um die Bedeutung von Symbolnamen in das automatische Schließen zu integrieren. Erste Experimente liefern vielversprechende Ergebnisse und verdeutlichen das Potenzial der präsentierten Ansätze.