自然言語処理
Online ISSN : 2185-8314
Print ISSN : 1340-7619
ISSN-L : 1340-7619
Formal Semantics of Dialogues Based on Belief Sharing and Observational Equivalence of Dialogues
Norihiro Ogata
著者情報
ジャーナル フリー

1999 年 6 巻 4 号 p. 93-115

詳細
抄録

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.

著者関連情報
© The Association for Natural Language Processing
前の記事 次の記事
feedback
Top