<?xml version="1.0" standalone="yes"?>
<Paper uid="C86-1093">
  <Title>SCSI_ : a linguistic specification language for MT</Title>
  <Section position="9" start_page="397" end_page="397" type="concl">
    <SectionTitle>
3. CONTEXT EVALUATION
</SectionTitle>
    <Paragraph position="0"> A context is evaluated during a traversal of the cuts of the derivation tree which go through the node containing the couple (string, tree).</Paragraph>
    <Paragraph position="1"> A context pattern memorized on an arc (x, y) describes cuts tn the derivation tree. For a C-graph with Input node I and output node O, these cuts are represented by paths from y to O (for a right context). A right context evaluation is thus reduced to the search of a sub-C-graph from y to 0.</Paragraph>
    <Paragraph position="2"> V. CONCLUSION In the study and developement of future industrial MT systems, the definition and Implementation of linguistic parts raise many problems partly due to the size of the systems, and we hardly need rigorous methods of developement. The challenge ts to theorize the line of activities which go from the formal specification of an Informal problem to the preof of correctness of the corresponding program, and this In the field of linguistic programming.</Paragraph>
    <Paragraph position="3"> As a first step in this direction, within the specification/Implementation/validation framework, a software envtronement Is being developed based on a linguistic specification language.</Paragraph>
    <Paragraph position="4"> Thts language allows linguists to specify analysis and generation modules fop natural language sub-sets and the interpreter allows empirical validation ef implementations. The language is actually used to specify the grammars of the French MT National Project, and for all new developements carried out in GETA.</Paragraph>
    <Paragraph position="5"> For further work, extensions are studted, specially the specification of transfer modules. Work is also being engaged to develop rigorous linguistic programming methods using SLLP provided with SCSG specifications.</Paragraph>
  </Section>
class="xml-element"></Paper>