アフィリエイト広告を利用しています
<< フォーマットのシフト８ーモンターギュ文法のシュガーリング | TOP | フォーマットのシフト１０ーモンターギュ文法のシュガーリング >>

2024年09月10日

フォーマットのシフト９ーモンターギュ文法のシュガーリング

　Der zweite Unterschied zwischen der DPL- und der DRS Sprachen besteht darin, daß dieser zwar Negation, Folgerung und Disjunktion, aber keine Konjunktion und keine Quantoren enthält.

(20) Definition der DPL Semantik

1. [[Rt1,...,tn]] = {|h = g & <[[t1]]h,...,[[tn]]h∈F(R)}.
2. [[t1,...,t2]] = {|h = g & [[t1]]h = [[t2]]h}.
3. [[-Φ]] = {|h = g & -ヨk:∈[[Φ]]}.
4. [[Φ ⋀ Ψ]] = {|ヨk：∈[[Φ]] & ∈[[Ψ]]}.
5. [[Φ V Ψ]] = {|h = g & ヨk:∈ [[Φ ]] V ∈[[Ψ]]}.
6. [[Φ→Ψ]] = {|h = g & ∀k：∈ [[Φ]] ⇒ヨj:∈ [[Ψ]]}.
7. [[ヨxΦ]] = {|ヨk：k[x]g & ∈[[Φ]]}.
8. [[∀xΦ]] = {|h = g & ∀k：k[x]h ⇒ ヨj:∈ [[Φ]]}.

　Ein Modell ist ein Paar , wo D keine leere Menge von Individuen ist. F ist eine Funktion der Interpretation, die als den Definitionsbereich die individuellen Konstanten und Prädikaten hat. Wenn α eine individuelle Konstante ist, dann F(α)⊆D; wenn α ein n-stelliges Präaikat ist, dann F(α)⊆Dn. Eine Zuweisung g ist eine Funktion, die jeder Variable ein Individuum zuweist: g(x)∈D. G ist die Menge aller Zuweisungsfunktionen. Dann wird [[t]]g = g(t) definiert, wenn t eine Variable ist, und [[t]]g = F(t), wenn t eine individuelle Konstante ist. Schließlich wird die FunKtion für die Interpretation [[ ]]DPL M⊆G x G definiert. (M ist maximal.)

(21) Definition der DRT Semantik

1. [[Rt...,tn]]Cond = {g|<[[t1]]g,...,[[tn]]g>∈F(R)}.
2. [[t1=tn]]Cond = {g|[[t1]]g=[[t2]]g}.
3. [[-Φ]]Cond = {g|-ヨh:∈[[Φ]]DRS}.
4. [[Φ V Ψ]]Cond = {g|ヨh:∈ [[Φ]]DRS V ∈[[Ψ]]DRS}.
5. [[Φ → Ψ]]Cond = {g|∀h：∈[[Φ]]DRS⇒ヨk:[[Ψ]]DRS}.
6. [[x1,…,xk][Φ1,...,Φn]]DRS = {|h[x1,...,xk]g & h∈[[Φ1]]Cond&...&h∈[[Φn]]Cond}.

　Hier entspricht ∈ [[Φ]]DRS dem Begriff "h ist eine bestätigende Einbettung von Φ bezüglich g". Da DRS durch die Bedingungen gebildet wird, braucht man einen Begriff der Interpretation der Bedingung [[ ]]Con M ⊆G zu definieren (M ist maximal), wo g∈ [[Φ]]Cond dem Begriff “Φ ist wahr bezüglich g” entspricht.
　Das Modell für die DRS Sprache ist identisch mit DPL. Die Zuweisung und die Interpretation der Terminologien werden auch in den beiden Theorien in gleicher Weise behandelt. Allerdings ist die DPL Formel etwas anderes als die Bedingung von DRT. Das heißt, DPL hält die Zuweisungen für die totalen
Funktionen. Deswegen könnte die Semantik von DPL auch bezüglich der partiellen Zuweisungen begleitet werden.
　Um die Semantik einschließlich Diskurs oder Text in einem Übersetzungsprogramm zu behandeln, wollte man einen Text in der Art und Weise wie “Processing” interpretieren können. Die Komposidonalität war zwar ein intuitiver Weg. Manchmal postulierte doch keine kompositionle Semantik eine vermittelte Ebene zwischen der syntaktischen Form und der eigentlichen Bedeutung für die semantischen Darstellungen wie z.B. Anapher. Das heißt, viele Semantiker nehmen den Standpunkt an, daß der Unterschied zwischen den Anaphern noch mehr in der logischen Form liegt als im Inhalt, trotzdem die Situation gleich ist und die Wahrheitsbedingung auch keinen Unterschied hat.

花村嘉英（2005）「計算文学入門−Thomas Mannのイロニーはファジィ推論といえるのか？」より
【このカテゴリーの最新記事】
posted by 花村嘉英 at 15:24| Comment(0) | TrackBack(0) | （カテゴリなし）
この記事へのコメント
コメントを書く

お名前:

メールアドレス:


ホームページアドレス:

コメント:

※ブログオーナーが承認したコメントのみ表示されます。

この記事へのトラックバックURL
https://fanblogs.jp/tb/12699841
※ブログオーナーが承認したトラックバックのみ表示されます。

この記事へのトラックバック
ファン
 このブログの読者になる
 更新情報をチェックする
 ブックマークする
 友達に教える
検索
<< 2024年09月 >>
日 月 火 水 木 金 土
1 2 3 4 5 6 7
8 9 10 11 12 13 14
15 16 17 18 19 20 21
22 23 24 25 26 27 28
29 30          
最新記事
(09/12)花村嘉英　履歴書
(09/12)トーマス・マンとファジィ１９
(09/12)トーマス・マンとファジィ１８
(09/12)トーマス・マンとファジィ１７
(09/12)トーマス・マンとファジィ１６
写真ギャラリー
最新コメント
タグクラウド
カテゴリーアーカイブ
プロフィール
花村嘉英さんの画像
花村嘉英
花村嘉英（はなむら　よしひさ） 1961年生まれ、立教大学大学院文学研究科博士後期課程（ドイツ語学専攻）在学中に渡独。 1989年からドイツ・チュービンゲン大学に留学し、同大大学院新文献学部博士課程でドイツ語学・言語学（意味論）を専攻。帰国後、技術文（ドイツ語、英語）の機械翻訳に従事する。 2009年より中国の大学で日本語を教える傍ら、比較言語学（ドイツ語、英語、中国語、日本語）、文体論、シナジー論、翻訳学の研究を進める。テーマは、データベースを作成するテキスト共生に基づいたマクロの文学分析である。 著書に「計算文学入門−Thomas Mannのイロニーはファジィ推論といえるのか？」（新風舎：出版証明書付）、「从认知语言学的角度浅析鲁迅作品−魯迅をシナジーで読む」（華東理工大学出版社）、「日本語教育のためのプログラム−中国語話者向けの教授法から森鴎外のデータベースまで（日语教育计划书−面向中国人的日语教学法与森鸥外小说的数据库应用）」南京東南大学出版社、「从认知语言学的角度浅析纳丁・戈迪默-ナディン・ゴーディマと意欲」華東理工大学出版社、「計算文学入門（改訂版）−シナジーのメタファーの原点を探る」（V2ソリューション）、「小説をシナジーで読む　魯迅から莫言へーシナジーのメタファーのために」（V2ソリューション）がある。 論文には「論理文法の基礎−主要部駆動句構造文法のドイツ語への適用」、「人文科学から見た技術文の翻訳技法」、「サピアの『言語』と魯迅の『阿Q正伝』−魯迅とカオス」などがある。 学術関連表彰　栄誉証書　文献学　南京農業大学（2017年）、大連外国語大学（2017年）
プロフィール
RDF Site Summary