7945641952

Unifikacja

Algorytm unifikacji jest rekurencyjną procedurą, porównującą dwa termy i odkrywającą czy istnieje zbiór podstawień, które sprawią, że termy staną się identyczne.

Np. man(John) i man(John) unifikują się, natomiast man(John) i man(Spot) nie, bo mają różne argumenty.

Wyszukiwarka

Podobne podstrony:
Unifikacja ■>Algorytm unifikacji jest rekurencyjną procedurą, porównującą dwa termy
Obraz7 2 76 Opisywana zależność korelacyjna jest mocna i dodatnia. Warto w tym miejscu porównać dwa
ALG8 88 Rozdział 4. Algorytmy sortowania Jest chyba dość oczywiste, że wywołania rekurencyjne zatrz
ALG3 6.3. Kilka przykładów derekursywacji algorytmów 173 Pokaźna grupa procedur rekurencyjnych dość
skanuj0060 (44) •wypowiedzi afatyka jest oczywisty. Oto jeszcze dwa przykłady dla ilustracji tego in
1. Co to jest Value Based Management ? Dwa podejścia do zarządzania wartością przedsiębiorstwa: S
skanuj0175 „Strategia jest to sposób, w jaki przedsiębiorstwo zamierza realizować swoją misję: jest
img037 (39) 42 Na tym rysunku ciąg kolejnych przybliżeń otrzymany zgodnie z formułą algorytmu sieczn
skanuj0175 „Strategia jest to sposób, w jaki przedsiębiorstwo zamierza realizować swoją misję: jest
img030 30 4.5. PALIWO UlfOWRB Pojęcie paliwo umowne Jest stosowane do porównsnie zużycia aiepłe w pr
img059 59 Rozdział 4. Nieliniowe sieci neuronowe4.6 Uczenie sieci nieliniowej Opisany wyżej algorytm
Metody pomiarowe Jest to sposób porównania wielkości wartości mierzonej z wartością umownie przyjętą
Scan10040 (6) Rozdział 5. Algorytm zaawansowanych zabiegów resuscytacyjnych ALS W porównaniu z place

więcej podobnych podstron