目次:
定義-統合とはどういう意味ですか？
コンピュータサイエンスとロジックでは、統一は、シンボリック式を含む方程式を解く際に使用されるアルゴリズム手順です。 言い換えると、特定の部分式変数を他の式で置き換えることにより、統合は2つのシンボリック式を識別しようとします。 統一は自動推論技術で使用され、これは依然として統一の主要な応用分野の1つです。
統合は、次のような実装で使用されます。
- プログラミング言語タイプのシステム実装
- 論理プログラミング
- SMTソルバー
- 暗号プロトコル分析
- 用語書き換えアルゴリズム
統一は、自動控除の方法が基づく基本的な手法の1つです。
Techopediaは統一について説明します
「統一」という用語とその概念は、ジョンアランロビンソンに起因します。 彼は、統一を彼の解決原則の基本操作として使用し、また、統一可能な用語には多くても1つの一般的な統一詞があることを示しました。 統合のいくつかのフレームワークは、統合問題で発生する表現に基づいて区別されます。 一次統合とは、式で高次変数（関数を表す変数）が許可されるものです。 自由統一または構文統一は、方程式の両側を等しくするために解決策が必要なものです。
統一問題の解決策は、置換によって表されます。置換とは、問題の式に含まれるすべての変数へのシンボリック値のマッピングです。 言い換えれば、統一の本質的な焦点は、与えられた2つの用語を統一するために代替を探すことです。 より均一なアルゴリズムは、特定の問題に対して最小限の完全な置換セット（冗長メンバーのない関連ソリューションをすべて含むセット）を提供することが期待されています。 言い換えれば、統一は、問題がある場合に与えられた統一の解決可能性だけでなく、解決可能であれば、最も一般的な統一子の計算にも関心があります。
統一は、次の中核と見なされます。
- プロローグの実装
- 人工知能に基づくエキスパートシステム
- 関数型言語でのパターンマッチング
- 特定の解析アプローチ
- 演ductiveデータベース
- 自然言語処理
- 定理証明
- 型推論アルゴリズム
