Унификация (unification) –
- Приведение предметов к единообразию или к единым формам или нормам.
- В машинах логического вывода У. — это операция приведения исходного логического уравнения к его решению средствами аналитических выкладок, путем устранения «лишних» операций и упрощения исходных выражений. В результате У. получается одна или несколько подстановок, или множество связей переменных. При У. сравниваемые структуры приводятся друг к другу наиболее простым способом. У. реализуется алгоритмом У.
[Словарь понятий по информатике от Т до Я. (Электронный ресурс). Режим доступа: http:// http://topuch.ru/slovare-ponyatij-po-informatike-ot-t-do-ya/index.html/, свободный.]
Унификация — процедура подстановки термов в два логических выражения вместо переменных. Термы подбираются таким образом, что при замене ими одноименных в двух выражениях переменных оба выражения становятся идентичными. Сама подстановка называется унификатором. У. используется при логическом выводе в методе резолюций.
[Толковый словарь по искусственному интеллекту / Авторы-составители А.Н. Аверкин, М.Г. Гаазе-Рапопорт, Д.А. Поспелов. М.: Радио и связь, 1992. — 256 с.]
Унификация — это сопоставление двух произвольных термов, содержащих переменные, чтобы определить, можно ли присвоить этим переменным такие значения, чтобы получились два одинаковых терма.
[Боровская Е. В. Основы искусственного интеллекта: учебное пособие / Е. В. Боровская, Н. А. Давыдова. 4-ое изд., электрон. М.: Лаборатория знаний, 2020. — 130 с.]
Унификация — сокращения количества оригинальных изделий, а также сокращение количества оригинальных технологических объектов в производстве.
[Автоматизация производственных процессов. (Электронный ресурс). Глоссарий. Режим доступа: http://techliter.ru›news/avtomatizacija…v… terminy_i…16/, свободный.]