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

Access this Article

Search this Article

Author(s)

Abstract

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

  • Journal of Natural Language Processing

    Journal of Natural Language Processing 6(4), 93-115, 1999-07-10

    The Association for Natural Language Processing

References:  25

Cited by:  1

Codes

  • NII Article ID (NAID)
    10008829172
  • NII NACSIS-CAT ID (NCID)
    AN10472659
  • Text Lang
    ENG
  • Article Type
    Journal Article
  • ISSN
    13407619
  • NDL Article ID
    4794762
  • NDL Call No.
    Z21-B168
  • Data Source
    CJP  CJPref  NDL  J-STAGE 
Page Top