Prise en compte d'une connaissance imparfaite à l'aide d'un pseudo-critère : procédure interactive de construction

(1)

HAL Id: hal-00004217

https://hal.archives-ouvertes.fr/hal-00004217

Preprint submitted on 10 Feb 2005

HAL is a multi-disciplinary open access archive for the deposit and dissemination of sci- entific research documents, whether they are pub- lished or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers.

L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignement et de recherche français ou étrangers, des laboratoires publics ou privés.

Prise en compte d’une connaissance imparfaite à l’aide d’un pseudo-critère : procédure interactive de

construction

Amine Aït-Younes, Bernard Roy

To cite this version:

Amine Aït-Younes, Bernard Roy. Prise en compte d’une connaissance imparfaite à l’aide d’un pseudo- critère : procédure interactive de construction. 2005. �hal-00004217�

(2)

& ' ( !*)+,%-. /01

2.3 4%5678934:

;<=;>@?.A4BDC=EGFIH.F:?KJK<MLNBIO

PRQTS

H

QTU

FDVXWYE=Z\[$FI]^H_Z`?_a b

Q

]^ZcHdfe

Q

C=g=h=ZcEGF

i d S0Q

Zcjkml

QTS

ZcEGF2V=]fBnOMoqprj

QTS

H

QTU FD<

UXQ

C=g=h=ZcEGFD<ts@]

(3)

z~zKcy%}v~v3fv{y%}@{|fvv{$z~}RvfxRf..vf:{y%}vfx9v{xz~vfx@{|~xTvf}@{|~vf:{vxz~~z~x:{

Tvf}.xR~vy%.f}vf}f

(4)

®¯I°^±G²6¯ ³

´µ

°¶_·¹¸qº%¶ ³

»½¼f¾

¶_·¹¿ÀG±Gº%¶¹³`¿

¾ »

Á

®¯I°^±GÂ\¶_¸n¶¹°ÃÄ¿

¾

À¸q²6Å

¾

¶_¸q±Æ

Á

Ç

È Éy%~Tvfx~v}fxz~{y{|xÊ Ë

Ç ÇÍÌ znvfv3^y%}|y%{|f}x|y{|Kwz~r~xvfz~~ÎÏ}~}vÐ Ñ

Ç ËÒ+}vf.}|v3vÔÓn~{y{|K~vn`}.y{|~vqy%xvÕ Ö

×8¼f¾ ÃÄ¿T·²6¸n¶¹³`¿ ¾ °°^±ØGØ=Â`¯I²6Å ¾ ¶_¸q³`·¹ÅI°MÙ~ØG·¹¿TØG¸~ÚT¸n¶¹³`¿ ¾ Å:¶²6¿ÀÅI°ÀÅNÛw±ÅI°¶¹³`¿ ¾G¾ ÅI²6Å ¾ ¶ Ü

ËnÈ8ÝGy%~vfx~v.I~Þq^y{|%~x ß

ËnÇÍà vfzIÓr.~vfx~vz~vfx@{|~~vf.vf:{~v

Z È_á

ËnÇ È âz~vfx@{|£~v3{ÏãI$v

P(a_j) ÈÈ

Ën

Ç Ç

âz~vfx@{|£~v3{ÏãI$v

I(aj) ÈÈ

ä(å ·¹¿q¶_¿º¿$Â\ÅI°ÀÅº¿ ¾ °¶_·±Gº%¶¹³`¿ ¾ ÀMæ± ¾ Ø=°fÅI±GÀ¿~ç|¿T·À·¹Å »IÁ

Ñ~È

à

Þq~{|Kv{}vfYy%}z~vfx~}f.qy%}vfx È_Ë

Ñ~Ç +}vf.}|vy%~~}Ôè~vé È_Ë

Ñ~Ë à vfzIÓnfNv4y%~~}Ôè~v0 È^Ñ

Ñ~Ñ êmNqy{|~ë{|~vn`}.y{|K}vffz~vfv3y^:vfv3.I~fv~zr~xvfz~~ÎÏ}~}v" È¹ß

ì7í

¿$²2²6Å

¾

¶À¯:î

¾

³`·±

¾

Ø=°fÅI±GÀ¿~çº·³\¶_ï·¹Å·¹ÅØG·¹¯I°fÅ

¾

¶_¸n¶¹³`ÃÀG±*Ø=°fÅI±GÀ¿~ç|¿T·À·¹Å4¿ µ ¶_Å

¾ ±

»Ið

ÖIÈ8ñò~}$x~zr^y%xf~f}|y%ó È_ô

ÖIÇ ê9y%xqy%}@{|fz~vf}9õrDvÔÓnx@{|vz~~v}vf~}fxvf:{y{|*y^vf~vfzIÓrxvfz~xRf~x@{y%:{|xR Ç È

ÖI

Ç

È

Ì

znvfv3^y%}|y%{|f}x|y{|K~vfx~xvfz~~¹ÎÏ}~}|vxNxvfz~xRf~x@{y%:{|xö

Ç È

ÖI

Ç Ç à

{|vf}.qy{|~vy,`~{|

g v{~vfx~vfzIÓ£f~x@{y%:{vx

q ^v{ p ^Ç ^Ë

÷7í

¿ ¾

º:Âc±G°^³`¿

¾ Á~ä

®¯ÃÄ¯·¹Å

¾

ºÅI°

Á~ä

(5)

ûIý

ÿ$ù~ú

ù~ý

ù

ÿ! ù~ýòúüþ

ýwùMÿ

ú#" ý$ý ÿ þû

ùÿ

ú þ

%& û

uv.I~fv3~z*~xvfz~~ÎÏf}{|f}vvfx@{~Þq~Gqy}z~*~xvfz~~ÎÏ}~}vz~cy%{:{|vf}@:vf~}vfx{|}x

}vfy{|~x~qy%}vfx

I^' Q ^v{ P ^Ì z~xxz~~$x~x3z~v,n`}.y{|r~v,qy%xv,~xT~~vvfx@{)(`+*

z~ }|y%~vf.vf:{~vfx.y%{|~x

'

(`+*y*qy{|z~}vK~vKy"}vfy{|,(

I,Q ^z P*vf:{|}v£èqy%z~v£fz~~v

wy%{|~xYf~xffzn{|vfxf

Ì

z~xKy^~x.x.vf.-znI}v"z~~v"~fYy%}è~v*$vf}.v{{y%:{~v"~f~z~}v

v4.~fv4~v,~}`f}vf~fvf.qy{|~v4y_vf,n`}.y{|r~v,qy%xvNYqy%}@{|}wz~~v,n`}Yy{|

xz~~~f.vf:{y%}v3n{|vfz~v4y^vfz~r.~,z~ ~vz~vfx@{|~xf

ñ~}fxz~~v4~}fxvf{y{|"~v4z~vfz~vfx}fxz~{y{|x`~qy%.vf:{y%zIÓ

'

*.v{{|}|y.vfI~vf~fvv

qy%}@{|+z~MTvfzn{4vf0/{|}vN{|}$z~}vÔÓn~{|vf}3~vfxn`}Yy{%~x3xz~~~f.vf:{y%}vfxv{ {|}Î

~z~}|y~vfzIÓ NI~vfx3~vz~vfx@{|~~vf.vf:{1(`xvf{| Ë2*Ô43Iz~}3fvfx3qy%xvfx

'

~Þq~}|yz~ ~}%{|Ifv

wy%fz~x{|Y~vfvfxRn`}Yy{|~x xz~~~f.vf:{y%}vfx5(`xvf{|Ñ6*Ô7+nÞq

'

y^%y%:{R~vf~fz~}v

'

~~z~vf}|yf..vf:{Xn{|vf~}=vfx=`~{|~x

g^' q^v{ p~Þq~xx|y%:{Mz~,~xvfz~~ÎÏf}{|f}v9}vf~}fxvf{y{|

~z.~xvfz~~ÎÏ}~}vy%~x~n{|vfIz.v{ .~~~vf}|yz~~v^y%}|y%{|f}x|y{|~zY^y%xMõ.fv~vf}~vf}My%~.v{

z~~v}vf~}fxvf:{Ôy¹{*y_vf~vfzIÓrxvfz~xRf~x@{y%{|xf

ø"ù

ÿDýûIûIúüþ8

9Mþóú

ýwùýÿ

;:

þ

=<

üý8Mý?>A@B

ûIý

ÿ$ù~ú

ýwù~ú

þCMþ

úüþ

ýwùMÿ

ú#"Mý

ù

ÿDýù~ý

ÿ

þû

ùÿ

ú þ

D >û

ùMÿ

ÝRè~v.~xvfz~~ÎÏf}{|vf}.~vf+x~vÞq~vf6ã y£~xvfz~~ÎÏ}~vf}5Eè~Ôèxqy%xvf6 {|è~v{|è~}vfv

~qy%}@ã0}vfy{|~x

I^' Q ^y%~ PGF6v"xz~~$xv"{|èqy{Y{|è~v*qy%x*n`}Yy{| y_y%y%~vrxH(`+*Ny }|y%I~%~{|è~vmy%{|vf}qy{|vfx

'

(`+*${|è~v }vfy{|~xJ(

I,Q^} P*{|è~vmxv{|x=%~fz~~vfx=qf~xvffzn{|v y%{|vf}qy{|vfxf2F6v~vvfKy%y%~~}:y%èy%KE~z~xM{|4n`vf}+{|è~v~}v`vf}vf~fv.~vfTf.qy{|~v

E{|èr{|è~vqy%xn`}Yy{|

'

Eè~è*{yLI%vfx:{|Yy%ffz~:{3y%~~{|qy%wn`}Yy{|~xn{y%~v*:ã

y%xMI~Nz~vfx@{|~xfDr}vf_vf}

'

Emv3{|}@ã{|N.~NONfv{|è~vz~,$vf}R%Xz~vfx@{|~xf

ñ\{|vf} ~}|vx|v{|~4x.v`z~~qy%.vf:{y%T}vfxz~{|x

'

Emv~~^y{|vè~KE{|4vÔÓn~{my%~~{|qy%~n`}üÎ

Yy{|~xmy%~1E9v{|}~z~fv{#E9.~vfx9%Gz~vfx@{|~~P(`xvf{|£Ë2*ÔRQ{|è~vfxv3qy%xvfx

'

Emv3~vÞq~v

yY~}%{|fG% y%fz~x{|r%+{|è~xy%~~{|qy%n`}Yy{|S(`xvf{|"Ñ6*Ô!TmvÔ`}v,f~fz~~~

'

Emv

~~^y{|vè~KEò{|Yn{y%£{|è~v`z~~{|~x

g^' q ^y%~ p ~vÞq~~Ky.~xvfz~~ÎÏf}{|vf}r}vf~}vfxvf:{y{|:v

%{|è~vn{y%~vfK~xvfz~~ÎÏ}~vf}fRU=qy%ã

'

E9v3~}vfxvf:{y4Ôèqy%}|y%{|vf}VN^y{|%{|è~v3^y%xvWEè~vf}v3x|z~è

y~xvfz~~ÎÏ}~vf}èqy%xyN}vf~}vfxvf:{y{|PE{|èK{#E9Nf~x@{y%{{|è~}vfxè~~x

(6)

uv.I~fv,~z ~xvfz~~ÎÏf}{|f}v_(`üÉ¹ã;(üÈ_ô:ßa`2*cbwÉ¹ãd(üÈ_ôe`:Öe*èqy%~{|}vKÈ_á2*vfx@{Yy%:{|vfqy%:{

wz~ z~x|y%vKfz~}|y%:{vf0y%~vK"y*~ffxw+êm..vY{|zn{f}{|f}v

'

fvK.I~fv.cy%{,:{|vf}@:vf~}

z~~v3%y%zqy¹{

g(a) ~v3y4$vf}@`}Yy%~fvwz~~vy%{|

a xvfKz~£${9~vIz~v3~z~xRzK.~x f.~vÔÓnvLbXf~~z~{vf6zn{|}v.£:{|}I~z~}v~vzIÓ6xvfz~x

q[g(a)] ^v{ p[g(a)] y%~$vffx}vfx$vf{|ëÎ

vf.vf{4xvfz~xw~~OfDf}vf~fvYv{4~vY~}`f}vf~fv%+êmvfzIÓÎÏfmx:{,~vfx@{|~fx,r~}vf~~}vYvf2f.n{|v

vfx+cy%{|vfz~}x w.~}ffx

'

w~fvf}@{|{|z~~vRv{mw~~{|vf}.qy{|xz~xfvfn{|~vfx w:{|vf}@:vf~}+qy%~x

~vfxhg@z~vf.vf:{|xvf{|vf}.vfx3w~~OfDf}vf~fv(`}vfy{|%

I*v{~v~}`f}vf~fvi(`}vfy{|

P*$}@{y%:{

xz~}~vfzIÓ*y%{|~xRz~vff~z~vfxf

uv,x@ãIx@{|f.v}vfy{|~~vfG~v,~}`f}vf~fvfx9(`xf}fwj*y%xxIfy%z.~fv4~z~xvfz~~ÎÏf}{|f}v4cy%{

:{|vf}@:vf~}

'

6lk%{|*~vfx}vfy{|~x

I ^v{ P^' z~~v"}vfy{|

Q ~{|v*~v*~}`f}vf~fv"cy%~vS(`vf fv xvf~xzwRxfy%{Ywz~~v*~}`f}vf~fv*Yy%{y%~vm*,z~}vnq{|v*z~~v"y%,~zo{|

'

z~~v*è~fx{y{|

vf:{|}vx{|zqy{|Yw~~OfDf}vf~fvv{9~v~}`f}vf~fv3x@{|}{|v%~êmvx@ãIx@{|f.vxv~}fxvf:{|v3xz~x9y`}.v

xz~%y%:{|vqp











aIb ⇐⇒ q[g(b)]≥g(a)−g(b) et q[g(a)]≥g(b)−g(a)

aQb ⇐⇒ q[g(b)]< g(a)−g(b)≤p[g(b)]

aPb ⇐⇒ p[g(b)]< g(a)−g(b) p[g]≥q[g]≥0 q[g(a)]−q[g(b)]

g(a)−g(b) ≥ −1 p[g(a)]−p[g(b)]

g(a)−g(b) ≥ −1

(üÈr*

s£{|vfxf}fwTyNz~~vx@{|}z~{|z~}v~v~xvfz~~ÎÏ}~}v9(`üTÉ_ãv{ut~Iv9(üÈ_ôe`:ße*M*Ô

uy.f~x@{|}z~{|*wz~"~xvfz~~ÎÏf}{|f}v}vIvf:{3y%~x.~Þq~}v3{|}~v{~v`~{|~x(

g^' p^' q^*Ô ^à ^y%~x v^y%xmwz~Yf}{|f}v~Þq~$qy%}Mz~~v`~{|

'

vfxM$vf}@`}Yy%~fvfx x:{9~vf.~Þq~vfxmv{m

vÔÓnx@{|v4~z~xvfz~}x{|vfè~~z~vfxvv.^y%fvfx3$z~}xTffÞqvf}vfx%y%vfz~}x~vfx~vfzIÓ"xvfz~x$z~}Ôèqy%z~v

y%{|£~vvf~xvf,~v

A

êmvf$vf~qy%:{

'

Twvfx@{Rqy%xm}|y%}vz~vè~.Nvw{|z~~vx{mfn`}:{|4~vfx9^y%xmqy%~x9vfxz~vfx

wvfx@{rqy%x£vf.vfxz~}v~v ~Þq~}KfvfxK{}x`~{|~xfhwÏ$vfzn{rqy%}KvÔÓnvf.~vz~/{|}v ~z~x

cy%fvz~z~xqy{|z~}vf=~v}|y%~vf}vfx3y%{|~xx(`x@{|}z~{|z~}vw}~}vK*~zn{yk%{z~vwy{{|}~z~vf}z~~v

$vf}@`}Yy%~fvYè~OfD}fvKy%zIÓ y%{|~x4~v

A ^Ì z~x,~z~x,:{|f}vfxx|%~xfm"~vfzIÓ f:{|vÔÓI{|vfxqy%~x

vfxz~vfx£vfx@{xznvf:{f~~z~{Nxvx{|z~vf}Rvfr~}|y{|z~vqp

z

êm:{|vÔÓI{|v

◦È{pQ.~x$xvwz~Yvf~xvf,~v~}ÔÎÏ~Þq~qwy%{|~x

A ^' }|y%~fvfx ~vy3.~x

$~~vy.vfvfz~}v

'

y^vfzx|y%~xMvÔÓ)|9z~9(`ü:É_ã,v{}z~~qy%}(üÈ_ôe` Ç * '

èqy%~{|}vÈ_á

qy%~xRÉ_ãYv{uTmznãIxxz~(üÈ_ô%ôË2*M*cbIqy%~x9fvf{|vÔÓI{|v

'

vfx9vÔÓ|9z~N~vf:{A/{|}vf~x~f}fx

f..vY~vI}|y%x,vÔÓ;|9z~&(`xz~xfv{v}|Nv

'

~fx~vK~vfxNy%{|~x,z~9xvKf.qy%}vf:{

{|zn{|vfx~vy,)/f.vcyLf*w.T}@{|v3z~vfvy%zn{|}vy%{|*Ô

(7)

z

êm:{|vÔÓI{|vm

◦^Ç paQ~x$xv wz~~v fè~vfvM}~qy%vX~vfx@{|~fvm%y%z~vf}~vfx=y%{|~x~~ÔÎ fvfxx|y%}vf.vf:{ {|zn{|vfxM~Þq~vfx

'

vfx y%{|~xMxv~}fxvf:{y%:{Ry%zN`z~}Mv{m.vfxz~}v%Q.xz~~Txv

zwqvÔÓnx@{|vz~~v~}Iff~z~}vw%y%zqy{|N~Y~fz~fvwy%,~zo{|Rz~T$vf}.v{ wyafDvf{|vf}

èqy%z~v£y%{|2"z~ fè~vf vÔ{z~ xvfz~wÏmvf }fxz~{|vYz~ }|y%~vf.vf:{~vfxy%{|~x4qy%}

qy%z~v{|xz~m~vf:{

'

f v~f}v

'

/{|}vf~x~f}fvfx,f..vY~vYI}|y%x4vÔÓd|9z~(`üXÉ_ã

hLO

(üÈ_ôe`e2*

'

Évf}x

hLO

(Ç ááá2*M*Ô

=z~}mf~x@{|}z~}vz~~xvfz~~ÎÏf}{|f}vqy%~x9èqy%fz~K~vfvxR~vfzIÓf:{|vÔÓI{|vfx

'

Tvfzn{Rè~vf}è~vf}

{|zn{9wy%T}K,y%~~}fè~vf~~vf}9z~xf}fwn~v{üãITvq(

I,Q,P*Mz~$x{mz~K~xvfz~~ÎÏ}~}vv{R4~Þq~}

vf~xz~{|v{|}x `~{|~x

g^' q ^v{ p z~Dv}vf~}fxvf:{|vf{^ à y%~xRv~}vf.vf} f{|vÔÓI{|v

'

f~x~f}v

vf~xvf,~vKÞq~wy%{|~x

A y%}xz~v

'

qy%~x.v£~vfzIÓnf.v

'

0}|y%x~~vrxz~}.vf~xvf,~v£~vfx

y%{|~x9xz~xfvfn{|~vfxRw/{|}vyafDvf{|fvfxf à y%~xèqy%fz~£~v3fvfx~vfzIÓKf:{|vÔÓI{|vfx

'

vfxmI}|y%x9vÔÓP|9z~

wy^ãy%:{qy%xvfzKw/{|}v~x@{|~z~fx

'

%r$vfzn{f~x~f}vf}z~vqp

z à y%~x.vKf{|vÔÓI{|vr

◦^È

'

vK.%{fy%{|4~fx~vry%z~xx~vf0z~~v*y%{| ~v

A ^zw^z~~v

fy%xxv~v3I}|y%xRvÔÓ_|9z~~

z à y%~xv3f:{|vÔÓI{|v

◦^Ç

'

v3.%{fy%{|4~fx~vz~rfè~vfr~vfè~vfv%

wÏxfvf~xz~{Xz~vmèqy%fz~,~v fvfx=~vfzIÓ4f{|vÔÓI{|vfx=vfx@{X^y%}|y%{|f}x qy%}vÔÓnx@{|vf~fvmwz~4vf~xvf~v

A ^wff.vf{|x y%~$vfxmy%{|~x+x|z~}Mvfz~vfqvfx@{m~Þq~Tz~.}~}vf%.~v{

WQ.xz~~$xvz~vfv{

}~}vy{|3n{|vfIz£qy%}Rè~.Nvw{|z~~vqy%~xRz~~v:{|vf}|y%{|£y^vfz~rvÔÓnTvf}@{z£z~ry%{|vfz~}

:{|vf}}

ZQrxz~~$xv4vfrzn{|}vz~v

'

qy%~xv^y%~}v~vv{{v{|vf}|y%{|

' Z yN{|^y%qy%~v

~v~}ffxvf} y3qy{|z~}v~vy3}vfy{|%

I^' Q^z P z~TvR~vfzIÓYy%{|~xMf~xffzn{|vfxmqy%~x c}~}|v

Wb~fvfff~x@{|{|z~v3fvz~v~z~xy%~$vfvf}~xRn`}.y{|~vqy%xv%

u+g@v{Y~v*~%{|}vr{|}|y^%y%vfx@{~v*~Þq~}.z~~v"~fYy%}è~v*$vf}.v{{y%:{Y~v*~f~z~}v*z~ x@ãIxüÎ

{|f.vY}vfy{|~~vfM~v~}`f}vf~fvfx(

I,Q,P*f.qy{|~vYy^:vfvY.~fvY~z ~xvfz~~ÎÏ}~}vz~

}vf~}fxvf:{|vrn`}.y{|6~v£qyx|vKvf ~}vfqy%:{.y%~~z~9xz~}N~vfxn`}Yy{|~x4xz~~~f.vf:{y%}vfx

n{|vfz~vfxy^:vfz~r.~4z~ ~vz~vfx@{|~xTxfvfx

Z

ñ~}fxz~~v4~}fxvf{y{|"~v4z~vfz~vfx}fxz~{y{|x`~qy%.vf:{y%zIÓ

'

*.v{{|}|y.vfI~vf~fvv

qy%}@{|+z~MTvfzn{4vf0/{|}vN{|}$z~}vÔÓn~{|vf}3~vfxn`}Yy{%~x3xz~~~f.vf:{y%}vfxv{ {|}Î

~z~}|y~vfzIÓ NI~vfx3~vz~vfx@{|~~vf.vf:{1(`xvf{| Ë2*Ô43Iz~}3fvfx3qy%xvfx

'

~Þq~}|yz~ ~}%{|Ifv

wy%fz~x{|Y~vfvfxRn`}Yy{|~x xz~~~f.vf:{y%}vfx5(`xvf{|Ñ6*Ô7+nÞq

'

y^%y%:{R~vf~fz~}v

'

~~z~vf}|y4f..vf:{9n{|vf~}mvfxm`~{|~x

g^' q ^v{ p~Þq~xx|y%:{Rz~K~xvfz~~ÎÏf}{|f}v3}vf~}fxvf:{y¹Î {|=~zr~xvfz~~ÎÏ}~}v%n{vIzw Ì z~x~z~xy{{y%è~vf}~x~z~xxTffy%vf.vf{NvÓ~y%.vfrwz~r^y%x

qy%}@{|fz~vf}R.$}@{y%:{~:{~z~x~~~vf}~xz~~v4~znvfv^y%}|y%{|f}x|y{|0pTxfy%{~v4fvfz~

õ£v3~xvfz~~ÎÏ}~}v4y%~.v{z~~v}vf~}fxvf:{y{|*y^:vf~vfzIÓrxvfz~xRf~x@{y%:{|xf

B

¦4]K¢ÔªG 3ªG¦a\

Z

¥£ § ¤ Z

ªG {]9

à y%~xNfvKz~9xz~{

'

xz~~$xv£z~vKvfxNy%Ô{~x~v

A x:{Nz~.f}%{|fvfxfn`}.f.vf:{N

}~}v

W ^p a_jWai =⇒ j > i ⁽a_m^' a₁ ~fx~vf:{,}vfx$vf{|vf.vf{y£.vfvfz~}v.v{,y£.~x

$~~v~vfxy%{|~x*Ô

(8)

3I{

M z~~vN~vf.ëÎÏ.y{|}fv,^y%}}fv(`üDÞqz~}vKÈr*

'

}vf~}fxvf:{y%{vfx3~}`f}vf~fvfx4~v

Z ^{|vfv

z~vy^y%xv

C_k,j f:{|vf{(

I,QouP*mxvfrz~v

Z y,%y%~

a_kIa_j^' a_kQa_j ^z a_kPa_j

a₁ a₂ · · · a_m−1 a_m a₁ I

a₂ P I

a_m₋₁ I

a_m Q I

J+AÈeprYy{|}fv

M

ñfvx@{y%~v

'

xvfz~vfx vfx ^y%xvfx9~vy~}vf.f}vxz~xüÎÏ~y%qy%v

'

}vf~}fxvf:{y%:{Rn`%}|.y¹{|%N~v

qy%xv

'

x:{3}vf.~vfxf!UTy%x~x~xvf}@vf}fGz~v,{|zn{|v,fnÞqz~}|y{|

(I,Q,P) vfx@{Txx~v,xz~}

y,~}vf.f}v3xz~xüÎÏ~y%qy%v%

uvfxGn`}Yy{|~xzw:xfy%{wy%fz~f}}~:vf:{G$vf}.v{{|}vM~v }vf.~}vfx (m−1)(m−2) 2

^y%xvfxMI~vfx x|y%~x+{|zn{|v`x+$xvf}my%zn{y%:{M~vz~vfx@{|~xMzw~ãNy~v^y%xvfxm}vf.~}fuy3Yy{|}fv

M y%~xmf.~{|fvKqy%}

I,Q ^z P qy%~xNèqy%fz~~v£~vfxN^y%xvfx.~{}vnq{|vf}Ny*cyLf ~:{

Z

f.qy%}v3vfx~vzIÓ*y%{|~xRf~fvf}~fvfx^

=z~}R$zn}}vf~}fxvf:{|vf}z~£{|vfx@ãIx@{|f.v~v~}`f}vf~fv4qy%}Rz~r~xvfz~~ÎÏf}{|f}v

'

$cy%zn{v{

wxzvN{z~vv3x@ãIx@{|f.v9(

I,Q,P*9y%~xwn{|vfzrx{z~r~xvfz~~ÎÏ}~}v%

Ì z~xM..vf~fvf}~x+qy%}+}|y%~$vfvf}Xfvf}@{y%~x+}fxz~{y{|xX`~qy%.vf:{y%zIÓ}vfy{|`x+fv{{|vx@{|}z~ÔÎ

{|z~}v(`ü$É_ã£v{t~I%v(üÈ_ôe`:ße*

'

+}%{v{t~I%v(üÈ_ôô:ße*

'

ÝGxzI%xv{t~Iv1(üÈ_ôôe`2*M*Ô Ì z~x

:{|}I~z~}~x+vf~xz~{|vz~~v~znvfv^y%}|y%{|f}x|y{|N~vfxm~xvfz~~ÎÏ}~}vfx `~~fvxz~} y3f~~{|

~vN.~%{|~v

'

fvNz~M~z~x$vf}.v{{|}|yKwvÔÓn~{|vf}y%z.vfzIÓn`%}Yy¹{|%~vNqy%xv.v{~%~

~v}f~z~}vv~~}v3~vz~vfx@{|~xxz~~~f.vf{y%}vfx$xvf}

Z

A

%&

ýüû;ýù û

û

=z~}~}fxvf:{|vf}z~~v+~}|v.f}v+^y%}|y%{|f}x|y{|~vfx~xvfz~~ÎÏ}~}vfx(`ü_É¹ãv{t~cI%v(üÈ_ôe`:ße*M*

'

~z~x}|y%~$vf~xRz~v)p

a(P ∪ Q)b ⇐⇒ aPb ^z aQb aQ⁻¹b ⇐⇒ bQa

a(I ∪ Q ∪ Q⁻¹)b ⇐⇒ aIb ^z aQb ^z bQa

K¯:î

¾

³\¶¹³`¿

¾!»a

¢9

M±

2¡

+¯

A

¤

a

¡A¤

OL

²

¡

£ ¤ ¡ I ^³¤ ^¨ª´AM ^+¯ ^¡µ ^¢9¨ ^¤ ^¥ ^¶ Q P ^³ ^¡µ ^¢9¨ ^¤ ^¥ ^¡

·

{

¤ ¸

VW¹

I,Q,P^º ^¡ ^¸ ^¡ ^¦ ^° ^¤ ^¦ ^¤ ^¡ ^¡ ^V¢9 ^¡ ^V ^¡ ^¸ ^¤ ^¸ ^¤ ^¨#¨ ^¡ P r₁, . . . ,P r₈ ^¡ ^°

¯

#

¡W¡

¯ ¨ ¤

©J¨

¡³

∀a,b,c,d∈ A ^³

(9)

»;¼

¤ ¤

¨#¨

¡5¤

¡ ¤

±

¡³

» P r₁ : Si a(P ∪ Q)b et b(P ∪ Q)c et aId, alors non{cId}

» P r₂ : Si aPb et bPc et a(I ∪ Q ∪ Q⁻¹)d, alors non{c(I ∪ Q ∪ Q⁻¹)d}

»;¼

¤

¸

¤

¨#¨

¡

¦6¨y¦

±

+¯

¡³

» P r₃ : Si a(P ∪ Q)b et bIc et c(P ∪ Q)d, alors a(P ∪ Q)d

» P r₄ : Si aPb et b(I ∪ Q ∪ Q⁻¹)c et cPd, alors aPd

» P r₅ : Si aQb et bIc et cPd, alors aPd

» P r₆ : Si aPb et bQc et cId, alors aPd

» P r₇ : Si aPb et bIc et cQd, alors aPd

» P r₈ : Si aIb et bQc et cPd, alors aPd

UTy%x~x3~xvf}@vf}z~vNfvfx~}~}{|fxy~$}@{|vf:{~vfxn`}Yy¹{|~xxz~}3vf:{|vfz~vNfvf}üÎ

{y%~vfx~vfx^y%xvfx~vyYy{|}v

MTuvfx~}~}{|fx}vfx@{|}{|vfx(

P r₁,P r₂*9~v$vf}.v{{|vf:{qy%x

~vf~fz~}v~}vf{|vf.vf:{~vfx}vfy{|%~xRYy%xR~zn{yk%{~v}vfx@{|}vf~~}vvèqy%.r~vfx$xx~vfxf

=y%}f{|}v

'

vfx~}~}Ô{x~f~z~{|vfx4Tvf}.v{{|vf{wy%$zn{|}3~}vf{|vf.vf:{,Kz~~v.}vfy{|~v

~}`f}vf~fvz~~z~v%

ÝGzn{|v`x

'

{|vfvfxz~vfvfx,~}~}{|fx4x:{4`}z~fvfx

'

vfz~}zn{|x|y{|x@ãIx@{|fYy{|z~vY$z~}

}:y%~xvf}XvmÔè~ëÓ,~vfx+z~vfx@{|~xM$xvf}+wvfx@{ qyxXcy%fv% à vR~z~x

'

fv{{|v9`},z~y{|4~vR~}vf~

qy%xvfrf.n{|v3y,~}fxvf~fv4~v}~}v

W^' ^w^õ£{|f}M/{R~zr}fxz~{y{xz~y%{(`üqño{h½3z~~vfx ( Ç

áánÈr* qy%v4Ö%Ë2*m$v^y%z~fz~r.vfzIÓ£y%qy%n{|Tz~}}:y%~x|y{|~zrz~vfx@{|~~vf.vf:{^

A² ¾

" ýüý ÿ!+ùMÿ

wù~úüû

ú

þ¿+þ

ûIý

a ùù~ý

à

y%~x9fvz~$xz~{

'

~z~xm:{|}I~z~x~x z~~vè~f}|y%}è~vvf:{|}vvfx }vfy{|~xM~v~}`f}vf~v

'

z~v

~z~x,{|}|y%~z~x~xvf0~xy{z~vÀpXy"}vfy{|%2~v£~}`f}vf~fv£x@{|}{|v

P vfx@{.~z~x,`}@{|vz~v£y }vfy{|K~v~}`f}vf~fvcy%~v

Q z~vfvÔÎÏq/f.v~z~x9`}@{|vz~vy,}vfy{|Kw~~OfDf}vf~fv

I

K¯:î

¾

³\¶¹³`¿

¾ Á

³AÁCÂÃ§ÄRÅÆÅMÂÃÇÄ!ÈiÉdÂÃGÂRÆyÂÃÅMÈSÊË

Ì

h¦

R

¨

¡

¢)£lV

A ^¡¤ ^Vy¥ ^¡

¦6¨ª©

¡

V

¡x¤

OL

²

¡ I^¶ Q P^¶ ^2¡ ^¦ ^¤ ^¡ ^¥ ^xOi± ^¦ ^² ^¦6x¢ ⁾ ^¡ ^¡ ^L ^¡^« ^#

¯K

¡

°ÍL°

¯K

¡

¦4Î

¤ ¦ ¤

W ^¦6 ^¡ ^6±^² ^¡ ^¦6 A ^¡ ^¶¥ ^¥ ^¡ â ^=Vu^¤ ^¸ ^V¹a,b,c^º ^¦4Î^6± ^² ^¡ ^¯ ^¨ ^¤ ^© aWb bWc^¶ ⁹ ^¤ a c ^¤ ÔL ^² ^¢ â ^¡ ^2¡¡ ^« ^¤ ^#{¥ ^WO ^¸ ê¡ ^« ^¤ #5¦6±+O

¡

¥

M

¡

#

h

¤

9¹r¶h£

º

¹£c¶A±

º

ÏÐ ¯¿T·¹ïI²6Å

»a

¢9

M±

2¡

+¯

A

¤

a

¡A¤

OL

²

¡

£ ¤ ¡ I ^³¤ ^¨ª´AM ^+¯ ^¡µ ^¢9¨ ^¤ ^¥ ^¶ Q P ^³ ^¡µ ^¢9¨ ^¤ ^¥ ^¡

» ¹

º)³

A ^¸ ^hÑ ^¤ ^C¢ ^¦4Î ^¤ ^¦ ^¤ ^{± ^¢ ^¸ ^V W ^#¥ ^¥ ^+V ^¡ ^¥ ^¡ ^a ^§V ^¡ ^6±^² ^¡ a^¶ b c ^³

aQb=⇒aWb aPc=⇒aWc

( Ç *

¡

Oi±

¦

²

¦6¢

)

¡ ¡ L

¡

«

#

¯K

¡

°ÍL°

¯K

¡

¦6 W ^¸ ^¤ ^¹I,Q,P^º ^¶L ^¤y¡ ^± ^¡

¤

a

¡{¤

OL

²

¡

¦6¨ª©

¡¡

¸ ¡ ¦ ° ¤ ¦ ¤

¡¤ A