the conestrip algorithmthe conestrip algorithm erik quaeghebeur systems research group, ghent...
TRANSCRIPT
![Page 1: The CONEstrip AlgorithmThe CONEstrip Algorithm Erik Quaeghebeur SYSTeMS Research Group, Ghent University, Belgium Erik.Quaeghebeur@UGent.be](https://reader030.vdocuments.site/reader030/viewer/2022040816/5e5fe9eec3b1676bf17674e3/html5/thumbnails/1.jpg)
The CONEstrip Algorithm
Erik Quaeghebeur
SYSTeMS Research Group, Ghent University, [email protected]
![Page 2: The CONEstrip AlgorithmThe CONEstrip Algorithm Erik Quaeghebeur SYSTeMS Research Group, Ghent University, Belgium Erik.Quaeghebeur@UGent.be](https://reader030.vdocuments.site/reader030/viewer/2022040816/5e5fe9eec3b1676bf17674e3/html5/thumbnails/2.jpg)
Avoiding sure loss Finite possibility space Ω , Linear vector space L ∶= [Ω →R], Finite set of gambles K ⋐L, Lower prevision P ∈ [K→R], Set of marginal gambles A ∶= h−Ph ∶ h ∈K.
find λ ∈RA,subject to ∑g∈Aλg ⋅g ⋖ 0 and λ ≥ 0.
Indicator function 1B of an event B ⊆Ω ; 1ω ∶= 1ω for ω ∈Ω .
find (λ ,µ) ∈RA×RΩ ,
subject to ∑g∈Aλg ⋅g+∑ω∈Ω µω ⋅1ω = 0 and λ ≥ 0 and µ ≥ 1.
![Page 3: The CONEstrip AlgorithmThe CONEstrip Algorithm Erik Quaeghebeur SYSTeMS Research Group, Ghent University, Belgium Erik.Quaeghebeur@UGent.be](https://reader030.vdocuments.site/reader030/viewer/2022040816/5e5fe9eec3b1676bf17674e3/html5/thumbnails/3.jpg)
Avoiding sure loss Finite possibility space Ω , Linear vector space L ∶= [Ω →R], Finite set of gambles K ⋐L, Lower prevision P ∈ [K→R], Set of marginal gambles A ∶= h−Ph ∶ h ∈K.
find λ ∈RA,subject to ∑g∈Aλg ⋅g ⋖ 0 and λ ≥ 0.
Indicator function 1B of an event B ⊆Ω ; 1ω ∶= 1ω for ω ∈Ω .
find (λ ,µ) ∈RA×RΩ ,
subject to ∑g∈Aλg ⋅g+∑ω∈Ω µω ⋅1ω = 0 and λ ≥ 0 and µ ≥ 1.
![Page 4: The CONEstrip AlgorithmThe CONEstrip Algorithm Erik Quaeghebeur SYSTeMS Research Group, Ghent University, Belgium Erik.Quaeghebeur@UGent.be](https://reader030.vdocuments.site/reader030/viewer/2022040816/5e5fe9eec3b1676bf17674e3/html5/thumbnails/4.jpg)
Avoiding sure loss Finite possibility space Ω , Linear vector space L ∶= [Ω →R], Finite set of gambles K ⋐L, Lower prevision P ∈ [K→R], Set of marginal gambles A ∶= h−Ph ∶ h ∈K.
find λ ∈RA,subject to ∑g∈Aλg ⋅g ⋖ 0 and λ ≥ 0.
Indicator function 1B of an event B ⊆Ω ; 1ω ∶= 1ω for ω ∈Ω .
find (λ ,µ) ∈RA×RΩ ,
subject to ∑g∈Aλg ⋅g+∑ω∈Ω µω ⋅1ω = 0 and λ ≥ 0 and µ ≥ 1.
![Page 5: The CONEstrip AlgorithmThe CONEstrip Algorithm Erik Quaeghebeur SYSTeMS Research Group, Ghent University, Belgium Erik.Quaeghebeur@UGent.be](https://reader030.vdocuments.site/reader030/viewer/2022040816/5e5fe9eec3b1676bf17674e3/html5/thumbnails/5.jpg)
Avoiding partial loss Set of (finite) events Ω
∗, Finite set of (gamble, event)-pairs N ⋐L×Ω
∗, Conditional lower prevision P ∈ [N →R], Set of (conditional marginal gamble, event)-pairs
B ∶= ([h−P(h∣B)] ⋅1B,B) ∶ (h,B) ∈N.
find (λ ,ε) ∈RB ×RB,subject to ∑(g,B)∈Bλg,B ⋅ [g+εg,B ⋅1B] ≤ 0 and λ > 0 and ε ⋗ 0.
find (λ ,ν ,µ) ∈RB ×(RB ×RB)×RΩ ,
subject to ∑(g,B)∈Bλg,B ⋅ [νg,B,g ⋅g+νg,B,B ⋅1B]+∑ω∈Ω µω ⋅1ω = 0
and to λ > 0 and ν ⋗ 0 and µ ≥ 0.
![Page 6: The CONEstrip AlgorithmThe CONEstrip Algorithm Erik Quaeghebeur SYSTeMS Research Group, Ghent University, Belgium Erik.Quaeghebeur@UGent.be](https://reader030.vdocuments.site/reader030/viewer/2022040816/5e5fe9eec3b1676bf17674e3/html5/thumbnails/6.jpg)
Avoiding partial loss Set of (finite) events Ω
∗, Finite set of (gamble, event)-pairs N ⋐L×Ω
∗, Conditional lower prevision P ∈ [N →R], Set of (conditional marginal gamble, event)-pairs
B ∶= ([h−P(h∣B)] ⋅1B,B) ∶ (h,B) ∈N.
find (λ ,ε) ∈RB ×RB,subject to ∑(g,B)∈Bλg,B ⋅ [g+εg,B ⋅1B] ≤ 0 and λ > 0 and ε ⋗ 0.
find (λ ,ν ,µ) ∈RB ×(RB ×RB)×RΩ ,
subject to ∑(g,B)∈Bλg,B ⋅ [νg,B,g ⋅g+νg,B,B ⋅1B]+∑ω∈Ω µω ⋅1ω = 0
and to λ > 0 and ν ⋗ 0 and µ ≥ 0.
![Page 7: The CONEstrip AlgorithmThe CONEstrip Algorithm Erik Quaeghebeur SYSTeMS Research Group, Ghent University, Belgium Erik.Quaeghebeur@UGent.be](https://reader030.vdocuments.site/reader030/viewer/2022040816/5e5fe9eec3b1676bf17674e3/html5/thumbnails/7.jpg)
Avoiding partial loss Set of (finite) events Ω
∗, Finite set of (gamble, event)-pairs N ⋐L×Ω
∗, Conditional lower prevision P ∈ [N →R], Set of (conditional marginal gamble, event)-pairs
B ∶= ([h−P(h∣B)] ⋅1B,B) ∶ (h,B) ∈N.
find (λ ,ε) ∈RB ×RB,subject to ∑(g,B)∈Bλg,B ⋅ [g+εg,B ⋅1B] ≤ 0 and λ > 0 and ε ⋗ 0.
find (λ ,ν ,µ) ∈RB ×(RB ×RB)×RΩ ,
subject to ∑(g,B)∈Bλg,B ⋅ [νg,B,g ⋅g+νg,B,B ⋅1B]+∑ω∈Ω µω ⋅1ω = 0
and to λ > 0 and ν ⋗ 0 and µ ≥ 0.
![Page 8: The CONEstrip AlgorithmThe CONEstrip Algorithm Erik Quaeghebeur SYSTeMS Research Group, Ghent University, Belgium Erik.Quaeghebeur@UGent.be](https://reader030.vdocuments.site/reader030/viewer/2022040816/5e5fe9eec3b1676bf17674e3/html5/thumbnails/8.jpg)
Representation of finitary general conesAs a convex closure of a finite number of finitary open cones:
R ∶= ∑D∈RλD ⋅∑g∈D νD,g ⋅g ∶ λ > 0,ν ⋗ 0 for R ⋐L∗.
g10
g5
g2
g7
g6
g3
g4
g1
g9g8
R
gk ∶ k = 1..10
g1,g2
g2
g2,g4
g2 g4
g6 g8,g9
R ∶= g3,g5,g10,g1,g2,g2,g7,g8,g9,g2,g4,g6.
Cone-in-facet representation:
gk ∶ k = 1..10,g1,g2,g2,g4,g6,g8,g9,g2,g4.
![Page 9: The CONEstrip AlgorithmThe CONEstrip Algorithm Erik Quaeghebeur SYSTeMS Research Group, Ghent University, Belgium Erik.Quaeghebeur@UGent.be](https://reader030.vdocuments.site/reader030/viewer/2022040816/5e5fe9eec3b1676bf17674e3/html5/thumbnails/9.jpg)
Representation of finitary general conesAs a convex closure of a finite number of finitary open cones:
R ∶= ∑D∈RλD ⋅∑g∈D νD,g ⋅g ∶ λ > 0,ν ⋗ 0 for R ⋐L∗.
g10
g5
g2
g7
g6
g3
g4
g1
g9g8
R
gk ∶ k = 1..10
g1,g2
g2
g2,g4
g2 g4
g6 g8,g9
R ∶= g3,g5,g10,g1,g2,g2,g7,g8,g9,g2,g4,g6.
Cone-in-facet representation:
gk ∶ k = 1..10,g1,g2,g2,g4,g6,g8,g9,g2,g4.
![Page 10: The CONEstrip AlgorithmThe CONEstrip Algorithm Erik Quaeghebeur SYSTeMS Research Group, Ghent University, Belgium Erik.Quaeghebeur@UGent.be](https://reader030.vdocuments.site/reader030/viewer/2022040816/5e5fe9eec3b1676bf17674e3/html5/thumbnails/10.jpg)
Representation of finitary general conesAs a convex closure of a finite number of finitary open cones:
R ∶= ∑D∈RλD ⋅∑g∈D νD,g ⋅g ∶ λ > 0,ν ⋗ 0 for R ⋐L∗.
g10
g5
g2
g7
g6
g3
g4
g1
g9g8
R
gk ∶ k = 1..10
g1,g2
g2
g2,g4
g2 g4
g6 g8,g9
R ∶= g3,g5,g10,g1,g2,g2,g7,g8,g9,g2,g4,g6.
Cone-in-facet representation:
gk ∶ k = 1..10,g1,g2,g2,g4,g6,g8,g9,g2,g4.
![Page 11: The CONEstrip AlgorithmThe CONEstrip Algorithm Erik Quaeghebeur SYSTeMS Research Group, Ghent University, Belgium Erik.Quaeghebeur@UGent.be](https://reader030.vdocuments.site/reader030/viewer/2022040816/5e5fe9eec3b1676bf17674e3/html5/thumbnails/11.jpg)
Representation of finitary general conesAs a convex closure of a finite number of finitary open cones:
R ∶= ∑D∈RλD ⋅∑g∈D νD,g ⋅g ∶ λ > 0,ν ⋗ 0 for R ⋐L∗.
g10
g5
g2
g7
g6
g3
g4
g1
g9g8
R
gk ∶ k = 1..10
g1,g2
g2
g2,g4
g2 g4
g6 g8,g9
R ∶= g3,g5,g10,g1,g2,g2,g7,g8,g9,g2,g4,g6.
Cone-in-facet representation:
gk ∶ k = 1..10,g1,g2,g2,g4,g6,g8,g9,g2,g4.
![Page 12: The CONEstrip AlgorithmThe CONEstrip Algorithm Erik Quaeghebeur SYSTeMS Research Group, Ghent University, Belgium Erik.Quaeghebeur@UGent.be](https://reader030.vdocuments.site/reader030/viewer/2022040816/5e5fe9eec3b1676bf17674e3/html5/thumbnails/12.jpg)
Representation of finitary general conesAs a convex closure of a finite number of finitary open cones:
R ∶= ∑D∈RλD ⋅∑g∈D νD,g ⋅g ∶ λ > 0,ν ⋗ 0 for R ⋐L∗.
g10
g5
g2
g7
g6
g3
g4
g1
g9g8
R
gk ∶ k = 1..10
g1,g2
g2
g2,g4
g2 g4
g6 g8,g9
R ∶= g3,g5,g10,g1,g2,g2,g7,g8,g9,g2,g4,g6.
Cone-in-facet representation:
gk ∶ k = 1..10,g1,g2,g2,g4,g6,g8,g9,g2,g4.
![Page 13: The CONEstrip AlgorithmThe CONEstrip Algorithm Erik Quaeghebeur SYSTeMS Research Group, Ghent University, Belgium Erik.Quaeghebeur@UGent.be](https://reader030.vdocuments.site/reader030/viewer/2022040816/5e5fe9eec3b1676bf17674e3/html5/thumbnails/13.jpg)
Representation of finitary general conesAs a convex closure of a finite number of finitary open cones:
R ∶= ∑D∈RλD ⋅∑g∈D νD,g ⋅g ∶ λ > 0,ν ⋗ 0 for R ⋐L∗.
g10
g5
g2
g7
g6
g3
g4
g1
g9g8
R
gk ∶ k = 1..10
g1,g2
g2
g2,g4
g2 g4
g6 g8,g9
R ∶= g3,g5,g10,g1,g2,g2,g7,g8,g9,g2,g4,g6.
Cone-in-facet representation:
gk ∶ k = 1..10,g1,g2,g2,g4,g6,g8,g9,g2,g4.
![Page 14: The CONEstrip AlgorithmThe CONEstrip Algorithm Erik Quaeghebeur SYSTeMS Research Group, Ghent University, Belgium Erik.Quaeghebeur@UGent.be](https://reader030.vdocuments.site/reader030/viewer/2022040816/5e5fe9eec3b1676bf17674e3/html5/thumbnails/14.jpg)
Representation of finitary general conesAs a convex closure of a finite number of finitary open cones:
R ∶= ∑D∈RλD ⋅∑g∈D νD,g ⋅g ∶ λ > 0,ν ⋗ 0 for R ⋐L∗.
g10
g5
g2
g7
g6
g3
g4
g1
g9g8
R
gk ∶ k = 1..10
g1,g2
g2
g2,g4
g2 g4
g6 g8,g9
R ∶= g3,g5,g10,g1,g2,g2,g7,g8,g9,g2,g4,g6.
Cone-in-facet representation:
gk ∶ k = 1..10,g1,g2,g2,g4,g6,g8,g9,g2,g4.
![Page 15: The CONEstrip AlgorithmThe CONEstrip Algorithm Erik Quaeghebeur SYSTeMS Research Group, Ghent University, Belgium Erik.Quaeghebeur@UGent.be](https://reader030.vdocuments.site/reader030/viewer/2022040816/5e5fe9eec3b1676bf17674e3/html5/thumbnails/15.jpg)
Representation of finitary general conesAs a convex closure of a finite number of finitary open cones:
R ∶= ∑D∈RλD ⋅∑g∈D νD,g ⋅g ∶ λ > 0,ν ⋗ 0 for R ⋐L∗.
g10
g5
g2
g7
g6
g3
g4
g1
g9g8
R
gk ∶ k = 1..10
g1,g2
g2
g2,g4
g2 g4
g6 g8,g9
R ∶= g3,g5,g10,g1,g2,g2,g7,g8,g9,g2,g4,g6.
Cone-in-facet representation:
gk ∶ k = 1..10,g1,g2,g2,g4,g6,g8,g9,g2,g4.
![Page 16: The CONEstrip AlgorithmThe CONEstrip Algorithm Erik Quaeghebeur SYSTeMS Research Group, Ghent University, Belgium Erik.Quaeghebeur@UGent.be](https://reader030.vdocuments.site/reader030/viewer/2022040816/5e5fe9eec3b1676bf17674e3/html5/thumbnails/16.jpg)
Representation of finitary general conesAs a convex closure of a finite number of finitary open cones:
R ∶= ∑D∈RλD ⋅∑g∈D νD,g ⋅g ∶ λ > 0,ν ⋗ 0 for R ⋐L∗.
g10
g5
g2
g7
g6
g3
g4
g1
g9g8
R
gk ∶ k = 1..10
g1,g2
g2
g2,g4
g2 g4
g6 g8,g9
R ∶= g3,g5,g10,g1,g2,g2,g7,g8,g9,g2,g4,g6.
Cone-in-facet representation:
gk ∶ k = 1..10,g1,g2,g2,g4,g6,g8,g9,g2,g4.
![Page 17: The CONEstrip AlgorithmThe CONEstrip Algorithm Erik Quaeghebeur SYSTeMS Research Group, Ghent University, Belgium Erik.Quaeghebeur@UGent.be](https://reader030.vdocuments.site/reader030/viewer/2022040816/5e5fe9eec3b1676bf17674e3/html5/thumbnails/17.jpg)
Representation of finitary general conesAs a convex closure of a finite number of finitary open cones:
R ∶= ∑D∈RλD ⋅∑g∈D νD,g ⋅g ∶ λ > 0,ν ⋗ 0 for R ⋐L∗.
g10
g5
g2
g7
g6
g3
g4
g1
g9g8
R
gk ∶ k = 1..10
g1,g2
g2
g2,g4
g2 g4
g6 g8,g9
R ∶= g3,g5,g10,g1,g2,g2,g7,g8,g9,g2,g4,g6.
Cone-in-facet representation:
gk ∶ k = 1..10,g1,g2,g2,g4,g6,g8,g9,g2,g4.
![Page 18: The CONEstrip AlgorithmThe CONEstrip Algorithm Erik Quaeghebeur SYSTeMS Research Group, Ghent University, Belgium Erik.Quaeghebeur@UGent.be](https://reader030.vdocuments.site/reader030/viewer/2022040816/5e5fe9eec3b1676bf17674e3/html5/thumbnails/18.jpg)
Representation of finitary general conesAs a convex closure of a finite number of finitary open cones:
R ∶= ∑D∈RλD ⋅∑g∈D νD,g ⋅g ∶ λ > 0,ν ⋗ 0 for R ⋐L∗.
g10
g5
g2
g7
g6
g3
g4
g1
g9g8
R
gk ∶ k = 1..10
g1,g2
g2
g2,g4
g2 g4
g6 g8,g9
R ∶= g3,g5,g10,g1,g2,g2,g7,g8,g9,g2,g4,g6.Cone-in-facet representation:
gk ∶ k = 1..10,g1,g2,g2,g4,g6,g8,g9,g2,g4.
![Page 19: The CONEstrip AlgorithmThe CONEstrip Algorithm Erik Quaeghebeur SYSTeMS Research Group, Ghent University, Belgium Erik.Quaeghebeur@UGent.be](https://reader030.vdocuments.site/reader030/viewer/2022040816/5e5fe9eec3b1676bf17674e3/html5/thumbnails/19.jpg)
Representation of finitary general conesAs a convex closure of a finite number of finitary open cones:
R ∶= ∑D∈RλD ⋅∑g∈D νD,g ⋅g ∶ λ > 0,ν ⋗ 0 for R ⋐L∗.
g10
g5
g2
g7
g6
g3
g4
g1
g9g8
R
gk ∶ k = 1..10
g1,g2
g2
g2,g4
g2 g4
g6 g8,g9
R ∶= g3,g5,g10,g1,g2,g2,g7,g8,g9,g2,g4,g6.Cone-in-facet representation:
gk ∶ k = 1..10,g1,g2,g2,g4,g6,g8,g9,g2,g4.
![Page 20: The CONEstrip AlgorithmThe CONEstrip Algorithm Erik Quaeghebeur SYSTeMS Research Group, Ghent University, Belgium Erik.Quaeghebeur@UGent.be](https://reader030.vdocuments.site/reader030/viewer/2022040816/5e5fe9eec3b1676bf17674e3/html5/thumbnails/20.jpg)
Representation of finitary general conesAs a convex closure of a finite number of finitary open cones:
R ∶= ∑D∈RλD ⋅∑g∈D νD,g ⋅g ∶ λ > 0,ν ⋗ 0 for R ⋐L∗.
g10
g5
g2
g7
g6
g3
g4
g1
g9g8
R
gk ∶ k = 1..10
g1,g2
g2
g2,g4
g2 g4
g6 g8,g9
R ∶= g3,g5,g10,g1,g2,g2,g7,g8,g9,g2,g4,g6.Cone-in-facet representation:
gk ∶ k = 1..10,g1,g2,g2,g4,g6,g8,g9,g2,g4.
![Page 21: The CONEstrip AlgorithmThe CONEstrip Algorithm Erik Quaeghebeur SYSTeMS Research Group, Ghent University, Belgium Erik.Quaeghebeur@UGent.be](https://reader030.vdocuments.site/reader030/viewer/2022040816/5e5fe9eec3b1676bf17674e3/html5/thumbnails/21.jpg)
Representation of finitary general conesAs a convex closure of a finite number of finitary open cones:
R ∶= ∑D∈RλD ⋅∑g∈D νD,g ⋅g ∶ λ > 0,ν ⋗ 0 for R ⋐L∗.
g10
g5
g2
g7
g6
g3
g4
g1
g9g8
R
gk ∶ k = 1..10
g1,g2
g2
g2,g4
g2 g4
g6 g8,g9
R ∶= g3,g5,g10,g1,g2,g2,g7,g8,g9,g2,g4,g6.Cone-in-facet representation:
gk ∶ k = 1..10,g1,g2,g2,g4,g6,g8,g9,g2,g4.
![Page 22: The CONEstrip AlgorithmThe CONEstrip Algorithm Erik Quaeghebeur SYSTeMS Research Group, Ghent University, Belgium Erik.Quaeghebeur@UGent.be](https://reader030.vdocuments.site/reader030/viewer/2022040816/5e5fe9eec3b1676bf17674e3/html5/thumbnails/22.jpg)
Representation of finitary general conesAs a convex closure of a finite number of finitary open cones:
R ∶= ∑D∈RλD ⋅∑g∈D νD,g ⋅g ∶ λ > 0,ν ⋗ 0 for R ⋐L∗.
g10
g5
g2
g7
g6
g3
g4
g1
g9g8
R
gk ∶ k = 1..10
g1,g2
g2
g2,g4
g2 g4
g6 g8,g9
R ∶= g3,g5,g10,g1,g2,g2,g7,g8,g9,g2,g4,g6.Cone-in-facet representation:
gk ∶ k = 1..10,g1,g2,g2,g4,g6,g8,g9,g2,g4.
![Page 23: The CONEstrip AlgorithmThe CONEstrip Algorithm Erik Quaeghebeur SYSTeMS Research Group, Ghent University, Belgium Erik.Quaeghebeur@UGent.be](https://reader030.vdocuments.site/reader030/viewer/2022040816/5e5fe9eec3b1676bf17674e3/html5/thumbnails/23.jpg)
Representation of finitary general conesAs a convex closure of a finite number of finitary open cones:
R ∶= ∑D∈RλD ⋅∑g∈D νD,g ⋅g ∶ λ > 0,ν ⋗ 0 for R ⋐L∗.
g10
g5
g2
g7
g6
g3
g4
g1
g9g8
R
gk ∶ k = 1..10
g1,g2
g2
g2,g4
g2 g4
g6 g8,g9
R ∶= g3,g5,g10,g1,g2,g2,g7,g8,g9,g2,g4,g6.Cone-in-facet representation:
gk ∶ k = 1..10,g1,g2,g2,g4,g6,g8,g9,g2,g4.
![Page 24: The CONEstrip AlgorithmThe CONEstrip Algorithm Erik Quaeghebeur SYSTeMS Research Group, Ghent University, Belgium Erik.Quaeghebeur@UGent.be](https://reader030.vdocuments.site/reader030/viewer/2022040816/5e5fe9eec3b1676bf17674e3/html5/thumbnails/24.jpg)
Representation of finitary general conesAs a convex closure of a finite number of finitary open cones:
R ∶= ∑D∈RλD ⋅∑g∈D νD,g ⋅g ∶ λ > 0,ν ⋗ 0 for R ⋐L∗.
g10
g5
g2
g7
g6
g3
g4
g1
g9g8
R
gk ∶ k = 1..10
g1,g2
g2
g2,g4
g2 g4
g6 g8,g9
R ∶= g3,g5,g10,g1,g2,g2,g7,g8,g9,g2,g4,g6.Cone-in-facet representation:
gk ∶ k = 1..10,g1,g2,g2,g4,g6,g8,g9,g2,g4.
![Page 25: The CONEstrip AlgorithmThe CONEstrip Algorithm Erik Quaeghebeur SYSTeMS Research Group, Ghent University, Belgium Erik.Quaeghebeur@UGent.be](https://reader030.vdocuments.site/reader030/viewer/2022040816/5e5fe9eec3b1676bf17674e3/html5/thumbnails/25.jpg)
Representation of finitary general conesAs a convex closure of a finite number of finitary open cones:
R ∶= ∑D∈RλD ⋅∑g∈D νD,g ⋅g ∶ λ > 0,ν ⋗ 0 for R ⋐L∗.
g10
g5
g2
g7
g6
g3
g4
g1
g9g8
R
gk ∶ k = 1..10
g1,g2
g2
g2,g4
g2 g4
g6 g8,g9
R ∶= g3,g5,g10,g1,g2,g2,g7,g8,g9,g2,g4,g6.Cone-in-facet representation:
gk ∶ k = 1..10,g1,g2,g2,g4,g6,g8,g9,g2,g4.
![Page 26: The CONEstrip AlgorithmThe CONEstrip Algorithm Erik Quaeghebeur SYSTeMS Research Group, Ghent University, Belgium Erik.Quaeghebeur@UGent.be](https://reader030.vdocuments.site/reader030/viewer/2022040816/5e5fe9eec3b1676bf17674e3/html5/thumbnails/26.jpg)
Representation of finitary general conesAs a convex closure of a finite number of finitary open cones:
R ∶= ∑D∈RλD ⋅∑g∈D νD,g ⋅g ∶ λ > 0,ν ⋗ 0 for R ⋐L∗.
g10
g5
g2
g7
g6
g3
g4
g1
g9g8
R
gk ∶ k = 1..10
g1,g2
g2
g2,g4
g2 g4
g6 g8,g9
R ∶= g3,g5,g10,g1,g2,g2,g7,g8,g9,g2,g4,g6.Cone-in-facet representation:
gk ∶ k = 1..10,g1,g2,g2,g4,g6,g8,g9,g2,g4.
![Page 27: The CONEstrip AlgorithmThe CONEstrip Algorithm Erik Quaeghebeur SYSTeMS Research Group, Ghent University, Belgium Erik.Quaeghebeur@UGent.be](https://reader030.vdocuments.site/reader030/viewer/2022040816/5e5fe9eec3b1676bf17674e3/html5/thumbnails/27.jpg)
Formulation of the general problem
Given a general cone represented by R ⋐L∗ and a gamble h ∈L,we wish to
find (λ ,ν) ∈RR×⨉D∈RRD
subject to ∑D∈RλD ⋅∑g∈D νD,g ⋅g = h
and to λ > 0 and ν ⋗ 0
WLOG h = 0.
![Page 28: The CONEstrip AlgorithmThe CONEstrip Algorithm Erik Quaeghebeur SYSTeMS Research Group, Ghent University, Belgium Erik.Quaeghebeur@UGent.be](https://reader030.vdocuments.site/reader030/viewer/2022040816/5e5fe9eec3b1676bf17674e3/html5/thumbnails/28.jpg)
Formulation of the general problem
Given a general cone represented by R ⋐L∗ and a gamble h ∈L,we wish to
find (λ ,ν) ∈RR×⨉D∈RRD
subject to ∑D∈RλD ⋅∑g∈D νD,g ⋅g = 0
and to λ > 0 and ν ⋗ 0
WLOG h = 0.
![Page 29: The CONEstrip AlgorithmThe CONEstrip Algorithm Erik Quaeghebeur SYSTeMS Research Group, Ghent University, Belgium Erik.Quaeghebeur@UGent.be](https://reader030.vdocuments.site/reader030/viewer/2022040816/5e5fe9eec3b1676bf17674e3/html5/thumbnails/29.jpg)
Approximating the problem: Blunt topological closure
find (λ ,ν) ∈RR×⨉D∈RRD
subject to ∑D∈RλD ⋅∑g∈D νD,g ⋅g = 0
and to λ > 0 and ν ⋗ 0
find µ ∈⨉D∈RRD,subject to ∑D∈R∑g∈D µD,g ⋅g = 0 and µ ≥ 0
and to ∑D∈R∑g∈D µD,g ≥ 1.
0
g1
g2
h
![Page 30: The CONEstrip AlgorithmThe CONEstrip Algorithm Erik Quaeghebeur SYSTeMS Research Group, Ghent University, Belgium Erik.Quaeghebeur@UGent.be](https://reader030.vdocuments.site/reader030/viewer/2022040816/5e5fe9eec3b1676bf17674e3/html5/thumbnails/30.jpg)
Approximating the problem: Blunt topological closure
find (λ ,ν) ∈RR×⨉D∈RRD
subject to ∑D∈RλD ⋅∑g∈D νD,g ⋅g = 0
and to λ > 0 and ν ⋗ 0
find µ ∈⨉D∈RRD,subject to ∑D∈R∑g∈D µD,g ⋅g = 0 and µ ≥ 0
and to ∑D∈R∑g∈D µD,g ≥ 1.
0
g1
g2
h
![Page 31: The CONEstrip AlgorithmThe CONEstrip Algorithm Erik Quaeghebeur SYSTeMS Research Group, Ghent University, Belgium Erik.Quaeghebeur@UGent.be](https://reader030.vdocuments.site/reader030/viewer/2022040816/5e5fe9eec3b1676bf17674e3/html5/thumbnails/31.jpg)
Approximating the problem: Topological interior
find (λ ,ν) ∈RR×⨉D∈RRD
subject to ∑D∈RλD ⋅∑g∈D νD,g ⋅g = 0
and to λ > 0 and ν ⋗ 0
find µ ∈⨉D∈RRD,subject to ∑D∈R∑g∈D µD,g ⋅g = 0 and µ ≥ 1
0
g1
g2
h g1+g2
![Page 32: The CONEstrip AlgorithmThe CONEstrip Algorithm Erik Quaeghebeur SYSTeMS Research Group, Ghent University, Belgium Erik.Quaeghebeur@UGent.be](https://reader030.vdocuments.site/reader030/viewer/2022040816/5e5fe9eec3b1676bf17674e3/html5/thumbnails/32.jpg)
Approximating the problem: Topological interior
find (λ ,ν) ∈RR×⨉D∈RRD
subject to ∑D∈RλD ⋅∑g∈D νD,g ⋅g = 0
and to λ > 0 and ν ⋗ 0
find µ ∈⨉D∈RRD,subject to ∑D∈R∑g∈D µD,g ⋅g = 0 and µ ≥ 1
0
g1
g2
h g1+g2
![Page 33: The CONEstrip AlgorithmThe CONEstrip Algorithm Erik Quaeghebeur SYSTeMS Research Group, Ghent University, Belgium Erik.Quaeghebeur@UGent.be](https://reader030.vdocuments.site/reader030/viewer/2022040816/5e5fe9eec3b1676bf17674e3/html5/thumbnails/33.jpg)
The CONEstrip algorithm
We can solve the general problem with arbitrary R ⋐L∗with the following algorithm:
1. maximize ∑D∈R τD,subject to ∑D∈R∑g∈D µD,g ⋅g = 0 and µ ≥ 0
and to 0 ≤ τ ≤ 1 and ∀D ∈R ∶ τD ≤ µD and ∑D∈R τD ≥ 1.
2. a. If there is no feasible solution, then the problem is infeasible.
b. Otherwise set S ∶= D ∈R ∶ τD > 0; τ is equal to 1 on S:
i. If ∀D ∈R∖S ∶ µD = 0, then the general problem is feasible.
ii. Otherwise, return to step 1 with R replaced by S.
![Page 34: The CONEstrip AlgorithmThe CONEstrip Algorithm Erik Quaeghebeur SYSTeMS Research Group, Ghent University, Belgium Erik.Quaeghebeur@UGent.be](https://reader030.vdocuments.site/reader030/viewer/2022040816/5e5fe9eec3b1676bf17674e3/html5/thumbnails/34.jpg)
The CONEstrip algorithm
We can solve the general problem with arbitrary R ⋐L∗with the following algorithm:
1. maximize ∑D∈R τD,subject to ∑D∈R∑g∈D µD,g ⋅g = 0 and µ ≥ 0
and to 0 ≤ τ ≤ 1 and ∀D ∈R ∶ τD ≤ µD and ∑D∈R τD ≥ 1.
2. a. If there is no feasible solution, then the problem is infeasible.
b. Otherwise set S ∶= D ∈R ∶ τD > 0; τ is equal to 1 on S:
i. If ∀D ∈R∖S ∶ µD = 0, then the general problem is feasible.
ii. Otherwise, return to step 1 with R replaced by S.
![Page 35: The CONEstrip AlgorithmThe CONEstrip Algorithm Erik Quaeghebeur SYSTeMS Research Group, Ghent University, Belgium Erik.Quaeghebeur@UGent.be](https://reader030.vdocuments.site/reader030/viewer/2022040816/5e5fe9eec3b1676bf17674e3/html5/thumbnails/35.jpg)
The CONEstrip algorithm
We can solve the general problem with arbitrary R ⋐L∗with the following algorithm:
1. maximize ∑D∈R τD,subject to ∑D∈R∑g∈D µD,g ⋅g = 0 and µ ≥ 0
and to 0 ≤ τ ≤ 1 and ∀D ∈R ∶ τD ≤ µD and ∑D∈R τD ≥ 1.
2. a. If there is no feasible solution, then the problem is infeasible.
b. Otherwise set S ∶= D ∈R ∶ τD > 0; τ is equal to 1 on S:
i. If ∀D ∈R∖S ∶ µD = 0, then the general problem is feasible.
ii. Otherwise, return to step 1 with R replaced by S.
![Page 36: The CONEstrip AlgorithmThe CONEstrip Algorithm Erik Quaeghebeur SYSTeMS Research Group, Ghent University, Belgium Erik.Quaeghebeur@UGent.be](https://reader030.vdocuments.site/reader030/viewer/2022040816/5e5fe9eec3b1676bf17674e3/html5/thumbnails/36.jpg)
The CONEstrip algorithm
We can solve the general problem with arbitrary R ⋐L∗with the following algorithm:
1. maximize ∑D∈R τD,subject to ∑D∈R∑g∈D µD,g ⋅g = 0 and µ ≥ 0
and to 0 ≤ τ ≤ 1 and ∀D ∈R ∶ τD ≤ µD and ∑D∈R τD ≥ 1.
2. a. If there is no feasible solution, then the problem is infeasible.
b. Otherwise set S ∶= D ∈R ∶ τD > 0; τ is equal to 1 on S:
i. If ∀D ∈R∖S ∶ µD = 0, then the general problem is feasible.
ii. Otherwise, return to step 1 with R replaced by S.
![Page 37: The CONEstrip AlgorithmThe CONEstrip Algorithm Erik Quaeghebeur SYSTeMS Research Group, Ghent University, Belgium Erik.Quaeghebeur@UGent.be](https://reader030.vdocuments.site/reader030/viewer/2022040816/5e5fe9eec3b1676bf17674e3/html5/thumbnails/37.jpg)
The CONEstrip algorithm
We can solve the general problem with arbitrary R ⋐L∗with the following algorithm:
1. maximize ∑D∈R τD,subject to ∑D∈R∑g∈D µD,g ⋅g = 0 and µ ≥ 0
and to 0 ≤ τ ≤ 1 and ∀D ∈R ∶ τD ≤ µD and ∑D∈R τD ≥ 1.
2. a. If there is no feasible solution, then the problem is infeasible.
b. Otherwise set S ∶= D ∈R ∶ τD > 0; τ is equal to 1 on S:
i. If ∀D ∈R∖S ∶ µD = 0, then the general problem is feasible.
ii. Otherwise, return to step 1 with R replaced by S.
![Page 38: The CONEstrip AlgorithmThe CONEstrip Algorithm Erik Quaeghebeur SYSTeMS Research Group, Ghent University, Belgium Erik.Quaeghebeur@UGent.be](https://reader030.vdocuments.site/reader030/viewer/2022040816/5e5fe9eec3b1676bf17674e3/html5/thumbnails/38.jpg)
The CONEstrip algorithm: illustration
g10
g5
g2
g7
g6
g3
g4
g1
g9g8
R
R ∶= g3,g5,g10,g1,g2,g2,g7,g8,g9,g2,g4,g6
![Page 39: The CONEstrip AlgorithmThe CONEstrip Algorithm Erik Quaeghebeur SYSTeMS Research Group, Ghent University, Belgium Erik.Quaeghebeur@UGent.be](https://reader030.vdocuments.site/reader030/viewer/2022040816/5e5fe9eec3b1676bf17674e3/html5/thumbnails/39.jpg)
The CONEstrip algorithm: illustration
g10
g5
g2
g7
g6
g3
g4
g1
g9g8
R
R ∶= g3,g5,g10,g1,g2,g2,g7,g8,g9,g2,g4,g6
We show that g3 ∈R:(It. 1) S =R, τg2 = τg4 = τ−g3 = 1, and possibly µg3,g5,g10,g3
> 0
(It. 2) S = g2,g4,−g3 and τ = 1.
![Page 40: The CONEstrip AlgorithmThe CONEstrip Algorithm Erik Quaeghebeur SYSTeMS Research Group, Ghent University, Belgium Erik.Quaeghebeur@UGent.be](https://reader030.vdocuments.site/reader030/viewer/2022040816/5e5fe9eec3b1676bf17674e3/html5/thumbnails/40.jpg)
The CONEstrip algorithm: illustration
g10
g5
g2
g7
g6
g3
g4
g1
g9g8
R
R ∶= g3,g5,g10,g1,g2,g2,g7,g8,g9,g2,g4,g6
We show that g1 ∉R:(It. 1) S =R, τg2 = τg1,g2 = τ−g1 = 1, and necessarily µg3,g5,g10,g10
> 0,(It. 2) S = g2,g1,g2,−g1, infeasible.
![Page 41: The CONEstrip AlgorithmThe CONEstrip Algorithm Erik Quaeghebeur SYSTeMS Research Group, Ghent University, Belgium Erik.Quaeghebeur@UGent.be](https://reader030.vdocuments.site/reader030/viewer/2022040816/5e5fe9eec3b1676bf17674e3/html5/thumbnails/41.jpg)
Conclusions & thoughts
We now have an efficient, polynomial time algorithmfor consistency checking in uncertainty modeling frameworksusing general cones.
It can also be applied to inference problems (i.e., natural extension):just one extra linear programming step has to be added.
Integrating CONEstrip with a specific linear programming solvermight allow for a practical increase in efficiency.
![Page 42: The CONEstrip AlgorithmThe CONEstrip Algorithm Erik Quaeghebeur SYSTeMS Research Group, Ghent University, Belgium Erik.Quaeghebeur@UGent.be](https://reader030.vdocuments.site/reader030/viewer/2022040816/5e5fe9eec3b1676bf17674e3/html5/thumbnails/42.jpg)
Conclusions & thoughts
We now have an efficient, polynomial time algorithmfor consistency checking in uncertainty modeling frameworksusing general cones.
It can also be applied to inference problems (i.e., natural extension):just one extra linear programming step has to be added.
Integrating CONEstrip with a specific linear programming solvermight allow for a practical increase in efficiency.
![Page 43: The CONEstrip AlgorithmThe CONEstrip Algorithm Erik Quaeghebeur SYSTeMS Research Group, Ghent University, Belgium Erik.Quaeghebeur@UGent.be](https://reader030.vdocuments.site/reader030/viewer/2022040816/5e5fe9eec3b1676bf17674e3/html5/thumbnails/43.jpg)
Conclusions & thoughts
We now have an efficient, polynomial time algorithmfor consistency checking in uncertainty modeling frameworksusing general cones.
It can also be applied to inference problems (i.e., natural extension):just one extra linear programming step has to be added.
Integrating CONEstrip with a specific linear programming solvermight allow for a practical increase in efficiency.