Rete IA che è cotta per il percorso, ma non coerente

Question

Sto studiando CSP continuo dalle diapositive del mio professore e l'ho ottenuto con il Percorso-consistenza Algoritmo È possibile verificare la coerenza per PA (Point Algebra), SIA e Ord-Horn; Tuttavia, non può essere utilizzato per determinare la coerenza per IA (intervallo algebra), poiché è solo una condizione necessaria ma non sufficiente. Da questo direi che deve esistere una rete IA che è percorso coerente, ma non coerente. Tuttavia non posso costruire tale rete. Il mio presupposto è sbagliato? Se no, quale sarebbe un esempio di una rete IA che è percorso coerente ma non coerente?