Beschreibung

Titel des Forschungsprojektes: Fast Algorithms for Temporal Ontologies applied to the Modelling of the Sustainable Forest (Tree4Tree IN200X)

CUP: I55F21002330005

Tätigkeitsbeschreibung des/der gelegentlichen Mitarbeit/s/in:
Die Kombination von temporaler Logik und Ontologiesprachen/Konzeptsprachen soll auf die Ausdrucksmittel von Perceptron Operatoren erweitert werden. In diesem Zusammenhang soll eine prototypische Implementierung entwickelt und getestet werden.
Der Mitarbeiter soll bestehenden Code analysieren und dokumentieren und die notwendige Theorie entwickeln um implementierbare Tableaux Systeme für Perceptron Operators (“Tooth Logic”) zu ermöglichen. Die Tableaux sollen darüberhinaus mit Standardtableaux der temporalen Logik kombiniert werden.

Verantwortlicher: Prof. Oliver Kutz