Enunciado: Um pastor tem que atravessar um rio, levando consigo uma ovelha, uma couve e um lobo. Porém, o seu barco só lhe permite levar um acompanhante de cada vez, fazendo com que várias viagens sejam necessárias. Além disso, a ovelha não pode ficar sozinha com a couve, nem o lobo pode ficar sozinho com a ovelha. Como é que o pastor pode concretizar a sua tarefa?

Notações importantes

• Ovelha recebe a notação O
• Lobo recebe a notação L
• Couve recebe a notação C
• Pastor recebe a noração P
• C é o conjunto de todos os elementos a serem transportado {L,O,C, P}
• O Conjunto das movimentaçẽos M é dado por $M = (\rarr, \larr)$ (uwu)
• O Barco B pode transportar um único elemento de C, onde essa travessia será representada por $B = (m, e, P)$ onde $e \in C - \{P\} \ or \ <None> \ \ \& \ m \in M$ onde $<None>$ Representa um Nulo.
• Existe a margem original, esquerda, representada pelo conjuntos de E com todos os elementos na margem esquerda
• Existe a margem destino, R, Representada pelo conjunto de E com todos os elementos na margem direita
• O Estado atual $s_i$ é representado pela tupla (R,E)

Initial Status:

$s_0 = (\{L, O, C, P\},\empty)$

Possible Status:

$s_i = (\Alpha, \Beta) |\Alpha U \Beta = C \& \Alpha \cap \Beta = \empty$

Impossible Status:

$s_{IMP} = \forall i \in s \\ , i \supset \{L, O\}\& P \in i \\ \ i \supset \{O, C\} \& P \in i \\$ ACTIONS(s):

$a_i = B$