セマンティックパラメータ化

意味パラメータ化は、第一階述語論理でドメインの自然言語記述を表現する概念モデリングプロセスです。^{[1] [2] [3]}このプロセスは、ジョージア工科大学のコリン・ポッツと彼の同僚によって開発された調査サイクルモデル（ICM）の誰が、何を、どこの質問に答えるために、記述論理で自然言語文を形式化します。 ^[4]パラメータ化プロセスは、知識獲得および自動化仕様記述（KAOS）法^[5]を補完します。これは、 ICMのいつ、なぜ、どのようにの質問に対する回答を時相論理で形式化し、ICMの形式化を完了します。パラメータ化プロセスで使用される成果物には、同義語と多義語を区別してドメイン語彙を固有の概念に合わせる辞書と、一般的なドメイン記述を形式仕様にマッピングするのに役立ついくつかの自然言語パターンが含まれます。

セマンティックパラメータ化は、ドメインに依存せず再利用可能な8つの役割からなるメタモデルを定義します。これらの役割のうち7つは、ジェフリー・グルーバーの主題関係^[6]とチャールズ・フィルモアの格文法の格役割に対応しています。^[7]

問い合わせサイクルモデル（ICM）は、要件エンジニアリングにおいてエンジニアと利害関係者間の引き出しを促進するために導入されました。^[4] ICMは、 who、what、where、why、ho​​w、whenの質問で構成されています。when以外のすべての質問は、そのような現象を表現するためにTemporal Logicを必要とし、 Description Logic （DL）を使用したセマンティックパラメータ化のメタモデルと一致しています。

セマンティックパラメータ化プロセスは記述論理に基づいており、TBoxは名詞、動詞、形容詞を含む辞書内の単語で構成され、ABoxは2つのアサーションセットに分割されます。1)自然言語ステートメント内の単語から得られるアサーション（グラウンディングと呼ばれます）と、2)（人間の）モデラーによって推論されるアサーション（メタモデルと呼ばれます）。次の非構造化自然言語ステートメント（UNLS）を考えてみましょう（詳細な議論については Breauxら^{[3]を参照）。}

1.0_の

顧客_{1,1 は、}顧客_1,1のアクセスコード_{3,3 をプロバイダー5,4}以外の人物_4,4と共有してはなりません_2,2。

モデラーはまず、添え字で示される内包的および外延的な多義語と同義語を識別します。最初の添え字は内包的インデックスを一意に参照します。つまり、2 つ以上の単語の同じ最初のインデックスは、TBox 内の同じ概念を参照します。2 番目の添え字は外延的インデックスを一意に参照します。つまり、2 つ以上の単語の同じ 2 番目のインデックスは、ABox 内の同じ個体を参照します。このインデックス作成手順により、ステートメント内の単語と辞書内の概念が調整されます。次に、モデラーは辞書から概念を識別して、メタモデルを構成します。次の表は、セマンティック パラメータ化を適用した結果の完全な DL 式を示しています。