Filippo De Bortoli gewinnt Best Student Paper Award bei FroCoS 2025
Neuigkeit aus der Forschungsgruppe Automatentheorie vom 30. September 2025
Filippo De Bortoli gewinnt Best Student Paper Award bei FroCoS 2025
In diesem Beitrag untersuchen die Autoren systematisch die Ausdruckskraft zweier Erweiterungen von Beschreibungslogiken mit Konstruktoren zum Ausdrücken numerischer Beschränkungen. Für die erste Erweiterung, die Kardinalitätsbeschränkungen zu Mengen von Rollen-Nachfolgern hinzufügt, wurden frühere Ergebnisse derselben Autoren verallgemeinert, um mögliche Einschränkungen der Klasse von Interpretationen zu berücksichtigen, die zur Definition der Semantik der vorliegenden Sprachen verwendet werden. Die zweite Erweiterung ermöglicht das sogenannte „concrete domain reasoning”, bei dem Formeln nun auf numerische Merkmale von Individuen verweisen und diese mit Hilfe der durch die konkrete Domäne zur Verfügung gestellten Prädikate beschränken können. Diese Einstellung, die in früheren Arbeiten der Autoren nur teilweise untersucht wurde, erforderte zusätzliche Arbeiten, um zu zeigen, dass mit konkretem Domänen-Reasoning erweiterte Logiken erster Ordnung ähnliche Lokalitätseigenschaften wie die Standardlogik erster Ordnung aufweisen. Diese Eigenschaft wurde dann genutzt, um die gewünschten Ergebnisse zur Ausdruckskraft zu erzielen, die sich auch auf Fälle verallgemeinern lassen, in denen die Semantik über eingeschränkte Klassen von Modellen definiert ist.
Das International Symposium on Frontiers of Combining Systems (FroCoS) ist die wichtigste internationale Veranstaltung für die Forschung zur Entwicklung von Techniken und Methoden zur Kombination und Integration formaler Systeme, ihrer Modularisierung und Analyse. Die 15. Ausgabe war Teil von FroCoS/ITP/TABLEAUX '25 und fand vom 29. September bis 1. Oktober 2025 in Reykjavik, Island, statt. Sie wurde an der Universität Reykjavik vom Icelandic Centre of Excellence in Theoretical Computer Science ausgerichtet und zusätzlich von Inria und dem Artificial Intelligence Journal gesponsert.
Herzlichen Glückwunsch!
