<?xml version="1.0" standalone="yes"?>
<Paper uid="C94-2181">
  <Title>CONSEQUENCE RELATIONS IN DRT</Title>
  <Section position="3" start_page="0" end_page="0" type="intro">
    <SectionTitle>
1. Introduction
</SectionTitle>
    <Paragraph position="0"> Discourse Representation Theory (DRT) due to Kamp (1981) provides a promising framework for discourse semantics. DRT is in fact successul in formalizing several challenging topics, e.g. anaphora, tense and belief; see Asher (1986, 1993) and Helm (1982). Due to its clear semantics with the construction algorithm, DRT is also used as a background theory in computational lhtguistics; see Wada and Asher (1986) and Ishikawa and Akama (1992).</Paragraph>
    <Paragraph position="1"> However, DRT lacks a deductive (prooftheoretic) formulation to serve as an abstract interpreter for discourse understanding, since it is formalized by means of the notion of partial models. This prevents us from utilizing DRT in various ways for natural language understanding systems. To make DR'\]' more flexible for computational linguistics, we need to generalize a formal basis in a proof-theoretic fashion. If this is successful, computational linguists will be able to reconstruct DRT for their own systems using programming languages like Prolog and LISP. There are perhaps several ways to give an operational semantics of DRT.</Paragraph>
    <Paragraph position="2"> One of the attractive approaches is to investigate consequence relations associated with DR'I?. It is thus very useful to study some consequence relations in DRT to develop different versions of DRT.</Paragraph>
    <Paragraph position="3"> The purpose of this paper is to explore consequence relations in DRT, one of which exactly produces Kamp's original semantics. We incorporate some consequence relations defined by partial semantics into DRT using sequent calculi. Our attempt enables us to display several versions of DRT by employing different consequence relations. We also show some connections of the proposed consequence relations and partial logics in the literature.</Paragraph>
  </Section>
class="xml-element"></Paper>