Преглед садржаја:
Дефиниција - Шта значи Унификација?
У рачунарској науци и логици обједињавање је алгоритамски поступак који се користи у решавању једначина који укључују симболичке изразе. Другим речима, заменом одређених променљивих подизражавања другим изразима, обједињавање покушава да идентификује два симболична израза. Обједињавање се користи у технологији аутоматизираног закључивања, која остаје једно од главних подручја примјене уједињења.
Обједињавање се користи у имплементацијама као што су:
- Програмирање система језичког програмирања
- Логичко програмирање
- СМТ решења
- Анализа криптографског протокола
- Алгоритми преписивања термина
Обједињавање је једна од основних техника на којој се заснивају методе аутоматизованог одузимања.
Техопедија објашњава Унификацију
Израз "обједињавање" и његов појам могу се приписати Јохну Алану Робинсону. Он је користио уједињење као основну операцију свог принципа резолуције, а такође је показао да обједињујући појмови имају највише један општи ујединитељ. Неколико оквира унификације се разликује на основу израза који се јављају у проблему уједињења. Уједињење првог реда је она у којој су променљиве вишег реда (променљиве које представљају функције) дозвољене у изразима. Слободно уједињење или синтактичко уједињење је решење у коме је потребно решење како би обе стране једначине биле једнаке.
Рјешење проблема обједињавања приказано је супституцијом, што је пресликавање симболичке вриједности свакој варијабли која је укључена у изразе проблема. Другим речима, суштински фокус обједињавања је тражење замене у циљу обједињавања два дата појма. Очекује се да ће виши уједначени алгоритам обезбедити минималан и потпун скуп супституција (скуп који садржи сва релевантна решења без сувишних чланова) за одређени проблем. Другим речима, обједињавање не занима само решивост датог обједињавања ако је проблем, већ и ако је решиво, у рачунању најопштијег објединитеља.
Уједињење се сматра језгром:
- Пролог имплементације
- Експертски системи засновани на вештачкој интелигенцији
- Усклађивање узорка у функционалним језицима
- Одређени приступи за рашчлањивање
- Дедуктивне базе података
- Обрада природног језика
- Теорем доказује
- Унесите алгоритме закључивања
