<?xml version="1.0" standalone="yes"?>
<Paper uid="C88-2117">
  <Title>Default Logic, Natural Language and Generalized Quantifiers</Title>
  <Section position="7" start_page="559" end_page="559" type="concl">
    <SectionTitle>
6 Epilogue
</SectionTitle>
    <Paragraph position="0"> Default logic permits to represent with a greater accuracy and relevance several types of words and constructions. We have proposed here to integrate it into the formal framework of Generalized Quantifiers. Default logic also exhibits a number of particular properties at the level of the characterization of the truth persistence of a statement represented by default logic in a knowledge base being updated. Next, new and revised inferential patterns are introduced and illustrated. These patterns permit to derive new default rules and to construct new linguistic expressions from previous ones.</Paragraph>
    <Paragraph position="1"> The forthcoming works include:  (1) The extension and investigation of those linguistic expressions that can be represented by default logic.</Paragraph>
    <Paragraph position="2"> (2) A formal characterization of contextual situations where default logic can (or must) be used, permitting thus the specification of contextual semantic compositional rules, coherent with the representation defined in \[saint-Dizier 86\].</Paragraph>
    <Paragraph position="3"> (3) The establishment of a link with the logic of presuppositions. null (4) The integration of default logic into other formal theo null ries of natural language semantics, in particular into the framework of Situations Semantics \[Barwise and Perry 83\]. Acknowledgements I am very grateful to Philippe Besnard, Mario Borillo and Jim Delgrande for their useful comments on this work. I thank also Dag Vesterstahl for providing me several of his publications mentioned below. This work was supported by the French INRIA and the PRC CNRS Communication Homme-machine, both civilian public institutions.</Paragraph>
  </Section>
class="xml-element"></Paper>