JFPC 2019 - Actes des 15es Journées Francophones de Programmation par Contraintes

National audienceLes JFPC (Journées Francophones de Programmation par Contraintes) sont le principal congrès de la communauté francophone travaillant sur les problèmes de satisfaction de contraintes (CSP), le problème de la satisfiabilité d'une formule logique propositionnelle (SAT) et/ou la programmation logique avec contraintes (CLP). La communauté de programmation par contraintes entretient également des liens avec la recherche opérationnelle (RO), l'analyse par intervalles et différents domaines de l'intelligence artificielle.L'efficacité des méthodes de résolution et l'extension des modèles permettent à la programmation par contraintes de s'attaquer à des applications nombreuses et variées comme la logistique, l'ordonnancement de tâches, la conception d'emplois du temps, la conception en robotique, l'étude du génôme en bio-informatique, l'optimisation de pratiques agricoles, etc.Les JFPC se veulent un lieu convivial de rencontres, de discussions et d'échanges pour la communauté francophone, en particulier entre doctorants, chercheurs confirmés et industriels. L'importance des JFPC est reflétée par la part considérable (environ un tiers) de la communauté francophone dans la recherche mondiale dans ce domaine.Patronnées par l'AFPC (Association Française pour la Programmation par Contraintes), les JFPC 2019 ont lieu du 12 au 14 Juin 2019 à l'IMT Mines Albi et sont organisées par Xavier Lorca (président du comité scientifique) et par Élise Vareilles (présidente du comité d'organisation)

Emergence et entropie : une analyse critique des stratégies explicatives émergentistes basées sur le concept d'entropie

Entropy is generally considered as an emergent property, while the emergence of certain organized structures is supposed tobe the result of entropy dissipation. Thus, emergence is sometimes seen as explaining entropy, whereas sometimes the explanation is the other way around, as entropy would explain emergence. As such both statements cannot be true. Faced with the daunting polysemy of these concepts of emergence, entropy and explanation, I argue that this apparent paradox can be formally solved as follows: the emergence (in a sense A) explains (in a sense B ) entropy (in a sense, C ) and entropy (in a sense D ) explains (in a sense E ) emergence (in a sense F ). The solution is therefore to specify A, B, C, D, E, and F. To do this, I suggest a (restricted) pluralistic model of explanation and a critical examination of the concept of entropy. In the case of entropy as explanandum of emergence (A, B and C), what is emerging is irreversibility as an essential property of thermodynamic entropy, but it cannot be emergence of synonymous of non-explicability. I then show three possibilities that can explain the emergence of thermodynamic entropy : (i) in a strong sense,as an ontological modality, (ii) in an intermediate sense, from what I call ‘methodological emergence’(where there is a possibility of reductive explanation but no derivational reduction), or (iii) in a weak sense, as its designation as a member of an emergence class.In the case of entropy as explanans of emergence (D, E, and F), one must distinguish the substantive approach from the analogical approach. In the first case, entropy refers to a robust and autonomous macroscopic property that can be mobilized in an explanans of the emergence of new complex structures. In the second case, the entropy exemplifies multiple realizability and can be mobilized, with a proper justification, within an explanans of the emergence of properties at higher levels. Ultimately, the polysemy of these concepts can be fruitful in this explanatory framework for various complex phenomena, from physics to biology.L'émergence est parfois présentée comme ce qui expliquerait l'entropie alors que l'entropie expliquerait l'émergence. Tels quels ces deux énoncés ne peuvent être tous deux vrais. Face à la polysémie déconcertante des concepts 'émergence, d'entropie et d'explication, je soutiens que cet apparent paradoxe peut être résolu formellement ainsi: l'émergence (en un sens A) explique (en un sens B) l'entropie (en un sens C) et l'entropie (en un sens D) explique (en un sens E) l'émergence (en un sens F). La solution revient donc à préciser A, B, C, D, E, et F. Pour ce faire, je propose un modèle pluraliste (restreint) de l'explication et un examen critique du concept d'entropie.Dans le cas de l'entropie comme explanandum de l'émergence (A, B et C), ce qui émerge est l'irréversibilité comme propriété essentielle de l'entropie thermodynamique, mais l'émergence ne peut être synonyme de non-explicabilité. Je montre alors trois possibilités où l'émergence peut expliquer l'entropie thermodynamique: selon (i) un sens fort, comme une modalité ontologique, (ii) selon un sens intermédiaire d'après ce que j'appelle l'émergence méthodologique, ou (iii) un sens faible, comme sa désignation comme membre d'une classe d'émergents. Dans le cas de l'entropie comme explanans de l'émergence (D, E, et F), il faut distinguer l'approche substantielle de l'approche analogique. Dans le premier cas, l'entropie renvoie à une propriété macroscopique robuste et autonome pouvant être mobilisée au sein d'un explanans de l'émergence de nouvelles structures complexes. Dans le second cas, l'entropie exemplifie la réalisabilité multiple et peut être mobilisée, nonobstant une justification, au sein d'un explanans de l'émergence de propriétés à des niveaux supérieurs. En définitive, la polysémie de ces concepts peut être fructueuse au sein de ce cadre explicatif de phénomènes divers et complexes, de la physique à la biologie

Émergence et entropie

Thèse effectuée en cotutelle avec l’Université de Montréal et l’Université Paris 1 Panthéon-Sorbonne (IHPST)L’entropie est généralement considérée comme une propriété émergente, tandis que l’émergence de certaines structures organisées serait le résultat d’une dissipation d’entropie. Ainsi, l’émergence est parfois présentée comme ce qui expliquerait l’entropie alors que l’entropie expliquerait l’émergence. Tels quels, ces deux énoncés ne peuvent être tous deux vrais. Face à la polysémie déconcertante des concepts d’émergence, d’entropie et d’explication, je soutiens que cet apparent paradoxe peut être résolu formellement ainsi : l’émergence (en un sens A) explique (en un sens B) l’entropie (en un sens C) et l’entropie (en un sens D) explique (en un sens E) l’émergence (en un sens F). La solution revient donc à préciser A, B, C, D, E, et F. Pour ce faire, je propose un modèle pluraliste (restreint) de l’explication et un examen critique du concept d’entropie. Dans le cas de l’entropie comme explanandum de l’émergence (A, B et C), ce qui émerge est l’irréversibilité comme propriété essentielle de l’entropie thermodynamique, mais l’émergence ne peut être synonyme de non-explicabilité. Je montre alors trois possibilités où l’émergence peut expliquer l’entropie thermodynamique : selon (i) un sens fort, comme une modalité ontologique, (ii) selon un sens intermédiaire d’après ce que j’appelle l’émergence méthodologique (où il y a possibilité d’explication réductive sans réduction dérivationnelle), et (iii) selon un sens faible, comme sa désignation comme membre d’une classe d’émergents. Dans le cas de l’entropie comme explanans de l’émergence (D, E, et F), il faut distinguer l’approche substantielle de l’approche analogique. Dans le premier cas, l’entropie renvoie à une propriété macroscopique robuste et autonome pouvant être mobilisée au sein d’un explanans de l’émergence de nouvelles structures complexes. Dans le second cas, l’entropie exemplifie la réalisabilité multiple et peut être mobilisée, modulo une justification, au sein d’un explanans de l’émergence de propriétés à des niveaux supérieurs. En définitive, la polysémie de ces concepts peut être fructueuse au sein de ce cadre explicatif de phénomènes divers et complexes, de la physique à la biologie.Entropy is generally considered as an emergent property, while the emergence of certain organized structures is supposed to be the result of entropy dissipation. Thus, emergence is sometimes seen as explaining entropy, whereas sometimes the explanation is the other way around, as entropy would explain emergence. As such both statements cannot be true. Faced with the daunting polysemy of these concepts of emergence, entropy and explanation, I argue that this apparent paradox can be formally solved as follows: the emergence (in a sense A) explains (in a sense B) entropy (in a sense, C) and entropy (in a sense D) explains (in a sense E) emergence (in a sense F). The solution is therefore to specify A, B, C, D, E, and F. To do this, I suggest a (restricted) pluralistic model of explanation and a critical examination of the concept of entropy. In the case of entropy as explanandum of emergence (A, B and C), what is emerging is irreversibility as an essential property of thermodynamic entropy, but it cannot be emergence of synonymous of non-explicability. I then show three possibilities that can explain the emergence of thermodynamic entropy: (i) in a strong sense, as an ontological modality, (ii) in an intermediate sense, from what I call ‘methodological emergence’ (where there is a possibility of reductive explanation but no derivational reduction), or (iii) in a weak sense, as its designation as a member of an emergence class. In the case of entropy as explanans of emergence (D, E, and F), one must distinguish the substantive approach from the analogical approach. In the first case, entropy refers to a robust and autonomous macroscopic property that can be mobilized in an explanans of the emergence of new complex structures. In the second case, the entropy exemplifies multiple realizability and can be mobilized, with a proper justification, within an explanans of the emergence of properties at higher levels. Ultimately, the polysemy of these concepts can be fruitful in this explanatory framework for various complex phenomena, from physics to biology