Зміст:
Визначення - Що означає Об'єднання?
У інформатиці та логіці уніфікація - це алгоритмічна процедура, що використовується при розв’язуванні рівнянь, що використовують символічні вирази. Іншими словами, замінюючи певні змінні суб-вирази іншими виразами, об’єднання намагається ідентифікувати два символічні вирази. Уніфікація використовується в автоматизованій технології міркування, яка залишається однією з головних областей застосування уніфікації.
Уніфікація використовується в таких реалізаціях, як:
- Програмування системи мовного типу
- Логічне програмування
- SMT розв'язувачі
- Аналіз криптографічного протоколу
- Алгоритми переписування термінів
Уніфікація - одна з основних прийомів, на якій базуються методи автоматизованого вирахування.
Техопедія пояснює Об’єднання
Термін "об'єднання" та його поняття можна віднести до Джона Алана Робінсона. Він використовував об'єднання як основну дію свого принципу роздільної здатності, а також показав, що уніфіковані терміни мають щонайменше один загальний об'єднавець. Деякі рамки об'єднання диференціюються на основі виразів, що виникають у проблемі об'єднання. Уніфікація першого порядку - це така, в якій змінні вищого порядку (змінні, що представляють функції) дозволені в виразах. Вільне об'єднання або синтаксичне об'єднання - це те, в якому потрібне рішення для того, щоб зробити обидві сторони рівняння рівними.
Розв’язання задачі на об'єднання зображується заміщенням, яке є відображенням символічного значення для кожної змінної, що бере участь у виразах задачі. Іншими словами, суттєвим напрямком об'єднання є пошук заміщення для уніфікації двох заданих термінів. Очікується, що вищий однорідний алгоритм забезпечить мінімальний і повний набір підстановки (набір, що містить усі відповідні рішення без зайвих членів) для даної проблеми. Іншими словами, уніфікація зацікавлена не тільки у вирішенні даної уніфікації, якщо проблема, але й якщо вирішувана, в обчисленні самого загального уніфікатора.
Об'єднання вважається стрижнем:
- Реалізації Prolog
- Експертні системи на основі штучного інтелекту
- Збірка шаблонів у функціональних мовах
- Певні підходи до розбору
- Дедуктивні бази даних
- Натуральна обробка мови
- Теорема підтверджує
- Введіть алгоритми умовиводу
