Tartalomjegyzék:
Meghatározás - Mit jelent az egyesítés?
A számítástechnikában és a logikában az egyesítés az a szimbolikus kifejezéseket tartalmazó egyenletek megoldására alkalmazott algoritmikus eljárás. Más szavakkal: egyes egyes al-kifejezési változók más kifejezésekkel való helyettesítésével az egyesítés megkísérel azonosítani két szimbolikus kifejezést. Az egyesítést az automatizált érvelési technológiában használják, amely továbbra is az egyesítés egyik fő alkalmazási területe.
Az egyesítést az alábbi megvalósításokban használják:
- Programozás nyelvtípus rendszer megvalósítása
- Logikai programozás
- SMT megoldók
- Kriptográfiai protokoll elemzése
- A kifejezés újraírási algoritmusai
Az egyesítés az egyik alapvető módszer, amelyen az automatikus levonás módszerei alapulnak.
A Techopedia magyarázza az egyesítést
Az „egyesülés” fogalma és fogalma John Alan Robinsonnak tulajdonítható. Az egyesítést a felbontási elv alapvető műveleteként alkalmazta, és azt is megmutatta, hogy az egységesíthető kifejezéseknek legfeljebb egy általános egységesítője lehet. Az egyesítés több keretét megkülönböztetjük az egyesítési probléma során felmerülő kifejezések alapján. Az elsőrendű egyesítés az, amelyben a kifejezésekben magasabb rendű változók (függvényeket képviselő változók) megengedettek. A szabad egyesítés vagy a szintaktikai egyesítés az, amelyben megoldásra van szükség az egyenlet mindkét oldalának egyenlővé tételéhez.
Az egyesítési probléma megoldását helyettesítéssel ábrázoljuk, amely egy szimbolikus érték leképezését a probléma kifejezéseiben részt vevő minden változóhoz. Más szavakkal, az egyesítés alapvető célja a helyettesítés keresése a két megadott kifejezés egyesítése érdekében. A magasabb egységességű algoritmus várhatóan minimális és teljes helyettesítő készletet biztosít (egy készlet, amely tartalmazza az összes releváns megoldást, redundáns elemek nélkül) egy adott problémára. Más szóval, az egyesítés nemcsak az adott egyesítés megoldhatóságát érinti, ha probléma, hanem akkor is megoldható, ha a legszélesebb egységet kiszámítja.
Az egyesítést az alábbiaknak kell tekinteni:
- Prolog megvalósítások
- Mesterséges intelligencián alapuló szakértői rendszerek
- Minta illesztés funkcionális nyelveken
- Bizonyos elemzési megközelítések
- Deduktív adatbázisok
- Természetes nyelvfeldolgozás
- Tétel bizonyítja
- Írja be a következtetési algoritmusokat
