Abstract Dialectical Frameworks are Boolean Networks*

Jesse Heyninck, Matthias Knorr, João Leite

Research output: Contribution to journalConference Article in journalAcademicpeer-review

Abstract

Dialectical frameworks are a unifying model of formal argumentation, where argumentative relations between arguments are represented by assigning acceptance conditions to atomic arguments. Their generality allows them to cover a number of different approaches with varying forms of representing the argumentation structure. Boolean regulatory networks are used to model the dynamics of complex biological processes, taking into account the interactions of biological compounds, such as proteins or genes. These models have proven highly useful for comprehending such biological processes, allowing to reproduce known behaviour and testing new hypotheses and predictions in silico, for example in the context of new medical treatments. While both these approaches stem from entirely different communities, it turns out that there are striking similarities in their appearence. In this paper, we study the relation between these two formalisms revealing their communalities as well as their differences, and introducing a correspondence that allows to establish novel results for the individual formalisms.

Original languageEnglish
Pages (from-to)53-60
Number of pages8
JournalCEUR Workshop Proceedings
Volume3835
Publication statusPublished - 2 Nov 2024
Event22nd International Workshop on Nonmonotonic Reasoning - Hanoi, Viet Nam
Duration: 2 Nov 20244 Nov 2024

Fingerprint

Dive into the research topics of 'Abstract Dialectical Frameworks are Boolean Networks*'. Together they form a unique fingerprint.

Cite this