- Masterarbeit -

Beschreibung:

Im der Operatorensuite der gelifteten Variablen Elimination gibt es Operatoren zur gelifteten Multiplikation und Addition neben weiteren anderen Operatoren, die es erlauben nicht unterscheidbaren Zufallsvariablen durch Repräsentanten zu behandeln und dadurch die Effizienz der Rechnungen zu steigern.

Der Cliquenbaum-Algorithmus, zu englisch clique tree join tree oder junction tree algorithm, existiert ebenfalls in einer gelifteten Variante, die einen gelifteten Cliquenbaum als Hilfsstruktur und gelifteten Variablen Elimination für Rechnungen nutzt. Eine Umsetzung einer bisher nur im propositionalen Fall eingesetzte Strategie für die Abfolge der Rechnungen scheitert bisher an einem fehlenden Operator für geliftete Division.

Diese Masterarbeit soll diese Lücke schließen. Das Ziel ist die Definition eines Operators zur gelifteten Definition und der Einsatz dessen im Cliquenbaum-Algorithmus. Wenn erfolgreich, soll der Operator für den Einsatz beim Aufsplitten von großen Parfaktoren (Reifizierung) untersucht werden.

Anforderungen/Kenntnisse:
Wissen um probabilistische graphische Modelle und Inferenzalgorithmen (hier: Variablen Elimination, Cliquenbaum-Algorithmus) sowie Lifting; Java

Bearbeitung:
Moritz Hoffamnn

Ergebnis:
Die Ausarbeitung kann im Institut für Informationssysteme angefordert werden.

Betreuung:

Dr. Tanya Braun
Telefon: 0451 / 3101 5708

Prof. Dr. rer. nat. Ralf Möller
Institut für Informationssysteme
Ratzeburger Allee 160 ( Gebäude 64 - 2. OG)
23562 Lübeck
Telefon: 0451 / 3101 5700