TY - JOUR
T1 - Abstract Dialectical Frameworks are Boolean Networks*
AU - Heyninck, Jesse
AU - Knorr, Matthias
AU - Leite, João
N1 - info:eu-repo/grantAgreement/FCT/6817 - DCRRNI ID/UIDB%2F04516%2F2020/PT#
info:eu-repo/grantAgreement/FCT/6817 - DCRRNI ID/UIDP%2F04516%2F2020/PT#
Publisher Copyright:
© 2022 Copyright for this paper by its authors.
PY - 2024
Y1 - 2024
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=85210808191&partnerID=8YFLogxK
M3 - Conference article
AN - SCOPUS:85210808191
SN - 1613-0073
VL - 3835
SP - 53
EP - 60
JO - CEUR Workshop Proceedings
JF - CEUR Workshop Proceedings
T2 - 22nd International Workshop on Nonmonotonic Reasoning, NMR 2024
Y2 - 2 November 2024 through 4 November 2024
ER -