Vous êtes sur la page 1sur 14

R EVUE FRANAISE D AUTOMATIQUE , D INFORMATIQUE ET DE

RECHERCHE OPRATIONNELLE . R ECHERCHE OPRATIONNELLE

A. DE PALMA
I. S TENGERS
S. PAHAUT
Processus de dcision et cintique logique
Revue franaise dautomatique, dinformatique et de recherche
oprationnelle. Recherche oprationnelle, tome 16, no 2 (1982),
p. 155-167.
<http://www.numdam.org/item?id=RO_1982__16_2_155_0>

AFCET, 1982, tous droits rservs.


Laccs aux archives de la revue Revue franaise dautomatique, dinformatique et de recherche oprationnelle. Recherche oprationnelle implique
laccord avec les conditions gnrales dutilisation (http://www.numdam.org/
legal.php). Toute utilisation commerciale ou impression systmatique est
constitutive dune infraction pnale. Toute copie ou impression de ce fichier doit contenir la prsente mention de copyright.

Article numris dans le cadre du programme


Numrisation de documents anciens mathmatiques
http://www.numdam.org/

R.AJ.R.O. Recherche oprationnelle /Oprations Research


(vol. 16, n 2, mai 1982, p. 155 167)

PROCESSUS
DE DCISION ET CINTIQUE LOGIQUE (*)
par A. DE PALM, I. STENGERS et S. PAHAUT (*)

Rsum. Ce papier prsente quelques commentaires des proprits d'unformalisme dvelopp par
R. Thomas (U.L.B., Bruxelles, Belgique) pour Vtude de l'agrgation de dcisions, qui sont dfinies
comme des changements 0/1 se produisant aprs des dlais temporels continus.
Mots cls : Agrgation de dcisions, modles de comportement, algbre boolenne, dlais
temporels.

Abstract. The paper prsents some comments on the properties of a formalism designed by
R. Thomas (U.L.B., Brussels, Belgium)for the aggregation of dcisions, which are defihed as 0/1
changes occuring with cntinuous time delay.
Keywords: Aggregation of dcisions, behavioral models, boolean algebra, time delay.

1. INTRODUCTION

Dans le modle propos, le processus de dcision se droule ainsi : le dcideur


doit oprer un certain nombre de choix; chaque choix offre deux issues possibles;
tout instant le dcideur adopte l'une de ces issues, ce que le modle indique par
les valeurs prises par autant de variables boolennes, a, b, .,. ., /, qu'il y a de
choix; on dit que ce sont les options effectives du dcideur cet instant.
Au mme instant, la considration de l'ensemble de ses options effectives va
ventuellement impliquer que le dcideur envisage de modifier certaines d'entre
elles; le modle l'indique par les valeurs prises par les fonctions boolennes
A=f(a, b, . . ., /), B=g(a, b, ..., /), ...., L = h(a, b, . . . , /); on dit que ce
sont les options provisoires du dcideur cet instant.
(*) Reu juin 1979.
C) Service de Chimie-Physique II, Universit Libre de Bruxelles, B-1050, Bruxelles, Belgique.
R.A.I.R.O. Recherche oprationnelle/Oprations Research, 0399-0559/1982/155/$ 00
AFCET Bordas-Dunod

156

A. DE PALMA, I, STENGERS, S. P. PAHAUT

Lorsqu'une option provisoire est maintenue un temps suffisamment long, elle


devient option effective [le dlai de prise d'effet ncessaire, not Aa, Ab, . . . , A l9
dpend et du choix et de l'issue, (2)]; au contraire, une modification envisage
pendant une dure infrieure au dlai correspondant est suppose restei sans
effet : cette hypothse correspond ce qu'on appelle un phnomne de
rattrapage [voir g, 1, 2 et (3)].
- A=1
A=0
- a=1
Q=0

[ -'
I

Figure 1. Dlais tempoi els.

!?._____,

A
a

k.-

J L-- -

premier cas t^<A


second cas r>A Q
a
Figure 2. - Phnomne de rattrapage.

S'il arrive que toutes les options provisoires et effectives soient simultanment
en accord pendant une dure suprieure chacun des dlais de prise d'effet, elles
le sont tout jamais et deviennent options dfinitives : le processus de dcision est
alors termin.
La mthode de rsolution propose dans cet article drive directement de
*R. Thomas [2] qui, gnralisant certains modles de S, A. Kaufman [3], a
adapt le formalisme boolen l'tude de problmes de gntique et plus
particulirement a utilis un outil mathmatique inspir du formalisme boolen
pour dcrire les mcanismes de rgulation de la synthse protique.
(2) En termes de ce formalisme, on voit que rien n'empche a d'avoir des valeurs ngatives.
Divers problmes peuvent se prsenter ce sujet, dont une approche pourrait tre tente en recourant
au mcanisme dsormais classique de la dissonance cognitive [1], qui amne les dcideurs chercher
une rationalit a posteriori pour rtablir une compatibilit entre leurs dcisions et le cours des
vnements.
(3) Ce phnomne implique que ce n'est que dans des cas simples ou des phases particulires que
les volutions des options effectives et des options provisoires seront relies par des relations du type :
a(t) = A(t~a);
dans le cas gnral, elles seront du type :
a(t) = A{d-),
o 0 est le dernier instant antrieur t tel que la fonction A (. ) soit constante sur ]0 Aas 6[. Cette
hypothse sera reprise tout au long de cet article [voir quation (6)].
R.A.I.R.O. Recherche oprationnelle/Oprations Research

PROCESSUS DE DCISION ET CINTIQUE LOGIQUE

157

Certains travaux [4] tentent de mettre en parallle les mathmatiques


continues utilisant des systmes d'quations diffrentielles et les mathmatiques
discrtes issues du formalisme boolen. L'approche que nous prsentons ici a
l'avantage d'tre trs maniable pour ds problmes comportant un petit nombre
de choix interdpendants mais est restreinte en ce sens qu'elle ne permet pas,
contrairement aux quations diffrentielles, de modliser des systmes englobant
un grand nombre de dcideurs dont les dcisions interagissent [5]..

2. MODLE BOOLEN AVEC TEMPS DE RPONSE

2 . 1 . Systmes combinatoires et squentiels

0
0
1
1

1+X2

1#X2

^Xl

La technique dveloppe par R. Thomas drive d'une utilisation originale des


circuits squentiels [6].
Dans les systmes logiques considrs dans ce papier, les variables sont
binaires (et prennent des valeurs notes 0 et 1); les oprations algbriques
notes -h (et) et . (ou) sont dfinies figure 3.

0
1

0
1

0
1

0
0

Figure 3 . Dfinition de la somme ( + ) et du produit ( . ) logique.

On distingue deux types de systme. Dans les systmes combinatoires, les


variables d'entre xt (dont on peut fixer d'une manire exogne les valeurs)
dterminent immdiatement la valeur des variables de sortie zt; ces dernires,
comme (+ ) et produit (. ) des variables d'entre, sont des variables logiques.

Variables d'entre.

Variables de sortie.

Figure 4. Systme combinatoire.

Par exemple :

vol. 16, n 2, mai 1982

158

A. DE PALMA, I. STENGERS, S. P . PAHAUT

Cette quation peut tre reprsente sous forme de tableau (fig. 5).
X

1X2X3

0 1

0
0
1

1 1
1 0
1 0

1 1

Figure 5. - Table de vrit.

L'quation (1) s'crit de manire plus simple comme :


7

6 A 3 . A j . A2*

O\

V^/

Par contre, dans un systme squentiel, la valeur des variables de sortie


l'instant t dpend de la valeur des variables d'entre en t mais aussi de la valeur
des variables d'entre aux instants prcdents. Pour stocker l'information sur les
tats du systme aux instants prcdents, on introduit les variables de mmoire
notes yu et des fonctions de mmoire notes Yx. Voici un cas de systme
squentiel comportant une seule variable de mmoire.

yt Variables de mmoire.
YL Fonction de mmoire.
Figure 6. Systme squentiel.

La relation entre variable de mmoire et fonction de mmoire est :


y1(t)=Yl(t-A{Y1)l

(3)

A(FX) est un dlai entre la sortie et le retour du signal dans le bloc


combinatoire C.
Les
dlais
d' enclenchement A^
et
de
dclenchement Afi ne sont pas en gnral gaux (4).
(4) Dans cet article, chaque dlai ne dpend que de la variable et du sens de la transition (0 -> 1 et
1 -* ); pour certains systmes plusieurs variables, il peut tre raliste de faire dpendre aussi les
dlais de l'tat de toutes les variables du systme.
R.A.I.R.O. Recherche oprationnelle/Oprations Research

PROCESSUS DE DCISION ET CINTIQUE LOGIQUE

159

Figure 7. Dlais d'enclenchement et de dclenchement.

En toute gnralit, les quations d'un systme squentiel possdant


n variables d'entre, p variables de sortie, r fonction de mmoire ainsi que
r variables de mmoire dcrivant l'tat interne du systme sont :
Yj = gj(x1..
Zk = fk(*!..

.*, yt..

.yr\

.x B , y^ . -y r ),

y;(0=^-A(y,))>

7 = 1 . . -r,

(4)

k = l...>,

(5)

i=l...r,

(6)

Les quations (4) et (6) constituent un systme implicite en y, dont on peut


tudier les trajectoires quand on connat les conditions initiales et la valeur des
dlais temporels. Un tat stable sera caractris comme suit :
yt(t)=Yt(t)9

pour tout i = l . . . / i ,

(7)

Dans les cas o pour une variable yK au moins nous avons :

yk(t)*Yk(t),

(8)

on dira que l'tat correspondant est transitoire.


2.2. Exemple
L'exemple suivant tente de dcrire une situation mettant en scne une
organisation du type commission de la Communaut europenne (ou un agent
de l'tat) et un ensemble de producteurs d'une denre agricole. Le modle fiction
prsent comporte deux fonctions notes A et B et leurs variables de mmoire
associes attb.B dsignera la dcision de l'ensemble des producteurs relative
la production : la dcision de produire, B=l, entranera aprs un dlai Ab la
production dpasser un niveau donn et la variable correspondante prendra la
valeur 1 (b=l) [de mme l'arrt de la production B = 0, ne se manifestera (b = 0)
qu'aprs un dlai ^]. La dcision de subsidiation (4 = 1) n'entranera qu'aprs
un dlai Aa une prise de conscience de cette subsidiation (a = 1). Supposons que
la dcision de subsidiation ne soit prise que si la production est faible (6 = 0) :
A = b.
vol. 16, n 2, mai 1982

(9)

160

A. DE PALMA, I. STENGERS, S. P. PAHAUT

Tandis que le producteur est suppos dcid ne produire que s'il a pris
conscience de la subsidiation :
B = a,

(10)

Le tableau des tats (voirfig. 8) est construit partir des quations (9) et (10).
a b
0
0 T

A B
1 0
0 0

0 1

1 1

Figure 8. - Tableau des tats.

On a not 1 et 0 les variables de mmoires susceptibles de changer au cours du


temps. Le systme (9), (10) ne possde aucun tat stable; les tats stables dans les
tableaux suivant seront entours d'un cercle. L'volution temporelle des
variables de mmoire, dcoule du tableau prsent la figure 9.
o

Figure 9. volution des variables de mmoire.

C'est la prsence d'une boucle ngative unique [7] [quation (9)] qui explique le
cycle prsent ci-dessus.
Pour sortir de ce cycle infernal, la commission ou l'agent peut dcider de ne
plus subsidier la production sans le notifier explicitement l'usager :
,4 = 0,

(11)

Le producteur quant lui peut galement modifier sa stratgie face au cycle


infernal. Il ne produira plus que dans deux cas : ou bien il croit qu'il y a des
subsides et le niveau de production est faible (b = 0) [dans le cas contraire (b = 1 ),
le producteur, anticipant la suppression des subsides, n'est plus prt produire]
ou bien, quoiqu'il n'y ait pas de subsides, il y a production forte du bien en
question, considr donc comme rentable lui-mme :
(12)
R.A.I.R.O. Recherche oprationnelle/Oprations Research

PROCESSUS DE DCISION ET CINTIQUE LOGIQUE

161

Le tableau des tats est reprsent la figure 10.


a b
0 0
0 1

T T
T

A B

CEJD
QL
0

Figure 10. - Tableau des tats.

Si l'tat initial adopt pour a, b est 10 (le producteur croit l'existence de


subventions alors que celles-ci sont dsormais supprimes) le systme peut, selon
les valeurs assignes aux dlais d'enclenchement et de dclenchement, voluer
vers l'un des tats stables 0 0 ou 0 1. On a dor\c un phnomne de course critique,
puisque deux transitions sont en comptition. La transition amene aprs le
temps de rponse le plus court l'emportera. On peut considrer ici que le cas o
les deux temps de rponse sont rigoureusement gaux n'a pas de sens physique et
peut donc tre limin. La figure 11 dresse un croquis des diffrentes volutions
du systme partir de l'tat initial 10.

Figure 11. volution des variables de mmoire.

Le systme peut parcourir la boucle w un nombre fini de fois avant d'atteindre


un des deux tats stables. Ceci n'est vrai que parce que la machine squentielle
qui simule les quations du modle permet de garder d'un tat un autre une
mmoire du fait que certains processus ont t enclenchs mme si d'autres avant
eux sont devenus effectifs (5) (voir g. 12). La modification de comportement de
la commission ou de l'agent [quation (11 )] ainsi que du producteur
[quation (12)], a bris le cycle infernal dcrit par les quations (9) et (10) et
rendu possible (mais non certain) une production non subsidie.

(5 ) Par contre, si la machine n'a pas de mmoire d'un tat l'autre, lorsque les conditions de dlais
sont tellesique le systme parcourt la boucle w une fois, cette boucle s'tablira de manire permanente
et sera donc un cycle.
vol. 16, n 2, mai 1982

162

A. DE PALMA, I. STENGERS, S. P . PAHAUT


2(A +AJ
D

A +A

b b

B =1 B=0
b=1
b=0-

A=0a=1a=0
Figure 12. Dclenchement de la variable a.

Plus gnralement, il est possible d'tablir des lois de comportement pour des
systmes comportant un grand nombre de boucles ngatives et positives [7]
et [8], La formulation expose pourrait bien rpondre aux exigences des
mcanismes de choix dcrites dans l'introduction. Ce sera le sujet de la section
suivante.
3. ARBRE DE DCISION

3.1. Introduction

Dans cette section, nous considrerons un systme fictif pour lequel les critres
de choix des individus sont supposs donns. Nous supposerons que ces critres
de choix ne se basent que sur la situation qui rsulte des choix effectus ce
moment par l'instance qui dcide, et qu'il n'y a en particulier pas de processus
d'apprentissage (dlais fixs). Ce cadre confre la description une grande
simplicit.
3.2* Exemple
Nous allons maintenant traiter un exemple qui permet de montrer comment
on peut aboutir une classification naturelle des choix. Le systme propos
R.A.I.R.O. Recherche oprationnelle/Oprations Research

PROCESSUS DE DCISION ET CINTIQUE LOGIQUE

163

comporte trois couples option provisoire-option effective (A, a)y{B, b) et (C, c)


rpondant aux quations logiques suivantes :
(13)
(14)
(15)
Le systme en question offre deux particularits. D'abord, la symtrie des
quations pour B et C. Ensuite, le fait que fonction A est la seule ne pas
dpendre directement de sa variable de mmoire. La logique laquelle
rpondent B et C fait, quand elle, dpendre leur valeur de la valeur de b et de c,
respectivement. On remarquera aussi le rapport asymtrique de A avec B et C.
Le processus correspondant A sera enclench dans une situation rsultant soit
de l'enclenchement de B, soit d blocage de C.
c

a b c

A B


0 0 T

1 1 1
0 0 0
1 1 1
1 0 0

1 1

0
1 0
1 1
0 1

(T ~rJD
.CEx 3)

0 0

a o o)

1
1

0 0 1

Figure 13. - Tableau des tats.

Quelle situation pourrions nous imaginer de reprsenter par des quations de


ce type? Proposons un problme de prise de pouvoir et d'alliance politiques.
Cette illustration suppose l'hypothse prliminaire assez particulire que chaque
parti dcide isolment en fonction des options effectives sa participation au
pouvoir ou son retrait. Nous ferions alors de A un parti majoritaire (on verra
dans le tableau 13 qu'il n'y a pas de possibilit de pouvoir stable auquel il ne
participe pas). B et C sont des partis d'appoint : toujours prts prendre le
pouvoir en cas de vacance, mais qui ont besoin d'une alliance pour s'y maintenir.
Les fonctions de A, B et C correspondent donc la dcision de prendre le pouvoir
(et de s'y maintenir). Mais comment interprter les temps de rponse et les
quations logiques? Ces dernires reprsentent la logique des intrts et,
concrtement, par exemple, la fidlit des parlementaires de chaque parti des
intrts qu'une participation au pouvoir donne respecte ou viole. Les temps
de rponse dcriront alors la rapidit de ce mcanisme de contrle, qui dpend de
la nature de chaque parti et ventuellement du nombre de voix obtenues aux
dernires lections.
vol. 16, n 2, mai 1982

164

A. DE PALMA, I. STENGERS, S. P. PAHAUT

Nous pouvons, les temps de rponse tant fixs, suivre grce au tableau des
valeurs 13 la trajectoire du systme partir des diffrents tats initiaux. Nous
voyons trois tats stables, correspondant des cas o la situation de chaque parti
rpond la logique des intrts qui le rgit. Ce sont des tats 110, 100 et 111.
Les figures 14 et 15 explorent les volutions partir des tats transitoires. Il s'agit
de deux squences non connexes. Dans la premire, deux cycles deux tats sont
possibles. Dans la seconde, un tat initial instable et un seul mne l'tat stable
111 : la seule manire d'amener tous les partis au pouvoir, s'ils n'y sont dj, est
de partir d'une situation o les deux partis minoritaires partagent ce pouvoir.
Mais aucune volution ne mne une telle situation. Le graphe 16 rsume la
situation.

Figure 14. volution des variables de mmoire.

011

Qn)

Figure 15. - volution des variables de mmoire.

101
OOT

5.

Joo)

(m)

Figure 16. Graphe des tats.

Une discussion plus fine est possible pour dterminer les squences possibles.
Si l'on adopte 001 comme tat initial, il n'y a qu'un seul successeur possible,
000, qui admet lui-mme trois successeurs :
OO^

Figure 17. - Course critique partir de l'tat 0 0 0 .


R.A.LR.O. Recherche oprationnelle/Oprations Research

PROCESSUS DE DCISION ET CINTIQUE LOGIQUE

165

Si Aa < Ab et Afl < Ac, le troisime tat sera 100.


Si Ac < Aa et Ac < Afr, le troisime tat sera 001.
Lorsque le systme sera dans ce dernier tat, les ordres d'enclenchement des
variables a et b seront annuls, et il ne subsistera qu'un ordre de blocage de la
variable c, en sorte que le systme retournera l'tat 000, dans la mme
situation que plus tt. Le systme prsentera des oscillations un nombre de fois
infini entre OOl et .

'b

o-^Ko)
000
Figure 18. volution des variables de mmoire.

Si Ab < Aa et Ab < Ac, le systme voluera vers l'tat 010, qui peut avoir pour
successeurs 0 0 0 ou 110. Puisque l'ordre d'enclenchement de la variable a court
sans contre-ordre partir du passage par l'tat 000, nous aurons :
Si :
0->110,

(16)

T0-+,

(17)

Si :

Mais lorsque le systme sera arriv en 0 0 0, nous ne serons pas dans la mme
situation que plus haut, puisque l'ordre d'enclenchement de la variable a court
depuis un temps gal

oio

010
Figure 19. - volution des variables de mmoire.
voL 16, n 2, mai 1982

166

A. DE PALMA, I. STENGERS, S. P. PAHAUT

Plus gnralement :
Si :
k{Ab + A-b) <Aa<

Ab+k{Ab

000 -> 100,

(18)

Si:

^),

0 0 0 ^ 110,

(19)

avec k et m entiers naturels. La discussion se laisse rsumer de la manire


suivante :
cycle

(K*1)T

VKT

a.

Figure 20. Discussion gnrale.

On voit que le graphe des transitions d'tat prsente deux sous-graphes


distincts, de sorte qu'il semble justifi d'tudier sparment les deux types de
dcision. Bien que les quations pour les choix de B et de C soient symtriques,
les tats stables ne sont pas symtriques par rapport aux variables b et c; cette
asymtrie provient en fait de la structure de Fquation relative aux choix de A.
Une tude plus fine nous a permis de mettre en vidence deux situations
qualitativement diffrentes lorsqu'on adopte pour tat initial 000. Dans un
premier cas, le systme peut, en fonction de la valeur des temps de rponse, entrer
dans le cycle 000-001 dont il ne sortira plus. Ce cycle est stable face des
fluctuations des temps de rponse, et pourrait tre observable dans une situation
R.A.I.R.O. Recherche oprationnelle/Oprations Research

PROCESSUS DE DCISION ET CINTIQUE LOGIQUE

167

raliste. Dans un second cas, le systme oscillera un nombre fini de fois entre les
tats 000 et 010, et choisira enfin un des tats stationnaires 110 et 100. Nous
pouvons interprter ce second comportement comme une oscillation amortie.
L'ide d'un cycle infini semble manquer de ralisme dans le cas d'un processus
de dcision; l'existence de ce type de cycle provient de l'absence de processus
d'apprentissage dans le systme : un processus d'apprentissage peut modifier les
temps de rponse ce qui signifie que ces derniers deviennent une fonction des
tats de transition du systme. Des systmes squentiels avec proprits
d'apprentissage dans le temps de rponse ont t construits l'aide d'lments
lectroniques.
Des travaux en cours sont consacrs l'tude analytique de ces systmes. La
simulation de systmes squentiels sur machines logiques est extrmement
rapide-[10].

REMERCIEMENTS
Ce texte nous a donn l'occasion de discussions fructueuses avec les Pr I. Prigogine et R. Thomas,
que nous tenons remercier ici ainsi que J. L. Deneubourg, P. Van Ham et P. Vincke. Nous tenons
remercier les rapporteurs qui ont sensiblement amlior la clart de cet article. Ce travail a t
partiellement financ par le Department of Transportation, Transportation System Center,
Cambridge, Massachusetts (DOT-TSC, 1185), et la bourse Minna-James-Heineman.

BIBLIOGRAPHIE
1. E. R. HILGARD et R. C. ATKINSON, Introduction to Psychology, Harcourt, Brace and
World, Inc., 1972.
2. R. THOMAS, J. Theor. Biol., vol. 42, 1973, p. 563-585.
3. S. A. KAUFFMAN, J. Theor. BioL, vol. 22, 1969, p. 437-467.
4. R. THOMAS, Lectures Notes in Biomathematics, R. THOMAS, d., Springer, 1979.
5. A. DE PALMA et Cl. LEFEVRE, Disaggregated Models and Theory about DcisionMaking in Dynamic Collective Systems. Applications to Models of Demands in
Transports, submitted for publication, 1980.
6. J. FLORINE, La synthse des machines logiques et son automatisation, Dunod, Paris,
1964.
7. P. VAN HAM et I. LASTERS, J. Theor. Biol., vol. 72, 1978, p. 269-181.
8. R. THOMAS, J. Theor. Biol., 1979 (in press).
9. S. LERMAN, A Disaggregate Behavioral Model of Urban Mobility Dcisions, Ph. D.
Thesis (M.I.T.), 1975.
10. P. VAN HAM, A Rondom Simulation of Deferred Actions Logical Systems Dynamics,
I.F.A.C, Congress on descrete Systems, Dresden, D.D.R., vol. 5, 1977, p. 27-35.
vol. 16, n2, mai 1982