Facendo riferimento alle regole di inferenza descritte nel precedente problema N° 14, trovare i valori di X1, X2 e X3 in modo che la lista di regole [X1, 3, X2, X3] descriva un procedimento per calcolare A a partire da [P1, P2].
Soluzione:
- X1=6
- X2=4
- X3=9.
[P1, P2] ⇒ (6) ⇒ [P1, P2, H] ⇒ (3) ⇒ [P1, P2, H, C1] ⇒ (4) ⇒ [P1, P2, H, C1, C2] ⇒ (9) ⇒ [P1, P2, H, C1, C2, A]
oppure…
[P1, P2] ⇒ (6) ⇒ [P1, P2, H] ⇒ (3) ⇒ [P1, P2, H, C1] ⇒ (7) ⇒ [P1, P2, H, C1, K] ⇒ (2) ⇒ [P1, P2, H, K, A]