Kazalo:
Opredelitev - Kaj pomeni poenotenje?
V računalništvu in logiki je poenotenje algoritemski postopek, ki se uporablja pri reševanju enačb, ki vključujejo simbolične izraze. Z drugimi besedami, poenotenje poskuša z nadomestitvijo določenih spremenljivk podizvedbe z drugimi izrazi identificirati dva simbolična izraza. Poenotenje se uporablja v tehnologiji avtomatiziranega sklepanja, ki ostaja eno glavnih področij uporabe poenotenja.
Poenotenje se uporablja pri izvedbah, kot so:
- Programiranje sistemskega uvajanja sistema
- Logično programiranje
- Reševalci SMT
- Analiza kriptografskih protokolov
- Algoritmi za prepisovanje terminov
Poenotenje je ena temeljnih tehnik, na kateri temeljijo metode avtomatiziranega odštevanja.
Tehopedija razlaga poenotenje
Izraz »poenotenje« in njegov pojem lahko pripišemo Johnu Alanu Robinsonu. Poenotenje je uporabil kot osnovno delovanje svojega načela ločljivosti in tudi pokazal, da imajo poenoteči izrazi kvečjemu eno splošno združitev. Več okvirov poenotenja je ločenih na podlagi izrazov, ki se pojavljajo v problemu združevanja. Poenotenje prvega reda je tisto, v katerem so spremenljivke višjega reda (spremenljivke, ki predstavljajo funkcije) dovoljene v izrazih. Prosta poenotenja ali skladenjska poenotenja so tista, v katerih je potrebna rešitev, da se obe strani enačbe izenačita.
Rešitev problema poenotenja je prikazana s substitucijo, ki je preslikava simbolne vrednosti vsaki spremenljivki, ki je vključena v izraze problema. Z drugimi besedami, bistveni cilj združevanja je iskanje nadomestitve, da bi poenotili dva dana pojma. Pričakuje se, da bo višji enotni algoritem zagotovil minimalen in popoln nadomestni niz (nabor, ki vsebuje vse ustrezne rešitve brez odvečnih članov) za dani problem. Z drugimi besedami, poenotenje ne zanima samo rešljivost dane poenotenja, če je težava, ampak tudi, če je rešljiva, pri izračunavanju najbolj splošnega združitelja.
Poenotenje velja za jedro:
- Izvedbe Prolog
- Strokovni sistemi, ki temeljijo na umetni inteligenci
- Ujemanje vzorcev v funkcionalnih jezikih
- Nekateri pristopi za razčlenitev
- Odbitne baze podatkov
- Naravna obdelava jezika
- Teorem dokazuje
- Vnesite algoritme za sklepanje
