Neuigkeit vom 21. April 2022

Neue Version der adf_bdd-Bibliothek!

adf_bdd (Abstract Dialectical Frameworks solved by Binary Decision Diagrams) ist eine Rust-Bibliothek, die eine geerdete, vollständige und stabile ADF-Semantik unter Verwendung von Ordered Binary Decision Diagrams (OBDD) berechnet.

Zu den Merkmalen dieser Bibliothek gehört, dass sie

stellt die ADF als eine Menge von BDDs dar
bietet schnelle relationale Operationen auf dem BDD
ermöglicht das Rollback von Änderungen am BDD
nutzt ADF-Eigenschaften aus (z.B. gemeinsame Signatur der Formeln)
ermöglicht die Zwischenspeicherung wichtiger vorläufiger Berechnungsergebnisse
berechnet die Fixpunkte der dreiwertigen Interpretationen von ADFs, um die verschiedenen Semantiken aufzuzählen

Die Bibliothek ist in der aktuellen version 0.2.4 auf crates.io und github verfügbar. Ein ausführbares Programm, welches die Funktionalität der Bibliothek verwendet, kann hier heruntergeladen werden.