<?xml version="1.0" standalone="yes"?>
<Paper uid="P86-1038">
  <Title>A LOGICAL SEMANTICS FOR FEATURE STRUCTURES</Title>
  <Section position="8" start_page="264" end_page="264" type="concl">
    <SectionTitle>
7 Conclusion
</SectionTitle>
    <Paragraph position="0"> We have given a precise logical interpretation for feature structures and their descriptions which are used in unification-based grammar formalisms. This logic can be used to guide and improve implementations of these grammmm, and the processors which use them. It has allowed a closer examination of several sources of complexity that are present in these grammars, particularly when they make use of disjunctive descriptions. We have found a set logical equivalences helpful in suggesting ways of coping with this complexity.</Paragraph>
    <Paragraph position="1"> It should be possible to augment this logic to include characterizations of negation and implication, which we are now developing. It may also be worthwhile to integrate the logic of feature structures with other grammatical formalisms based on logic, such as DCG \[10\] and LFP \[13\].</Paragraph>
  </Section>
class="xml-element"></Paper>