Formal Semantics of Dialogues Based on Belief Sharing and Observational Equivalence of Dialogues

• Ogata Norihiro

  Osaka University, Dept. of Language and Culture

抄録

This paper shows that there is a direct connection between dialogues and belief sharing. This connection is shown by proving a correspondence between observational equivalence between dialogues and epistemic bisimulation between Hyper-Discourse Representation Structures (Hyper-DRS) constructed from dialogues. An observational equivalence between dialogues is defined by a kind of similarity of resulting shared beliefs of the dialogues. The theory of Hyper-DRSs is defined by extending Kamp's Discourse Representation Theory (Kamp and Reyle 1993), a formal semantics of discourse or a dynamic semantics, which is exploiting the theory of hypersets (Aczel 1987;Barwise and Moss 1996) in order to solve the problem of the definition, formation and revision of circular objects like shared beliefs.

収録刊行物

• 自然言語処理

  自然言語処理 6 (4), 93-115, 1999

  一般社団法人　言語処理学会

キーワード

• formal semantics
• dialogue
• belief sharing
• hyperset
• Hyper-Discourse Representation Structure
• observational equivalence

詳細情報

• CRID: 1390001204475530368
• NII論文ID: 10008829172
• NII書誌ID: AN10472659
• DOI: 10.5715/jnlp.6.4_93
• ISSN: 21858314
• ISSN: 13407619
• NDL書誌ID: 4794762
• Web Site: https://ndlsearch.ndl.go.jp/books/R000000004-I4794762
• Web Site: http://www.jstage.jst.go.jp/article/jnlp1994/6/4/6_4_93/_pdf
• 本文言語コード: en
• データソース種別:
  • JaLC
  • NDL
  • Crossref
  • CiNii Articles
• 抄録ライセンスフラグ: 使用不可