Съдържание:
Определение - Какво означава Съединението?
В компютърните науки и логиката обединението е алгоритмичната процедура, използвана при решаването на уравнения, включващи символни изрази. С други думи, замествайки определени променливи на под-израза с други изрази, обединението се опитва да идентифицира два символни израза. Унификацията се използва в автоматизираната технология за разсъждения, която остава една от основните области на приложение на обединението.
Унификацията се използва в реализации като:
- Програмиране на езиков тип програмиране
- Логическо програмиране
- SMT решители
- Анализ на криптографски протокол
- Алгоритми за пренаписване на термини
Унификацията е една от основните техники, на които се основават методите за автоматизирано приспадане.
Техопедия обяснява Съединението
Терминът „обединение“ и неговото понятие може да се припише на Джон Алън Робинсън. Той използва обединението като основна операция на принципа си на разделителна способност и също така показа, че унифицируемите термини имат най-много един общ обединител. Няколко рамки на обединение се диференцират въз основа на изразите, които се срещат в проблема за обединение. Унификацията от първи ред е тази, при която променливи от по-висок ред (променливи, представляващи функции) са разрешени в изразите. Свободното обединение или синтактичното обединение е това, при което е необходимо решение, за да се направят двете страни на уравнението равни.
Решението на обединителния проблем се изобразява чрез заместване, което е картографиране на символна стойност към всяка променлива, участваща в изразите на проблема. С други думи, основният фокус на обединението е да се търси заместване, за да се унифицират две зададени термини. Очаква се по-висок единен алгоритъм да осигури минимален и пълен набор за заместване (набор, съдържащ всички подходящи решения без излишни членове) за даден проблем. С други думи, обединението не се интересува само от разрешимост на дадено обединение, ако е проблем, но и ако е разрешимо, в изчисляването на най-общия обединител.
Обединението се счита за ядрото на:
- Реализации на Prolog
- Експертни системи, базирани на изкуствен интелект
- Съпоставяне на образи във функционални езици
- Определени подходи за анализ
- Дедуктивни бази данни
- Обработка на естествен език
- Теорема доказва
- Въведете алгоритми за извода
