This paper leans on two similar areas so far detached from each other. On the one hand, Dung's pioneering contributions to abstract argumentation, almost thirty years ago, gave rise to a plethora of successors, including abstract dialectical frameworks (ADFs). On the other hand, Boolean networks (BNs), devised as models of gene regulation, have been successful for studying the behavior of molecular processes within cells. ADFs and BNs are similar to each other: both can be viewed as functions from vectors of bits to vectors of bits. As soon as similarities emerge between these two formalisms, however, differences appear. For example, conflict-freedom is prominent in argumentation (where we are interested in a self-consistent, i.e., conflict-free, set of beliefs) but absent in BNs. By contrast, asynchrony (where only one gene is updated at a time) is conspicuous in BNs and lacking in argumentation. Finally, while a monotonicity-based notion occurs in signed reasoning of both argumentation and gene regulation, a different, derivative-based notion only appears in the BN literature. To identify common mathematical structure between both formalisms, these differences need clarification. This contribution is a partial review of both these areas, where we cover enough ground to exhibit their more evident similarities, to then reconcile some of their apparent differences. We highlight a range of avenues of research resulting from ironing out discrepancies between these two fields. Unveiling their common concerns should enable these two areas to cross-fertilize so as to transfer ideas and results between each other.
翻译:本文立足于两个迄今为止相互分离的相似领域。一方面,Dung约三十年前在抽象论证方面的开创性贡献催生了大量后续研究,包括抽象辩证框架(ADFs)。另一方面,作为基因调控模型设计的布尔网络(BNs)在研究细胞内分子过程行为方面取得了成功。ADFs与BNs彼此相似:两者均可视为从比特向量到比特向量的函数。然而,一旦这两种形式体系之间出现相似性,差异也随之显现。例如,冲突自由性在论证中至关重要(我们关注自洽即无冲突的信念集合),但在BNs中却不存在。相反,异步性(每次仅更新一个基因)在BNs中显著存在,而在论证中则缺乏。最后,虽然基于单调性的概念同时出现在论证与基因调控的符号推理中,但另一种基于导数的概念仅见于BN文献。为识别两种形式体系间的共同数学结构,需要澄清这些差异。本文是对这两个领域的部分综述,我们覆盖了足够的基础以展示其更明显的相似性,进而调和部分表面差异。我们强调通过消除这两个领域间差异所产生的一系列研究路径。揭示其共同关切应能使这两个领域相互促进,从而实现思想与成果的相互迁移。