Lambda-Kalkül-Übersetzer für ein Salzburger EdTech-Lernspiel
Übersicht
Worum es bei diesem Projekt geht.
Sie definieren eine kleine Mini-Grammatik (etwa 30 lexikalische Einträge plus Quantoren 'jeder', 'einige', 'kein'). Bauen Sie einen kompositionellen Übersetzer auf Basis einer kategorialen Grammatik (CCG-Stil) oder einem einfachen Earley-Parser plus Lambda-Reduktion. Validieren Sie gegen 200 Testsätze, die in eine kanonische lambda-Form übersetzt werden. Liefern Sie eine reproduzierbare Pipeline, einen Bewertungsreport mit Fehleranalyse, eine kleine Notebook-Tour für interne Schulungszwecke und eine Empfehlung, welche Erweiterungen sinnvoll wären (Negation, mehrstellige Prädikate).
Das Briefing
Was Du tust und was Du zeigst.
Wie viel einer einfachen deutschen Aussagenmenge mit Quantoren lässt sich mit einem kompositionellen Übersetzer reproduzierbar in eine korrekte Lambda-Form überführen?
Earning criteria — what you'll demonstrate
- Kompositionelle Semantik in einer engen Domäne anwenden
- Lambda-Reduktion in einer Implementierung handhaben
- Kategoriale Grammatik praktisch einsetzen
- Theoretisches Verständnis in ein produktnahes Werkzeug überführen
Studienpassung
Wo dies in Dein Studium passt.
Schärft dieselben Fähigkeiten, die Dein Studium von Dir erwartet.
Fähigkeiten
Fähigkeiten, die Du unter Beweis stellst.
Jede taucht auf Deinem verifizierten Zertifikat auf.
Karrieren
Berufe, auf die dies Dich vorbereitet.
Echte Berufsbezeichnungen. Echte Skill-Brücken. Wähle die, die Deinem Werdegang am nächsten kommt.
Karrierewege, die das aufbaut
Kanonische RollenResearch Scientist
Kompositionelle Semantik in einer engen Domäne sauber zu implementieren ist eine der seltenen Erfahrungen, die ein Research Scientist mit klassischer Linguistik-Verankerung mitbringt.
Dieses Projekt schärft
- compositional-semantics
- lambda-calculus
- parsing
NLP Engineer
Die Brücke von formaler Semantik zu einer reproduzierbaren Pipeline ist ein starkes Profil-Stück für NLP Engineers, die mit klassisch-symbolischen Methoden arbeiten.
Dieses Projekt schärft
- parsing
- compositional-semantics
- model-evaluation
ML Researcher
Ein theoretisches Verständnis in eine konkrete Aufgabe zu übersetzen und mit einer ehrlichen Bewertung zu verbinden ist die Standardarbeit von ML Researchern in Forschungsabteilungen.
Dieses Projekt schärft
- lambda-calculus
- knowledge-representation
- model-evaluation
Noch eine Sache