Abstract Dialectical Frameworks. An Analysis of their Properties and Role in Knowledge Representation and Reasoning
Abstract Dialectical Frameworks. An Analysis of their Properties and Role in Knowledge Representation and Reasoning
Vortrag von Hannes Straß
- Veranstaltungsort: online
- Beginn: 22. Juli 2021 um 13:00
- Ende: 22. Juli 2021 um 14:30
- Event series: Research Seminar Logic and AI
- iCal
Firstly, we use the framework of approximation fixpoint theory to define various semantics that are known from related knowledge representation formalisms also for ADFs.
We then analyse the computational complexity of a variety of reasoning problems related to ADFs.
Afterwards, we also analyse the formal expressiveness in terms of realisable sets of interpretations and show how ADFs fare in comparison to other formalisms.
Finally, we show how ADFs can be put to use in instantiated argumentation, where researchers try to assign meaning to sets of defeasible and strict rules.
The main outcomes of our work show that in particular the sublanguage of *bipolar* ADFs are a useful knowledge representation formalism with meaningful representational capabilities and acceptable computational properties.
Short Bio: The speaker is a research associate in the Computational Logic Group. He obtained his BSc in Computer Science in 2006, his (European) MSc in Computational Logic in 2008, both from TUD; his PhD about Non-monotonic Reasoning in Action Theories in 2012, his Habilitation about the topic of this talk in 2017, both from Leipzig University. Most recently, he worked at compl3te GmbH in Leipzig dealing with automated problem solving, before he joined TUD again.
This talk will take place online via BigBlueButton. To access the room, take one of the following links:
with ZIH-login:
https://selfservice.zih.tu-dresden.de/l/link.php?m=139679&p=9e3a0a4a
without ZIH-login:
https://selfservice.zih.tu-dresden.de/link.php?m=139679&p=7cb3769c
