Hybrid MKNF: Neue Heuristiken für Luftfahrtanwendungen
Die Integration von Wissensrepräsentation und -verarbeitung in Luftfahrtanwendungen steht vor zwei zentralen Herausforderungen: einerseits muss die Sprache komplexes Fachwissen exakt abbilden können, andererseits müssen die damit verbundenen Rechenaufgaben effizient ausgeführt werden, ohne dabei Speicher und Rechenleistung zu überstrapazieren.