Loading article…
形式言語学において、談話表現理論( DRT ) は形式意味論アプローチの下で意味を探求するための枠組みである。DRT スタイルのアプローチと従来のモンタゴビアンのアプローチの主な違いの 1 つは、DRT ではその形式の中に抽象的な精神的表現(談話表現構造、DRS)のレベルが含まれており、文の境界を越えて意味を扱う本質的な能力を備えていることである。DRT は1981 年にHans Kampによって考案された。[1]非常によく似た理論が、1982 年にIrene HeimによってFile Change Semantics (FCS)という名前で独立して開発された。 [2]談話表現理論は、意味パーサー[3]や自然言語理解システムの実装に使用されている。[4] [5] [6]
談話表現構造
DRT は、談話表現構造(DRS) を使用して、時間の経過とともに展開される談話の聞き手の心的表現を表します。DRS には、次の 2 つの重要な要素があります。
- 議論中のエンティティを表す談話参照対象のセット。
- 談話参照対象に関して与えられた情報を表すDRS 条件のセット。
以下の文（１）を考えてみましょう。
- （１）農夫はロバを飼っている。
（１）のDRSは以下のように（２）のように表記される。
- （２）[x,y: 農夫(x), ロバ(y), 所有者(x,y)]
(2)は、2つの談話指示対象xとyがあり、3つの談話条件farmer、donkey、ownsがあり、条件farmerはxを保持し、donkeyはyを保持し、ownsはxとyのペアを保持していることを示しています。
非公式には、(2) の DRS は、そのモデル内に条件を満たすエンティティが存在する場合にのみ、与えられた評価モデルで真となります。つまり、モデルに 2 人の個人が含まれており、1 人が農夫で、もう 1 人がロバであり、最初の人が 2 番目のロバを所有している場合、(2) の DRS はそのモデルで真となります。
後続の文を発声すると、既存の DRS が更新されます。
- （３）彼はそれを打ち負かす。
(1)の後に(3)を発声すると、(2)のDRSが(4)のように更新される（どの代名詞がどの個人を指すのかを明確にする方法があると仮定）。
- （４）[x,y: 農夫(x), ロバ(y), 所有物(x,y), 殴打(x,y)]
文章を連続して発話する場合も同様に機能しますが、否定や条件文を含む文章など、より複雑な文章の場合、プロセスは多少複雑になります。
ロバ照応
ある意味で、DRT は一階述語計算の一種であり、その形式は一階述語論理のペアとその中に現れる自由変数です。従来の自然言語意味論では個々の文のみが検討されますが、対話の文脈も意味に影響します。たとえば、彼や彼女などの照応代名詞は、意味を持つために以前に導入された個々の定数に依存します。DRT ではこの問題に対処するために、個々の定数ごとに変数を使用します。談話は談話表現構造(DRS) で表現されます。DRS は、上部に変数があり、その下に元の談話の順序で形式言語の文が並んだボックスです。サブ DRS はさまざまな種類の文に使用できます。
DRT の主な利点の 1 つは、ドンキー センテンス( Geach 1962) を原理的に 説明できることです。
- （５）ロバを飼っている農夫は皆、ロバを殴ります。
文（5）は次のように言い換えることができる。ロバを飼っている農夫は皆、自分が飼っているロバを殴る。モンタゴビアンのアプローチによれば、本質的に存在量化子であると想定される不定詞「ロバ」は、最終的には全称量化子になってしまうが、量化力の変化はいかなる原理的にも説明できないため、望ましくない結果となる。
DRT は、不定詞が談話指示対象 (DR) を導入すると仮定することでこの問題を回避します。DR は心的表現に格納され、代名詞やその他の照応要素などの表現にアクセスできます (条件によってはアクセスできない場合もあります)。さらに、不定詞は本質的に非量化的であり、文脈に応じて量化の力を獲得します。
一方、真の量指定子（例：すべての教授）には範囲があります。「すべてのNP」は、K1 → K2 という形式の複合条件の導入を引き起こします。ここで、K1 と K2 は、それぞれ量化の制限と範囲を表すサブ DRS です。
真の数量詞とは異なり、不定名詞句は、より大きな構造内に配置された新しい DR (および DR の条件に関する記述的資料) を追加するだけです。このより大きな構造は、分析対象の名詞句の文の内部環境に応じて、最上位レベルの DRS またはいくつかのサブ DRS になることができます。つまり、後から来る照応にアクセスできるレベルです。
参照
参考文献
- ^ Kamp, Hans and Reyle, U. 1993. From Discourse to Logic. Kluwer, ドルドレヒト。
- ^ ハビエル・グティエレス＝レクサハ (2003)。セマンティクス: 名詞句のクラス。テイラーとフランシス。ISBN 978-0-415-26635-2。
- ^ Guzmán, Francisco、他「談話構造の使用により機械翻訳の評価が向上する」計算言語学会第 52 回年次会議議事録 (第 1 巻: 長文論文)。第 1 巻。2014 年。
- ^ アーレンベルク、ラース、アルネ・ヨンソン、ニルス・ダールベック。自然言語対話システムの談話表現と談話管理。リンシェーピング大学/リンシェーピングのテクニスカ・ヘグスコーラン大学。データヴェテンスカップ研究所、1991 年。
- ^ ラパポート、ウィリアム J.「統語的意味論: 計算による自然言語理解の基礎」『考えるコンピュータと仮想人物』1994 年、225-273 ページ。
- ^ Juan Carlos Augusto、Reiner Wichert、Rem Collier、David Keyson、Albert A. Salah、Ah-Hwee Tan (2013 年 11 月 23 日)。アンビエント インテリジェンス: 第 4 回国際合同会議、AmI 2013、ダブリン、アイルランド、2013 年 12 月 3 ～ 5 日。議事 録。Springer。ISBN 978-3-319-03647-2。
- カドモン、N. 2001. 形式語用論：意味論、語用論、前提、焦点。オックスフォード：ブラックウェル出版社。
- ルイス、デイヴィッド。「量化の副詞」。自然言語の形式意味論。エドワード・L・キーナン編。ケンブリッジ：ケンブリッジ大学出版局、1975年。3～15ページ。
- モルトマン、フリーデリケ。1997 年。「非結合アナフォリック代名詞: E タイプ、動的、構造化命題アプローチ」。Synthese 153、2006 年。199-260 ページ。https://doi.org/10.1007/s11229-005-5469-x
外部リンク
- Boxer、DRTの広範囲にわたる実装
- 哲学的論理のハンドブック
- 談話表現理論 2009-09-18ウェイバックマシンにアーカイブ
- 談話表現理論入門
- SEPエントリー