Formal Semantics of Dialogues Based on Belief Sharing and Observational Equivalence of Dialogues (「談話・対話の言語学的,心理学的モデル」特集号) Formal Semantics of Dialogues Based on Belief Sharing and Observational Equivalence of Dialogues

この論文にアクセスする

この論文をさがす

著者

抄録

This paper shows that there is a direct connection between dialogues and belief sharing. This connection is shown by proving a correspondence between <B>observational equivalence</B> between dialogues and <I>epistemic bisimulation</I> between <I>Hyper-Discourse Representation Structures</I> (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 <I>Discourse Representation Theory</I> (Kamp and Reyle 1993), a formal semantics of discourse or a dynamic semantics, which is exploiting the theory of <I>hypersets</I> (Aczel 1987;Barwise and Moss 1996) in order to solve the problem of the definition, formation and revision of circular objects like shared beliefs.

収録刊行物

  • 自然言語処理 = Journal of natural language processing

    自然言語処理 = Journal of natural language processing 6(4), 93-115, 1999-07-10

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

参考文献:  25件中 1-25件 を表示

被引用文献:  1件中 1-1件 を表示

各種コード

  • NII論文ID(NAID)
    10008829172
  • NII書誌ID(NCID)
    AN10472659
  • 本文言語コード
    ENG
  • 資料種別
    ART
  • ISSN
    13407619
  • NDL 記事登録ID
    4794762
  • NDL 雑誌分類
    ZU8(書誌・図書館・一般年鑑--図書館・ドキュメンテーション・文書館)
  • NDL 請求記号
    Z21-B168
  • データ提供元
    CJP書誌  CJP引用  NDL  J-STAGE 
ページトップへ