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.
Soluzione
[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]