 |
Qシステムとは、与えられた文法規則に従って有向グラフを変換する手法であり、 1967年から1970年にかけてモントリオール大学のアラン・コルメローによって自然言語処理のために開発されました。モントリオール大学の機械翻訳システムTAUM-73は、このQシステムを言語形式として採用しています。
Qシステムによって操作されるデータ構造はQグラフです。これは、1つの入口ノードと1つの出口ノードを持つ有向非巡回グラフであり、各アークはラベル付きの順序付き木を表します。入力文は通常、各アークが1つの単語を表す線形Qグラフで表されます（木は、この単語でラベル付けされた1つのノードに縮小されます）。解析後、Qグラフは通常、1つのアークを持つパスの束となり、各アークは可能な解析木を表します。生成後の目標は通常、必要な出力と同じ数のパスを生成することです。この場合も、アークごとに1つの単語が関連付けられます。
Qシステムは、一連のQ処理（各Q処理は一連のQルール）で構成され、形式は<matched_path> == <added_path> [<condition>]です。Q処理は、いずれかの処理が空のQグラフを生成する場合を除き、順番に適用されます。空のQグラフが生成された場合は、最後に得られたQグラフが結果となります。ルールの3つの部分には、ラベル、ツリー、フォレストの変数を含めることができます。「==」の後のすべての変数は、<matched_path>部分に記述する必要があります。変数はルールに対してローカルです。
Q 処理は、追加とクリーニングの 2 つのステップで機能します。まず、インスタンス化(一方向ユニフィケーション) を使用してすべてのルールを網羅的に適用し、現在の Q グラフに新しいパスを追加します (追加されたアークとそのツリーは、新しいパスの作成に使用できます)。この追加プロセスが停止すると、ルールの適用に成功したすべてのアークと、エントリ ノードから出口ノードまでのどのパスにも存在しない未使用のアークがすべて消去されます。したがって、結果 (追加ステップが終了した場合) があれば、それは再び Q グラフになります。これにより、複数の Q システムを連鎖させ、それぞれが特殊なタスクを実行して、複雑なシステムを形成できます。たとえば、TAUM 73 は 15 個の連鎖した Q システムで構成されていました。
Q システムの基本概念の拡張、つまりインスタンス化を統一に置き換える(簡単に言えば、ルールの右側部分に「新しい」変数を許可し、パラメーター化されたラベル付きツリーを論理項に置き換える) ことで、 1972 年にAlain Colmerauerと Philippe Rousselによって設計されたPrologが生まれました。John Chandioux による逆方向の改良 (非決定性を削減し、型付きラベルを導入) により GramR が生まれ、 1985 年以降 METEO のプログラミングに使用されました。
2009年、GETALP [1]のHong Thai Nguyen（グルノーブル情報処理研究所[2]所属） は、Q言語をC言語で再実装しました。ANTLRを用いてQシステムとQグラフをコンパイルし、Christian Boitetが提案したアルゴリズム（以前のFortran実装のアルゴリズムは公開されておらず、ソースコードも失われていたため）を採用しました。この実装は、David Cattanéoによって2010年から2011年にかけて修正、完成、拡張されました（旧バージョンのCDC6600の印字可能文字だけでなく、Unicode文字を使用したラベルにも対応）。
参照
参考文献
- ^ 「Groupe d'Étude en Traduction Automatique/Traitement Automatisé des Langues et de la Parol」（フランス語）。
- ^ 「LIG」（フランス語）。
さらに読む
- Colmerauer, A: Les systèmes Q ou unformalisme pour Analyzer et synthétiser des sur ordinaryur.ミメオ、モントリオール、1969年。
- グエン、HT: TA 同種のシステムと TAO 異種のシステム。これらはUJF、グルノーブル、2009年。
外部リンク
- http://unldeco.imag.fr/unldeco/SystemsQ.po?localhost=/home/nguyenht/SYS-Q/MONITEUR/ Archived 2011-07-20 at the Wayback Machine ] 新しいQ-systemsのデモ
