Account
Edit tools
Intern
SucheSearch
English

Adf-bdd: Unterschied zwischen den Versionen

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
Keine Bearbeitungszusammenfassung
KKeine Bearbeitungszusammenfassung
 
(6 dazwischenliegende Versionen von 2 Benutzern werden nicht angezeigt)
Zeile 4: Zeile 4:
|short description DE=Abstract Dialectical Frameworks mit Binary Decision Diagrammen lösen
|short description DE=Abstract Dialectical Frameworks mit Binary Decision Diagrammen lösen
|contact persons=Stefan Ellmauthaler
|contact persons=Stefan Ellmauthaler
|contributors=Stefan Ellmauthaler; Dominik Rusovac
|contributors=Stefan Ellmauthaler; Dominik Rusovac; Lukas Gerlach
|link=https://ellmau.github.io/adf-obdd/
|link=https://ellmau.github.io/adf-obdd/
|publication date=2022/04/22
|publication date=2022/04/22
|long description EN=Abstract Dialectical Frameworks (ADF) sind eine Generalisierung  von Dung Argumentation Frameworks.
|long description EN=Abstract Dialectical Frameworks (ADF) are a generalisation of Dung’s Argumentation frameworks.
“Abstract Dialectical Frameworks solved by Binary Decision Diagrams, developed in Dresden” ( ADF -BDD) is a novel approach that relies on the translation of the acceptance conditions of a given ADF into reduced ordered binary decision diagrams (roBDD).
“Abstract Dialectical Frameworks solved by Binary Decision Diagrams, developed in Dresden” ( ADF -BDD) is a novel approach that relies on the translation of the acceptance conditions of a given ADF into reduced ordered binary decision diagrams (roBDD).
Our system is based on the consideration that many otherwise hard to decide problems in ADF semantics (e. g., answering SAT-questions) can be solved in polynomial time on roBDDs.  
Our system is based on the consideration that many otherwise hard to decide problems in ADF semantics (e. g., answering SAT-questions) can be solved in polynomial time on roBDDs.  
Zeile 13: Zeile 13:
ADF -BDD is written in RUST to provide good performance while enforcing a high amount of memory- and type-safety.
ADF -BDD is written in RUST to provide good performance while enforcing a high amount of memory- and type-safety.
In addition the rust-compiler produces highly optimised machine code, while keeping the whole tech stack simple.
In addition the rust-compiler produces highly optimised machine code, while keeping the whole tech stack simple.
|long description DE=Abstract Dialectical Frameworks (ADF) are a generalisation of Dung’s Argumentation frameworks.
|long description DE=Abstract Dialectical Frameworks (ADF) sind eine Generalisierung  von Dung Argumentation Frameworks.
“Abstract Dialectical Frameworks solved by Binary Decision Diagrams, developed in Dresden” ( ADF -BDD) ist ein neuer Ansatz, welcher die Akzeptanzfunktionen eines ADF als reduziert geordnete binäre Entscheidungsdiagramme (reduced ordered binary decision diagrams - roBDD) übersetzt.
“Abstract Dialectical Frameworks solved by Binary Decision Diagrams, developed in Dresden” ( ADF -BDD) ist ein neuer Ansatz, welcher die Akzeptanzfunktionen eines ADF als reduziert geordnete binäre Entscheidungsdiagramme (reduced ordered binary decision diagrams - roBDD) übersetzt.
Das tool basiert auf dem Konzept, dass einige - sonst schwer zu lösende - Entscheidungsprobleme bei der Berechnung der ADF-Semantiken in polynomieller Zeit von roBDDs gelöst werden können.
Das tool basiert auf dem Konzept, dass einige - sonst schwer zu lösende - Entscheidungsprobleme bei der Berechnung der ADF-Semantiken in polynomieller Zeit von roBDDs gelöst werden können.
Zeile 19: Zeile 19:
ADF-BDD ist in RUST geschrieben, welches gute Performanz und einen hohen Grad an Speicher- sowie Typ-sicherheit bietet.
ADF-BDD ist in RUST geschrieben, welches gute Performanz und einen hohen Grad an Speicher- sowie Typ-sicherheit bietet.
Zudem bietet der rust-compiler hochgradig optimierten Maschinencode, während der Techstack simple bleibt.
Zudem bietet der rust-compiler hochgradig optimierten Maschinencode, während der Techstack simple bleibt.
|projekt=ScaDS.AI
|projekt=InnoSale; ScaDS.AI
|Forschungsgruppe=Logische Programmierung und Argumentation, Wissensbasierte Systeme
|Forschungsgruppe=Logische Programmierung und Argumentation, Wissensbasierte Systeme
|dataOrTool=Tool
|dataOrTool=Tool

Aktuelle Version vom 3. Mai 2023, 15:50 Uhr

adf-bdd

Abstract Dialectical Frameworks mit Binary Decision Diagrammen lösen

Abstract Dialectical Frameworks (ADF) sind eine Generalisierung von Dung Argumentation Frameworks. “Abstract Dialectical Frameworks solved by Binary Decision Diagrams, developed in Dresden” ( ADF -BDD) ist ein neuer Ansatz, welcher die Akzeptanzfunktionen eines ADF als reduziert geordnete binäre Entscheidungsdiagramme (reduced ordered binary decision diagrams - roBDD) übersetzt. Das tool basiert auf dem Konzept, dass einige - sonst schwer zu lösende - Entscheidungsprobleme bei der Berechnung der ADF-Semantiken in polynomieller Zeit von roBDDs gelöst werden können. Aktuelle state-of-the-art solver basieren derzeit auf SAT oder Antwortmengenprogrammierung basierten ansätzen, weshalb adf-bdd ein Alleinstellungsmerkmal besitzt. ADF-BDD ist in RUST geschrieben, welches gute Performanz und einen hohen Grad an Speicher- sowie Typ-sicherheit bietet. Zudem bietet der rust-compiler hochgradig optimierten Maschinencode, während der Techstack simple bleibt.


Artikel in Tagungsbänden

Stefan Ellmauthaler, Lukas Gerlach
ADF-BDD.DEV: Debug Abstract Dialectical Frameworks with Binary Decision Diagrams
The Fourth Workshop on Explainable Logic-Based Knowledge Representation (XLoKR 2023), September 2023
Details Download
Stefan Ellmauthaler, Lukas Gerlach
ADF-BDD.DEV: Insights to undecided Statements in Abstract Dialectical Frameworks
In Gianvincenzo Alfano, Stefano Ferilli, eds., Proceedings of the 7th Workshop on Advances in Argumentation in Artificial Intelligence (AI^3 2023) co-located with the 22nd International Conference of the Italian Association for Artificial Intelligence (AIxIA 2023), Rome, Italy, November 9, 2023, volume 3546 of CEUR Workshop Proceedings, December 2023. CEUR-WS.org
Details Download
Stefan Ellmauthaler, Sarah Alice Gaggl, Dominik Rusovac, Johannes P. Wallner
ADF - BDD : An ADF Solver Based on Binary Decision Diagrams
In Francesca Toni, eds., Proceedings of the 9th International Conference on Computational Models of Argument (COMMA 2022), volume 220146 of FAIA, 355-356, September 2022. IOS Press
Details Download
Stefan Ellmauthaler, Sarah Alice Gaggl, Dominik Rusovac, Johannes P. Wallner
Representing Abstract Dialectical Frameworks with Binary Decision Diagrams
In G. Gottlob, D Inclezan, M. Maratea, eds., Proceedings of the 16th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2022), volume 13416 of Lecture Notes in Computer Science, 177-198, 2022. Springer
Details Download


Abgerufen von „https://iccl.inf.tu-dresden.de/w/index.php?title=Adf-bdd&oldid=38121“