18

C. Bäckström and P. Jonsson

Artiﬁcial Intelligence 302 (2022) 103608

g(b), g(c)

g(b)

G2:

g(a)

g(c)

G1:

1, 0

0, 0

2, 0

1, 0

b

a

0, 0

c

c

c

g(d)

g(d)

2, 1

b

1, 1

0, 1

d

d

d

1, 2

0, 2

2, 2

b

1, 2

0, 2

Fig. 6. Domain abstraction. The digits x, y in a state mean (u = x), (v = y). For clarity, the ﬁgure shows f , not f .

f (s) = h(s) for all s ∈ S1.
A-framework-for-analysing-state-abstraction-metho_2022_Artificial-Intelligen