LAWCHECK

Im Rahmen des Kooperationsprojektes sollen Verfahren entwickelt werden, welche eine (semi)automatische Formalisierung von natürlich-sprachlichen gesetzlichen Regularien ermöglicht. Dafür sollen Techniken des Natural Language Processings (NLP) Anwendung finden. Konkret soll ein Prototyp entwickelt werden, welches vorausgewählte sprachliche Beschreibungen gesetzlicher Regularien als Eingangsdaten erhält und in eine äquivalente formale Beschreibung überführt. Die resultierende formale Beschreibung kann anschließend z.B. für die Unterstützung bei der Entwicklung von Automatisierungsprozessen oder der automatischen Prüfung auf Vollständigkeit und Widerspruchsfreiheit genutzt werden.