<?xml version="1.0" standalone="yes"?>
<Paper uid="P95-1009">
  <Title>User-Defined Nonmonotonicity in Unification-Based Formalisms</Title>
  <Section position="9" start_page="67" end_page="67" type="concl">
    <SectionTitle>
8 Conclusion
</SectionTitle>
    <Paragraph position="0"> In this paper I have proposed a method allowing the user to define nonmonotonic operations in a unification-based grammar formalism. This was done by generalizing the work on nonmonotonic sorts (Young and Rounds, 1993) to allow not only normal defaults rules but general default rules that are defined by the user. The method has a very close relation to Reiter (1980). We also noted that the method can be applied to all domains of structures where we have a defined subsumption order and unification operation.</Paragraph>
    <Paragraph position="1"> The generality of the approach was demonstrated by defining some of the most commonly used nonmonotonic operations. We also gave formal definitions for the approach and provided a discussion on its computational properties.</Paragraph>
  </Section>
class="xml-element"></Paper>