examplestrategies.txt 1.1 KB
Newer Older
Christian Müller's avatar
Christian Müller committed
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31
Stubborn:

BSFO SOQE: strategy for B(x1,p1): 

∀ xt:X,pt:P. (
(¬ Conf(xt,pt) ∨ ¬ (x1 = xt) ∨ ¬ (p1 = pt)) ∧ 
(¬ Conf(xt,pt) ∨ ∀ yt:X. ¬ (x1 = yt) ∨ ¬ (p1 = pt)))

Causal

BSFO SOQE: strategy for B(x1,p1): 
∀ xt:X,p:P,pt:P. (
	(Conf(xt,p) ∨ ¬ Conf(xt,pt) ∨ ¬ (x1 = xt) ∨ ¬ (p1 = pt)) ∧ 
	∀ yt:X. (
		(Conf(xt,p) ∨ ¬ Conf(xt,pt) ∨ ¬ (x1 = yt) ∨ ¬ (p = p1)) ∧ 
		(Conf(xt,p) ∨ ¬ Conf(xt,pt) ∨ ¬ (x1 = yt) ∨ ¬ (pt = p1)) ∧ 
		(¬ Conf(xt,p) ∨ ¬ Conf(xt,pt) ∨ ¬ (x1 = xt) ∨ ¬ (pt = p1)) ∧ 
		(¬ Conf(xt,p) ∨ ¬ Conf(xt,pt) ∨ ¬ (x1 = yt) ∨ ¬ (p = p1)) ∧ 
		(¬ Conf(xt,p) ∨ ¬ Conf(xt,pt) ∨ ¬ (x1 = yt) ∨ ¬ (pt = p1))
	)
)

Simpl BSFO SOQE: strategy for B(x1,p1): 
∀ xt:X,p:P,pt:P. (
	(Conf(xt,p) ∨ ¬ Conf(xt,pt) ∨ ¬ (x1 = xt) ∨ ¬ (p1 = pt)) ∧ 
		(Conf(xt,p) ∨ ¬ Conf(xt,pt) ∨ ¬ (p = p1)) ∧ 
		(Conf(xt,p) ∨ ¬ Conf(xt,pt) ∨ ¬ (pt = p1)) ∧ 
		(¬ Conf(xt,p) ∨ ¬ Conf(xt,pt) ∨ ¬ (pt = p1)) ∧ 
		(¬ Conf(xt,p) ∨ ¬ Conf(xt,pt) ∨ ¬ (p = p1)) ∧ 
		(¬ Conf(xt,p) ∨ ¬ Conf(xt,pt) ∨ ¬ (pt = p1))
)