1994 年度実績報告書

時制・新旧情報を反映するアブダクションによる談話理解とその故障診断系への応用

研究課題

研究課題/領域番号	05451160
研究機関	上智大学
研究代表者	石川彰上智大学, 外国語学部, 助教授 (10138373)
研究分担者	植竹洋一東京商船大学, 商船学部, 助教授 (70193795)
キーワード	アブダクション / 自然言語インターフェイス / 談話解析 / 対話管理 / テーマ・レ-マ / タイプ付ラムダ算法 / ラベル付演繹体系 / 談話指示対象
研究概要	本研究では自然言語による故障診断系のインターフェイスを実現を目指しての基礎研究を行ってきた。石川は対話の形式的表示の問題に関して、談話表示理論(DRT)に基づく表示構造(DRS)を研究し、共同執筆論文を2篇書いた。DRSを対話の表示に使うためには、信念の共有に関する表示方法の問題があり、再帰的な表示の必要性が明らかになった。再帰的表示を対話から構成する際には従来の集合論と異なるAczelのnon-well-founded setに基づくBarwise & Etchmendyの解決法を援用できることが分かっているが、これを論理プログラミングの証明過程に結び付ける方策を検討中である。さらに、本研究では対話における動的推論を取り扱う手法を目指しているので、DRSの中に出来事の順序を反映させるメカニズムが必要となる。現段階ではDRSから出来事の表示を抽出して時点を構成し、その時点に線形順序を与えるための条件を構成アルゴリズム中に導入する方法を検討している。この結果は本年度認知科学会大会で発表の予定である。植竹は日本語の「は」・「が」の問題を一般的なテーマ・レ-マ(theme,rheme)構造の観点から論理づける研究を行い、数篇の論文を発表した。型付きラムダ計算に基づくラムダ式をテーマ・レ-マ構造の表示に応用することで構成主義数学との関連が付き、関数的言語(functional languages)に関する研究の成果である明示的意味論との関連がついた。本年度はさらにこの研究を押し進める計画である。

研究成果
(7件)

すべてその他

すべて文献書誌 (7件)

[文献書誌] 石川彰,松沢忠幸,小松寿,緒方典裕: "指示タイプによる対話管理" 日本認知科学会第11回大会論文集. 160-161 (1994)
[文献書誌] H.Komatsu,N.Ogata & A.Ishikawa: "Towards a Dynamic Theory of Belief-Sharing:in Cooporative Dialogues" Proceedings of COLING '94. 1164-1169 (1994)
[文献書誌] Y.Uetake: "A Formal Representation of Thematic-Rhematic Stoueture of Sentences Based on a Typed hambda.Calculus" Proceedings of COLING '94. 1105-1108 (1994)
[文献書誌] Y.Uetake: "The thematic-rhematic structure of natural languages meets constructive mathematics" Preprint of the 6th International Workshop on Open Systems and Information Dynamics,Copernicus Univ.Tourn,Poland. (1994)
[文献書誌] Y.Uetake: "Adaptive Observer for Continuous Descriptive Systems" IEEE Transactions on Automatic Control. 39-10. 2095-2100 (1994)
[文献書誌] Y.Uetake: "A generalization of the Nehar:problem to multilinear operators" Preprint of Semester on Linear Operators,at S.Banach International Mathematical Center,Warsaw.April 1994. (1994)
[文献書誌] Y.Uetake: "International Symposium on Japanology,Univ.of Warsaw,Nov.23-26 1994" The thematic-rhematic structure of a Japanese sentence An Approach to the Wa-ga problem, (1994)

1994 年度 実績報告書

時制・新旧情報を反映するアブダクションによる談話理解とその故障診断系への応用

研究代表者

石川 彰 上智大学, 外国語学部, 助教授 (10138373)

研究成果

[文献書誌] 石川彰,松沢忠幸,小松寿,緒方典裕: "指示タイプによる対話管理" 日本認知科学会第11回大会論文集. 160-161 (1994)

[文献書誌] H.Komatsu,N.Ogata & A.Ishikawa: "Towards a Dynamic Theory of Belief-Sharing:in Cooporative Dialogues" Proceedings of COLING '94. 1164-1169 (1994)

[文献書誌] Y.Uetake: "A Formal Representation of Thematic-Rhematic Stoueture of Sentences Based on a Typed hambda.Calculus" Proceedings of COLING '94. 1105-1108 (1994)

[文献書誌] Y.Uetake: "The thematic-rhematic structure of natural languages meets constructive mathematics" Preprint of the 6th International Workshop on Open Systems and Information Dynamics,Copernicus Univ.Tourn,Poland. (1994)

[文献書誌] Y.Uetake: "Adaptive Observer for Continuous Descriptive Systems" IEEE Transactions on Automatic Control. 39-10. 2095-2100 (1994)

[文献書誌] Y.Uetake: "A generalization of the Nehar:problem to multilinear operators" Preprint of Semester on Linear Operators,at S.Banach International Mathematical Center,Warsaw.April 1994. (1994)

[文献書誌] Y.Uetake: "International Symposium on Japanology,Univ.of Warsaw,Nov.23-26 1994" The thematic-rhematic structure of a Japanese sentence An Approach to the Wa-ga problem, (1994)

1994 年度実績報告書

石川彰上智大学, 外国語学部, 助教授 (10138373)