| 講演名 | 1996/3/21 共有信念構成・変更としての対話プロセスの形式意味論 緒方 典裕, |
|---|---|
| PDFダウンロードページ | PDFダウンロードページへ |
| 抄録(和) | 対話を共有信念の構成・変更過程とみなすと, 共有信念は循環性をもった対象とみなせるので, その過程は循環性をもつ対象の構成・変更過程とみなすことができる. 本稿では, 対話に関連した共有信念を超集合論に基づいた状況理論, 「テスト意味論」という動的意味論においてモデル化し, それに基づいて対話プロセスを循環的対象を含んだ状況間の推移として形式意味論を与える. その結果, 対話をコントロールしていると考えられる情報のタイプを特定し, ターン・コントロール発話・ターン取り・話し掛け・相づち等の動的意味論を与えた. |
| 抄録(英) | We provides a formal semantics of dialogues by considering dialogues contructing and revising shared beliefs. We model shared beliefs as circular objects in the hyper-universe in terms of Hyper-set theory and Situation theory, and dialogues as transitions of states containing such circular objects with probe semantics. As the result, we can clarify the types of information concerning dialogues, and provide dynamic semantics of turn-controlling utterances, turn-taking, and so on. |
| キーワード(和) | 対話 / 形式意味論 / 共有信念構成・変更 / 超集合 / 動的意味論 |
| キーワード(英) | dialogue / formal semantics / constructing and revising shared beliefs / hyperset / dynamic semantics |
| 資料番号 | NLC95-70 |
| 発行日 |
| 研究会情報 | |
| 研究会 | NLC |
|---|---|
| 開催期間 | 1996/3/21(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Natural Language Understanding and Models of Communication (NLC) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | 共有信念構成・変更としての対話プロセスの形式意味論 |
| サブタイトル（和） | |
| タイトル（英） | |
| サブタイトル（和） | |
| キーワード(1)（和/英） | 対話 / dialogue |
| キーワード(2)（和/英） | 形式意味論 / formal semantics |
| キーワード(3)（和/英） | 共有信念構成・変更 / constructing and revising shared beliefs |
| キーワード(4)（和/英） | 超集合 / hyperset |
| キーワード(5)（和/英） | 動的意味論 / dynamic semantics |
| 第 1 著者 氏名（和/英） | 緒方 典裕 / Norihiro Ogata |
| 第 1 著者 所属（和/英） | 筑波大学大学院文芸・言語研究科言語学専攻 University of Tsukuba, Department of Literature and Language |
| 発表年月日 | 1996/3/21 |
| 資料番号 | NLC95-70 |
| 巻番号（vol） | vol.95 |
| 号番号（no） | 600 |
| ページ範囲 | pp.- |
| ページ数 | 8 |
| 発行日 | |