## Information Sharing Theory of Dialogue and Four Classes of Circularity Problems

### BibTeX

@MISC{A_informationsharing,

author = {Norihiro Ogat A},

title = {Information Sharing Theory of Dialogue and Four Classes of Circularity Problems},

year = {}

}

### OpenURL

### Abstract

ogata©stc.ipa.go.jp In Information Sharing Theory of Dialogue (ISTD) [11, 12, 10], a dialogue is considered as a circular object. However, circular objects have five classes of circularity problems. In this paper we shall show and solve five circularity problems by means of ISTD. We shall formulate problematic objects, and show a method of construction of models which does not contain these problematic objects. 1

### Citations

210 |
Non-Well-Founded Sets
- Aczel
- 1988
(Show Context)
Citation Context ...; 1)1.s E SIT, x E {A, B},p C P, i E {1, 0}} U {(:, s, (Share, {A, B},p; 1); i)is E SIT,pC P} U {(:, 1); 1)1s E SIT; X, {p} C P}, which realizes the definition of PROP. Since (1) is set-continuous in =-=[2]-=-'s sense, it follows that it has the largest fixed points and the smallest fixed points, and the largest fixed point, (1)(P') = P°° = PROP and TYPE = {T1(:, s, T; 1) E PROP for some s E SIT} .0 3.2 Mo... |

184 | An introduction to inductive definitions - Aczel - 1977 |

81 | Prolog and Infinite Trees - Colmerauer - 1982 |

44 |
Prolegomena to a Structural Account of Belief and Other Attitudes", in: Propositional Attitudes. The Role of Content
- Kamp
- 1990
(Show Context)
Citation Context ... models Information Sharing Theory of Dialogue (ISTD) [11, 12, 10]. Coherence Problems, Well-Groundedness Problems, Finite Updatability Problems and Mis-collapse Problems. We shall use the methods of =-=[5, 8]-=- in order to define circular objects and to formulate mental representation of dialogues. We shall formulate problematic objects, and show a method of construction of models which does not contain the... |

20 |
1989b: On the model theory of common knowledge
- Barwise
(Show Context)
Citation Context ...ur classes of circularity problems on ISTD, firstly, we shall model propositions, models, and discourse representations. This modeling is based on Situation Theory and Discourse Representation Theory =-=[5, 3, 8]-=-. 3.1 Modeling Propositions In [5, 3]'s Austinian model of propositions, a proposition is analyzed as a complex object: (s : T), where s is a situation which referes to the situation described by a ty... |

15 | Formal Semantics for Mutual Belief - Colombetti - 1993 |

4 | Semantics of Cooperative Dialogues
- Komatsu
- 1995
(Show Context)
Citation Context ...of sentence (p. Therefore, when the utterance succeeds in a dialogue, the conversants share that A knows cp' . If the dialogue is the most successful one, the conversants share cp', rather than that. =-=[9]-=- proposes Collapse Axiom in order to fill this gap, i.e., A and B share that A knows (p' if A and B share that (p'. However, this axiom is not valid but contingent. If it is valid, then the following ... |

4 | Towards a Dynamic Theory of Belief-Sharing in Cooperative Dialogues
- Komatsu, Ogata
- 1994
(Show Context)
Citation Context ... and Four Classes of Circularity Problems Norihiro Ogat a University of Tukuba, Department of Literature and Linguistics, ogata©stc.ipa.go.jp Abstract In Information Sharing Theory of Dialogue (ISTD) =-=[11, 12, 10]-=-, a dialogue is considered as a circular object. However, circular objects have five classes of circularity problems. In this paper we shall show and solve five circularity problems by means of ISTD. ... |

2 |
Mixed Fixed Points, in: Situation in Logic
- Barwise
- 1989
(Show Context)
Citation Context ... mixed fixed point of some operations. On conditions 1,2,4,5, F- is the smallest fixed point, however on condition 3, F- is the largest fixed point. For the existence of such a mixed fixed point, see =-=[4]-=-. Example 2 The following dialogue is incoherent. A: You don't know whatever (now) I know. The USSR collapsed. B: Oh, yes. The CDRS of this dialogue is: D: u, A, B, p, x u : K AD u : KBD u : KAp q,t,s... |

2 |
A Cross-Cultural Basic System of Conversation as a Minimal System
- Ogata
- 1993
(Show Context)
Citation Context ... and Four Classes of Circularity Problems Norihiro Ogat a University of Tukuba, Department of Literature and Linguistics, ogata©stc.ipa.go.jp Abstract In Information Sharing Theory of Dialogue (ISTD) =-=[11, 12, 10]-=-, a dialogue is considered as a circular object. However, circular objects have five classes of circularity problems. In this paper we shall show and solve five circularity problems by means of ISTD. ... |

2 |
names, Reference, and Information Sharing, (in Japanese), Software Bunsho notameno Nihongo-Shori no Kenkyuu
- Proper
- 1993
(Show Context)
Citation Context ... and Four Classes of Circularity Problems Norihiro Ogat a University of Tukuba, Department of Literature and Linguistics, ogata©stc.ipa.go.jp Abstract In Information Sharing Theory of Dialogue (ISTD) =-=[11, 12, 10]-=-, a dialogue is considered as a circular object. However, circular objects have five classes of circularity problems. In this paper we shall show and solve five circularity problems by means of ISTD. ... |