Obsah:
Definícia - Čo znamená zjednotenie?
V počítačovej vede a logike je zjednotenie algoritmický postup používaný pri riešení rovníc zahŕňajúcich symbolické výrazy. Inými slovami, nahradením určitých premenných subrepresie inými výrazmi sa zjednotenie pokúša identifikovať dva symbolické výrazy. Zjednotenie sa používa v automatizovanej uvažovacej technológii, ktorá zostáva jednou z hlavných oblastí zjednotenia.
Zjednotenie sa používa pri implementáciách, ako sú:
- Implementácia systémového jazykového typu
- Logické programovanie
- Riešitelia SMT
- Analýza kryptografického protokolu
- Algoritmy prepisovania termínov
Zjednotenie je jednou zo základných techník, na ktorých sú založené metódy automatizovaného odpočtu.
Techopedia vysvetľuje zjednotenie
Pojem „zjednotenie“ a jeho pojem možno pripísať Johnovi Alanovi Robinsonovi. Unifikáciu použil ako základnú funkciu svojho princípu riešenia problémov a tiež ukázal, že unifikovateľné výrazy majú najviac jedného všeobecného unifikátora. Niekoľko rámcov zjednotenia je diferencovaných na základe výrazov, ktoré sa vyskytujú v probléme zjednotenia. Zjednotenie prvého poriadku je také, v ktorom sú vo výrazoch povolené premenné vyššieho poriadku (premenné predstavujúce funkcie). Slobodné zjednotenie alebo syntaktické zjednotenie je také, v ktorom je potrebné riešenie, aby sa obe strany rovnice vyrovnali.
Riešenie problému zjednotenia je znázornené substitúciou, čo je mapovanie symbolickej hodnoty na každú premennú zahrnutú vo výrazoch problému. Inými slovami, základným cieľom zjednotenia je hľadať náhradu, aby sa zjednotili dva dané termíny. Očakáva sa, že vyšší jednotný algoritmus poskytne pre daný problém minimálnu a úplnú substitučnú sadu (súbor, ktorý má všetky relevantné riešenia bez redundantných členov). Inými slovami, zjednotenie sa nezaujíma iba o riešiteľnosť daného zjednotenia, ak je to problém, ale tiež, ak je riešiteľné, na výpočte naj všeobecnejšieho zjednotenia.
Zjednotenie sa považuje za jadro:
- Implementácia prologu
- Expertné systémy založené na umelej inteligencii
- Zhoda vzorov vo funkčných jazykoch
- Niektoré prístupy syntaktického analyzovania
- Deduktívne databázy
- Spracovanie prirodzeného jazyka
- Dokazuje sa veta
- Typové inferenčné algoritmy
