차례:
정의-통일은 무엇을 의미합니까?
컴퓨터 과학과 논리에서 통일은 상징적 표현과 관련된 방정식을 푸는 데 사용되는 알고리즘 절차입니다. 즉, 특정 하위 표현식 변수를 다른 표현식으로 대체하여 통일은 두 개의 기호 표현식을 식별하려고 시도합니다. 통일은 자동화 된 추론 기술에 사용되며 통일의 주요 응용 분야 중 하나입니다.
통합은 다음과 같은 구현에 사용됩니다.
- 프로그래밍 언어 유형 시스템 구현
- 논리 프로그래밍
- SMT 솔버
- 암호화 프로토콜 분석
- 용어 재 작성 알고리즘
통일은 자동 공제 방법의 기반이되는 기본 기술 중 하나입니다.
Techopedia는 통일을 설명합니다
“통일”이라는 용어와 그 개념은 존 앨런 로빈슨에 기인합니다. 그는 통일을 그의 결의 원칙의 기본 운영으로 사용했으며, 또한 통일 할 수없는 용어에는 최대 하나의 일반 통일자가 있음을 보여 주었다. 통일 문제에서 발생하는 표현에 기초하여 여러 통일 체계가 차별화된다. 1 차 통일은 표현식에서 고차 변수 (함수를 나타내는 변수)가 허용되는 것입니다. 자유 통일 또는 구문 통일은 방정식의 양변을 동일하게 만들기 위해 해가 필요한 것입니다.
통일 문제의 해법은 문제 표현에 관련된 모든 변수에 기호 값을 매핑하는 치환으로 표현됩니다. 다시 말해, 통일의 본질적인 초점은 주어진 두 용어를 통일하기 위해 대체를 찾는 것입니다. 보다 균일 한 알고리즘은 주어진 문제에 대해 최소의 완전한 대체 세트 (중복 부재가없는 모든 관련 솔루션을 갖는 세트)를 제공 할 것으로 예상됩니다. 다시 말해, 통일은 문제가있는 경우 주어진 통일의 해결 가능성뿐만 아니라 가장 일반적인 통일자를 계산할 때 해결 가능한 경우에도 관심이 있습니다.
통일은 다음의 핵심으로 간주됩니다.
- 프롤로그 구현
- 인공 지능 기반 전문가 시스템
- 기능적 언어에서의 패턴 매칭
- 특정 파싱 접근법
- 연역적 데이터베이스
- 자연어 처리
- 정리 증명
- 타입 추론 알고리즘
