-
A Knowledge Producer's View on the Knowledge Commons
Authors:
Mathilde Noual
Abstract:
Hardin introduced the notorious concept of "tragedy of the commons". Worrying about the consequences of human overpopulation on the planet, he discussed "hard problems": problems with no technical solutions, that can only be addressed by way of an evolving morality. Hardin's tragedy of the commons predicts that the hard problem of human population growth directly implies a hard problem of overuse…
▽ More
Hardin introduced the notorious concept of "tragedy of the commons". Worrying about the consequences of human overpopulation on the planet, he discussed "hard problems": problems with no technical solutions, that can only be addressed by way of an evolving morality. Hardin's tragedy of the commons predicts that the hard problem of human population growth directly implies a hard problem of overuse or pollution of the commons. This paper focuses on the knowledge commons. A technical proposal is presented, based on a JSON schema for structuring pieces of knowledge. This is used to show that even if the knowledge commons satisfies the necessary conditions of the tragedy of the commons, the ensuing problems are not necessarily hard. Some can be made trivial by relying on traditional principles implemented in a technical framework.
△ Less
Submitted 9 April, 2024;
originally announced April 2024.
-
Proposal for an Organic Web, The missing link between the Web and the Semantic Web, Part 1
Authors:
Mathilde Noual
Abstract:
A huge amount of information is produced in digital form. The Semantic Web stems from the realisation that dealing efficiently with this production requires getting better at interlinking digital informational resources together. Its focus is on linking data. Linking data isn't enough. We need to provide infrastructural support for linking all sorts of informational resources including resources w…
▽ More
A huge amount of information is produced in digital form. The Semantic Web stems from the realisation that dealing efficiently with this production requires getting better at interlinking digital informational resources together. Its focus is on linking data. Linking data isn't enough. We need to provide infrastructural support for linking all sorts of informational resources including resources whose understanding and fine interlinking requires domain-specific human expertise. At times when many problems scale to planetary dimensions, it is essential to scale coordination of information processing and information production, without giving up on expertise and depth of analysis, nor forcing languages and formalisms onto thinkers, decision-makers and innovators that are only suitable to some forms of intelligence. This article makes a proposal in this direction and in line with the idea of interlinking championed by the Semantic Web.
△ Less
Submitted 19 September, 2023;
originally announced September 2023.
-
Boolean automata isolated cycles and tangential double-cycles dynamics
Authors:
Jacques Demongeot,
Tarek Melliti,
Mathilde Noual,
Damien Regnault,
Sylvain Sené
Abstract:
Our daily social and political life is more and more impacted by social networks. The functioning of our living bodies is deeply dependent on biological regulation networks such as neural, genetic, and protein networks. And the physical world in which we evolve, is also structured by systems of interacting particles. Interaction networks can be seen in all spheres of existence that concern us, and…
▽ More
Our daily social and political life is more and more impacted by social networks. The functioning of our living bodies is deeply dependent on biological regulation networks such as neural, genetic, and protein networks. And the physical world in which we evolve, is also structured by systems of interacting particles. Interaction networks can be seen in all spheres of existence that concern us, and yet, our understanding of interaction networks remains severely limited by our present lack of both theoretical and applied insight into their clockworks. In the past, efforts at understanding interaction networks have mostly been directed towards applications. This has happened at the expense of developing understanding of the generic and fundamental aspects of interaction networks. Intrinsic properties of interaction networks (eg the ways in which they transmit information along entities, their ability to produce this or that kind of global dynamical behaviour depending on local interactions) are thus still not well understood. Lack of fundamental knowledge tends to limit the innovating power of applications. Without more theoretical fundamental knowledge, applications cannot evolve deeply and become more impacting. Hence, it is necessary to better apprehend and comprehend the intrinsic properties of interaction networks, notably the relations between their architecture and their dynamics and how they are affected by and set in time. In this chapter, we use the elementary mathematical model of Boolean automata networks as a formal archetype of interaction networks. We survey results concerning the role of feedback cycles and the role of intersections between feedback cycles, in shaping the asymptotic dynamical behaviours of interaction networks.
△ Less
Submitted 22 April, 2022;
originally announced April 2022.
-
Causality and Networks
Authors:
Mathilde Noual
Abstract:
Causality is omnipresent in scientists' verbalisations of their understanding, even though we have no formal consensual scientific definition for it. In Automata Networks, it suffices to say that automata "influence" one another to introduce a notion of causality. One might argue that this merely is an incidental side effect of preferring statements expressed in natural languages to mathematical f…
▽ More
Causality is omnipresent in scientists' verbalisations of their understanding, even though we have no formal consensual scientific definition for it. In Automata Networks, it suffices to say that automata "influence" one another to introduce a notion of causality. One might argue that this merely is an incidental side effect of preferring statements expressed in natural languages to mathematical formulae. The discussion of this paper shows that if this is the case, then it is worth considering the effects of those preferences on the contents of the statements we make and the formulae we derive. And if it is not the case, that causality is a mere incidental side effect of our preferences of formulation, then causality must be worth some scientific attention per se. In any case, the paper illustrates how the innate sense of causality we have may be made deliberate and formal use of without having to pin down the elusive notion of causality to anything fixed and formal that wouldn't do justice to the wide range of ways it is involved in science-making.
△ Less
Submitted 26 October, 2016;
originally announced October 2016.
-
Perspectives and Networks
Authors:
Mathilde Noual
Abstract:
The perspective we take on a system determines the features and properties of this system that we are focusing on. It determines where we search for causes to explain the effects on the system that we observe. It determines the terms in which we expect the information about the system to be expressed. And it can also influence the choice of formalism that will be used to convey the information. us…
▽ More
The perspective we take on a system determines the features and properties of this system that we are focusing on. It determines where we search for causes to explain the effects on the system that we observe. It determines the terms in which we expect the information about the system to be expressed. And it can also influence the choice of formalism that will be used to convey the information. using Boolean Automata Networks as prototypes of interaction systems, this paper means to start making these considerations concrete in order to draw a practical benefit out of them.
△ Less
Submitted 26 October, 2016;
originally announced October 2016.
-
Shortest Trajectories and Reversibility in Boolean Automata Networks
Authors:
Mathilde Noual
Abstract:
The question this research report explores is the following: when does a shortest trajectory between two configurations, or between one configuration and an attractor need to change several times the state of one automaton?
The question this research report explores is the following: when does a shortest trajectory between two configurations, or between one configuration and an attractor need to change several times the state of one automaton?
△ Less
Submitted 3 July, 2017; v1 submitted 8 June, 2016;
originally announced June 2016.
-
A combinatorial problem about binary necklaces and attractors of Boolean automata networks
Authors:
Mathilde Noual
Abstract:
It is known that there are no more Lyndon words of length n than there are periodic necklaces of same length. This paper considers a similar problem where, additionally, the necklaces must be without some forbidden factors. This problem relates to a different context, concerned with the behaviours of particular discrete dynamical systems, namely, Boolean automata networks. A formal argument suppor…
▽ More
It is known that there are no more Lyndon words of length n than there are periodic necklaces of same length. This paper considers a similar problem where, additionally, the necklaces must be without some forbidden factors. This problem relates to a different context, concerned with the behaviours of particular discrete dynamical systems, namely, Boolean automata networks. A formal argument supporting the following idea is provided: addition of cycle intersections in network structures causes exponential reduction of the networks' number of attractors.
△ Less
Submitted 5 May, 2016;
originally announced May 2016.
-
Full characterisation of attractors of two intersected asynchronous Boolean automata cycles
Authors:
Tarek Melliti,
Mathilde Noual,
Damien Regnault,
Sylvain Sené,
Jérémy Sobieraj
Abstract:
The understanding of Boolean automata networks dynamics takes an important place in various domains of computer science such as computability, complexity and discrete dynamical systems. In this paper, we make a step further in this understanding by focusing on their cycles, whose necessity in networks is known as the brick of their complexity. We present new results that provide a characterisation…
▽ More
The understanding of Boolean automata networks dynamics takes an important place in various domains of computer science such as computability, complexity and discrete dynamical systems. In this paper, we make a step further in this understanding by focusing on their cycles, whose necessity in networks is known as the brick of their complexity. We present new results that provide a characterisation of the transient and asymptotic dynamics, i.e. of the computational abilities, of asynchronous Boolean automata networks composed of two cycles that intersect at one automaton, the so-called double-cycles. To do so, we introduce an efficient formalism inspired by algorithms to define long sequences of updates, that allows a better description of their dynamics than previous works in this area.
△ Less
Submitted 18 February, 2014; v1 submitted 21 October, 2013;
originally announced October 2013.
-
Boolean networks synchronism sensitivity and XOR circulant networks convergence time
Authors:
Mathilde Noual,
Damien Regnault,
Sylvain Sené
Abstract:
In this paper are presented first results of a theoretical study on the role of non-monotone interactions in Boolean automata networks. We propose to analyse the contribution of non-monotony to the diversity and complexity in their dynamical behaviours according to two axes. The first one consists in supporting the idea that non-monotony has a peculiar influence on the sensitivity to synchronism o…
▽ More
In this paper are presented first results of a theoretical study on the role of non-monotone interactions in Boolean automata networks. We propose to analyse the contribution of non-monotony to the diversity and complexity in their dynamical behaviours according to two axes. The first one consists in supporting the idea that non-monotony has a peculiar influence on the sensitivity to synchronism of such networks. It leads us to the second axis that presents preliminary results and builds an understanding of the dynamical behaviours, in particular concerning convergence times, of specific non-monotone Boolean automata networks called XOR circulant networks.
△ Less
Submitted 13 August, 2012;
originally announced August 2012.
-
Non-monotony and Boolean automata networks
Authors:
Mathilde Noual,
Damien Regnault,
Sylvain Sené
Abstract:
This paper aims at setting the keystone of a prospective theoretical study on the role of non-monotone interactions in biological regulation networks. Focusing on discrete models of these networks, namely, Boolean automata networks, we propose to analyse the contribution of non-monotony to the diversity and complexity in their dynamical behaviours. More precisely, in this paper, we start by detail…
▽ More
This paper aims at setting the keystone of a prospective theoretical study on the role of non-monotone interactions in biological regulation networks. Focusing on discrete models of these networks, namely, Boolean automata networks, we propose to analyse the contribution of non-monotony to the diversity and complexity in their dynamical behaviours. More precisely, in this paper, we start by detailing some motivations, both mathematical and biological, for our interest in non-monotony, and we discuss how it may account for phenomena that cannot be produced by monotony only. Then, to build some understanding in this direction, we propose some preliminary results on the dynamical behaviour of some specific non-monotone Boolean automata networks called XOR circulant networks.
△ Less
Submitted 30 November, 2011; v1 submitted 19 November, 2011;
originally announced November 2011.
-
Towards a theory of modelling with Boolean automata networks - I. Theorisation and observations
Authors:
Mathilde Noual,
Sylvain Sené
Abstract:
Although models are built on the basis of some observations of reality, the concepts that derive theoretically from their definitions as well as from their characteristics and properties are not necessarily direct consequences of these initial observations. Indeed, many of them rather follow from chains of theoretical inferences that are only based on the precise model definitions and rely strongl…
▽ More
Although models are built on the basis of some observations of reality, the concepts that derive theoretically from their definitions as well as from their characteristics and properties are not necessarily direct consequences of these initial observations. Indeed, many of them rather follow from chains of theoretical inferences that are only based on the precise model definitions and rely strongly, in addition, on some consequential working hypotheses. Thus, it is important to address the question of which features of a model effectively carry some modelling meaning and which only result from the task of formalising observations of reality into a mathematical language. In this article, we address this question with a theoretical point view that sets our discussion strictly between the two stages of the modelling process that require knowledge of real systems, that is, between the initial stage that chooses a global theoretical framework to build the model and the final stage that exploits its formal predictions by comparing them to the reality that the model was designed to simulate. Taking Boolean automata networks as instances of models of systems observed in reality, we analyse in this setting the remaining stages of the modelling process and we show how the meaning of theoretical concepts can subtly rely on formal choices such as definitions and hypotheses.
△ Less
Submitted 10 November, 2011; v1 submitted 8 November, 2011;
originally announced November 2011.
-
General Iteration graphs and Boolean automata circuits
Authors:
Mathilde Noual
Abstract:
This article is set in the field of regulation networks modeled by discrete dynamical systems. It focuses on Boolean automata networks. In such networks, there are many ways to update the states of every element. When this is done deterministically, at each time step of a discretised time flow and according to a predefined order, we say that the network is updated according to block-sequential upd…
▽ More
This article is set in the field of regulation networks modeled by discrete dynamical systems. It focuses on Boolean automata networks. In such networks, there are many ways to update the states of every element. When this is done deterministically, at each time step of a discretised time flow and according to a predefined order, we say that the network is updated according to block-sequential update schedule (blocks of elements are updated sequentially while, within each block, the elements are updated synchronously). Many studies, for the sake of simplicity and with some biologically motivated reasons, have concentrated on networks updated with one particular block-sequential update schedule (more often the synchronous/parallel update schedule or the sequential update schedules). The aim of this paper is to give an argument formally proven and inspired by biological considerations in favour of the fact that the choice of a particular update schedule does not matter so much in terms of the possible and likely dynamical behaviours that networks may display.
△ Less
Submitted 20 April, 2011;
originally announced April 2011.
-
Synchronism vs Asynchronism in Boolean networks
Authors:
Mathilde Noual
Abstract:
We show that synchronism can significantly impact on network behaviours, in particular by filtering unstable attractors induced by a constraint of asynchronism. We investigate and classify the different possible impacts that an addition of synchronism may have on the behaviour of a Boolean automata network. We show how these relate to some strong specific structural properties, thus supporting the…
▽ More
We show that synchronism can significantly impact on network behaviours, in particular by filtering unstable attractors induced by a constraint of asynchronism. We investigate and classify the different possible impacts that an addition of synchronism may have on the behaviour of a Boolean automata network. We show how these relate to some strong specific structural properties, thus supporting the idea that for most networks, synchronism only shortcuts asynchronous trajectories. We end with a discussion on the close relation that apparently exists between sensitivity to synchronism and non-monotony.
△ Less
Submitted 31 December, 2012; v1 submitted 20 April, 2011;
originally announced April 2011.
-
Dynamics in parallel of double Boolean automata circuits
Authors:
Mathilde Noual
Abstract:
In this paper, we give some results concerning the dynamics of double Boolean automata circuits (dbac's for short), namely, networks associated to interaction graphs composed of two side-circuits that share a node. More precisely, we give formulas for the number of attractors of any period, as well as the total number of attractors of these networks.
In this paper, we give some results concerning the dynamics of double Boolean automata circuits (dbac's for short), namely, networks associated to interaction graphs composed of two side-circuits that share a node. More precisely, we give formulas for the number of attractors of any period, as well as the total number of attractors of these networks.
△ Less
Submitted 18 November, 2010; v1 submitted 17 November, 2010;
originally announced November 2010.
