Context tree.html



Niektóre informacje zawarte w artykule wymagają weryfikacji. Zajrzyj na stronę dyskusji, by dowiedzieć się, jakie informacje budzą wątpliwości.

Context tree to odmiana substitution tree w której zmienne mogą być podstawiane za symbole funkcyjne o pewnej arności. Np. f(a,g(b)) i f(a,h(b)), gdzie b jest bardzo duże, może być unifikowane przez f(a,x(b)), a w podwęzłach są podstawienia x = g i x = h.

Daje to trochę lepsze rezultaty niż zwykłe substitution tree.