Mục lục:
Định nghĩa - Thống nhất nghĩa là gì?
Trong khoa học máy tính và logic, thống nhất là thủ tục thuật toán được sử dụng để giải các phương trình liên quan đến các biểu thức tượng trưng. Nói cách khác, bằng cách thay thế một số biến biểu thức phụ bằng các biểu thức khác, thống nhất cố gắng xác định hai biểu thức tượng trưng. Hợp nhất được sử dụng trong công nghệ lý luận tự động, vẫn là một trong những lĩnh vực ứng dụng chính của thống nhất.
Hợp nhất được sử dụng trong các triển khai như:
- Lập trình thực hiện hệ thống kiểu ngôn ngữ
- Lập trình logic
- Người giải quyết SMT
- Phân tích giao thức mật mã
- Thuật toán viết lại
Hợp nhất là một trong những kỹ thuật cơ bản dựa trên các phương pháp khấu trừ tự động.
Techopedia giải thích hợp nhất
Thuật ngữ thống nhất giữa các vùng và các khái niệm của nó có thể được gán cho John Alan Robinson. Ông đã sử dụng thống nhất như là hoạt động cơ bản của nguyên tắc giải quyết của mình và cũng cho thấy các điều khoản không thể xác định có nhiều nhất là một đơn vị chung. Một số khung thống nhất được phân biệt dựa trên các biểu thức xảy ra trong bài toán hợp nhất. Hợp nhất bậc một là một trong đó các biến bậc cao hơn (biến đại diện cho hàm) được phép trong các biểu thức. Thống nhất tự do hoặc thống nhất cú pháp là một trong đó cần một giải pháp để làm cho cả hai mặt của phương trình bằng nhau.
Giải pháp của một vấn đề thống nhất được mô tả bằng sự thay thế, đó là ánh xạ của một giá trị tượng trưng cho mọi biến liên quan đến các biểu thức của vấn đề. Nói cách khác, trọng tâm thiết yếu của sự thống nhất là tìm kiếm một sự thay thế để thống nhất hai thuật ngữ nhất định. Thuật toán thống nhất cao hơn dự kiến sẽ cung cấp một bộ thay thế tối thiểu và hoàn chỉnh (một bộ có tất cả các giải pháp liên quan không có thành viên dự phòng) cho một vấn đề nhất định. Nói cách khác, thống nhất không chỉ quan tâm đến khả năng giải quyết của một thống nhất nhất định nếu có vấn đề mà còn có thể giải quyết được, trong việc tính toán đơn vị tổng quát nhất.
Thống nhất được coi là cốt lõi của:
- Triển khai Prolog
- Hệ thống chuyên gia dựa trên trí tuệ nhân tạo
- Khớp mẫu trong các ngôn ngữ chức năng
- Một số cách tiếp cận phân tích cú pháp
- Cơ sở dữ liệu suy diễn
- Xử lý ngôn ngữ tự nhiên
- Định lý provers
- Nhập thuật toán suy luận
