Cuprins:
Definiție - Ce înseamnă Unificare?
În informatică și logică, unificarea este procedura algoritmică folosită în rezolvarea ecuațiilor care implică expresii simbolice. Cu alte cuvinte, prin înlocuirea anumitor variabile sub-expresie cu alte expresii, unificarea încearcă să identifice două expresii simbolice. Unificarea este folosită în tehnologia raționamentului automat, care rămâne una dintre principalele domenii de aplicare ale unificării.
Unificarea este folosită în implementări precum:
- Programarea implementării sistemului de limbaj
- Programare logică
- Solutii SMT
- Analiza criptografică a protocolului
- Algoritmi de rescriere a termenului
Unificarea este una dintre tehnicile fundamentale pe care se bazează metodele de deducere automată.
Techopedia explică Unificarea
Termenul „unificare” și noțiunea acestuia pot fi atribuite lui John Alan Robinson. El a folosit unificarea ca operație de bază a principiului său de rezoluție și, de asemenea, a arătat că termenii unificabili au cel mult un unificator general. Mai multe cadre de unificare sunt diferențiate pe baza expresiilor care apar în problema unificării. Unificarea primului ordin este cea în care sunt permise variabile de ordine superioară (variabile reprezentând funcții) în expresii. Unificarea liberă sau unificarea sintactică este cea în care este necesară o soluție pentru a face egal ambele părți ale ecuației.
Soluția unei probleme de unificare este prezentată prin substituție, care este cartografierea unei valori simbolice pentru fiecare variabilă implicată în expresiile problemei. Cu alte cuvinte, Obiectivul esențial al unificării este de a căuta o înlocuire pentru a uni doi termeni. Se preconizează că un algoritm mai uniform uniform va oferi un set de substituție minim și complet (un set care are toate soluțiile relevante fără membri redundanți) pentru o problemă dată. Cu alte cuvinte, unificarea nu este interesată doar de solvabilitatea unei unificări date dacă este o problemă, ci și de rezolvabilă, în calcularea celui mai general unificator.
Unificarea este considerată nucleul:
- Implementări Prolog
- Sisteme expert bazate pe inteligență artificială
- Potrivirea modelului în limbaje funcționale
- Anumite abordări de analiză
- Baze de date deductive
- Prelucrarea limbajului natural
- Teorema probatori
- Tip algoritmi de inferență
