unifikavimas

Unifikavimas – tai loginio programavimo ir dirbtinio intelekto terminas, reiškiantis kintamųjų pakeitimą, kad du loginiai teiginiai (terminai, formulės) taptų identiški.

Pagrindinė idėja: rasti kintamųjų reikšmes (pakaitalus), su kuriomis dvi išraiškos sutampa.

Pavyzdžiai:

1. Paprastas
Išraiškos: `tėvas(X, jonas)` ir `tėvas(kęstutis, jonas)`
Unifikavimas: `X = kęstutis` (po pakeitimo abi formulės vienodos).

2. Su funkcija
Išraiškos: `gydomas(N, daktaras(smitas))` ir `gydomas(ona, daktaras(Y))`
Unifikavimas: `N = ona`, `Y = smitas`.

3. Nesėkmingas
Išraiškos: `mokykla(vilnius)` ir `mokykla(kaunas)`
Unifikavimas: neįmanomas, nes konstantos `vilnius` ir `kaunas` skirtingos.

Praktinis taikymas: naudojamas Prolog kalboje, teoremų įrodyme, modelių tikrinime, duomenų paieškoje.

• Gairės: Technikos terminai

Įrašas
Paaiškinimas	Unifikavimas – tai loginio programavimo ir dirbtinio intelekto terminas, reiškiantis kintamųjų pakeitimą, kad du loginiai teiginiai (terminai, formulės) taptų identiški. Pagrindinė idėja: rasti kintamųjų reikšmes (pakaitalus), su kuriomis dvi išraiškos sutampa. Pavyzdžiai: 1. Paprastas Išraiškos: `tėvas(X, jonas)` ir `tėvas(kęstutis, jonas)` Unifikavimas: `X = kęstutis` (po pakeitimo abi formulės vienodos). 2. Su funkcija Išraiškos: `gydomas(N, daktaras(smitas))` ir `gydomas(ona, daktaras(Y))` Unifikavimas: `N = ona`, `Y = smitas`. 3. Nesėkmingas Išraiškos: `mokykla(vilnius)` ir `mokykla(kaunas)` Unifikavimas: neįmanomas, nes konstantos `vilnius` ir `kaunas` skirtingos. Praktinis taikymas: naudojamas Prolog kalboje, teoremų įrodyme, modelių tikrinime, duomenų paieškoje.
	Išsaugoti

Jūsų pataisymai bus išsiųsti moderatorių peržiūrai, jei informacija tikslesnė/taisyklingesnė
ji bus patalpinta vietoj esamos.