Turinys:
Apibrėžimas - ką reiškia suvienijimas?
Kompiuterių moksle ir logikoje suvienijimas yra algoritminė procedūra, naudojama sprendžiant lygtis, apimančias simbolinę išraišką. Kitaip tariant, pakeisdamas tam tikrus posakių kintamuosius kitomis išraiškomis, suvienijimas bando nustatyti dvi simbolines išraiškas. Suvienijimas yra naudojamas automatizuotose samprotavimo technologijose, kurios išlieka viena iš pagrindinių suvienijimo taikymo sričių.
Suvienijimas naudojamas tokiose įgyvendinimuose kaip:
- Programavimas kalbos tipo sistemos diegimas
- Loginis programavimas
- SMT sprendimai
- Kriptografinio protokolo analizė
- Terminų perrašymo algoritmai
Suvienijimas yra vienas iš pagrindinių metodų, kuriais grindžiami automatinio išskaičiavimo metodai.
„Techopedia“ paaiškina suvienijimą
Terminas „suvienijimas“ ir jo samprata gali būti priskiriami Johnui Alanui Robinsonui. Jis naudojo suvienijimą kaip pagrindinį savo sprendimo principo veiksmą ir taip pat parodė, kad suvienodinami terminai turi ne daugiau kaip vieną bendrą suvienodinimą. Kelios suvienijimo sistemos yra diferencijuojamos remiantis išraiškomis, atsirandančiomis susivienijimo problemoje. Pirmos eilės suvienijimas yra toks, kuriame išraiškose leidžiami aukštesnės eilės kintamieji (kintamieji, atstovaujantys funkcijas). Laisvas suvienijimas arba sintaksinis suvienijimas yra tas, kuriame reikia sprendimo, kad abi lygties pusės būtų lygios.
Suvienijimo problemos sprendimas vaizduojamas pakeičiant, tai yra simbolinės reikšmės atvaizdavimas kiekvienam kintamajam, dalyvaujančiam problemos išraiškose. Kitaip tariant, pagrindinis suvienijimo tikslas yra ieškoti pakaitalo, norint suvienodinti du nurodytus terminus. Tikimasi, kad aukštesnio lygio algoritmas užtikrins minimalų ir išsamų tam tikros problemos pakeitimų rinkinį (rinkinį, kuriame yra visi atitinkami sprendimai be nereikalingų elementų). Kitaip tariant, suvienijimas yra ne tik suinteresuotas konkretaus suvienijimo, jei tai problema, išsprendžiamumu, bet ir tuo atveju, jei tai įmanoma išspręsti, skaičiuojant patį bendrą suvienodinimo elementą.
Suvienijimas laikomas pagrindiniu:
- Prolog įgyvendinimai
- Ekspertinės sistemos, pagrįstos dirbtiniu intelektu
- Modelio atitikimas funkcinėmis kalbomis
- Tam tikri analizės metodai
- Dedukuojančios duomenų bazės
- Natūralios kalbos apdorojimas
- Teorema įrodo
- Įveskite išvados algoritmus
