Context tree
Z Wikipedii
Niektóre informacje zawarte w artykule wymagają weryfikacji.
Zajrzyj na stronę dyskusji, by dowiedzieć się odnośnie jakich informacji pojawiły się wątpliwości.
Zajrzyj na stronę dyskusji, by dowiedzieć się odnośnie jakich informacji pojawiły się 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.
