<?xml version="1.0" standalone="yes"?>
<Paper uid="P95-1020">
  <Title>A Uniform Treatment of Pragmatic Inferences in Simple and Complex Utterances and Sequences of Utterances</Title>
  <Section position="5" start_page="148" end_page="148" type="concl">
    <SectionTitle>
4 Conclusions
</SectionTitle>
    <Paragraph position="0"> Unlike most research in pragmatics that focuses on certain types of presuppositions or implicatures, we provide a global framework in which one can express all these types of pragmatic inferences. Each pragmatic inference is associated with a set of necessary conditions that may trigger that inference.</Paragraph>
    <Paragraph position="1"> When such a set of conditions is met, that inference is drawn, but it is assigned a defeasible status. An extended definition of satisfaction and a notion of &amp;quot;optimism&amp;quot; with respect to different interpretations yield the preferred interpretations for an utterance or sequences of utterances. These interpretations contain the pragmatic inferences that have not been cancelled by context or conversant's knowledge, plans, or intentions. The formalism yields an algorithm that has been implemented in Common Lisp with Screamer. This algorithm computes uniformly pragmatic inferences that are associated with simple and complex utterances and sequences of utterances, and allows cancellations of pragmatic inferences to occur at any time in the discourse.</Paragraph>
  </Section>
class="xml-element"></Paper>