Presentation | 1996/3/21 共有信念構成・変更としての対話プロセスの形式意味論 Norihiro Ogata, |
---|---|
PDF Download Page | PDF download Page Link |
Abstract(in Japanese) | (See Japanese page) |
Abstract(in English) | 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. |
Keyword(in Japanese) | (See Japanese page) |
Keyword(in English) | dialogue / formal semantics / constructing and revising shared beliefs / hyperset / dynamic semantics |
Paper # | NLC95-70 |
Date of Issue |
Conference Information | |
Committee | NLC |
---|---|
Conference Date | 1996/3/21(1days) |
Place (in Japanese) | (See Japanese page) |
Place (in English) | |
Topics (in Japanese) | (See Japanese page) |
Topics (in English) | |
Chair | |
Vice Chair | |
Secretary | |
Assistant |
Paper Information | |
Registration To | Natural Language Understanding and Models of Communication (NLC) |
---|---|
Language | JPN |
Title (in Japanese) | (See Japanese page) |
Sub Title (in Japanese) | (See Japanese page) |
Title (in English) | |
Sub Title (in English) | |
Keyword(1) | dialogue |
Keyword(2) | formal semantics |
Keyword(3) | constructing and revising shared beliefs |
Keyword(4) | hyperset |
Keyword(5) | dynamic semantics |
1st Author's Name | Norihiro Ogata |
1st Author's Affiliation | University of Tsukuba, Department of Literature and Language() |
Date | 1996/3/21 |
Paper # | NLC95-70 |
Volume (vol) | vol.95 |
Number (no) | 600 |
Page | pp.pp.- |
#Pages | 8 |
Date of Issue |