Unification

This paper proposes a method for packing feature structures, which automatically collapses equivalent parts of lexical/phrasal feature structures of HPSG into a single packed feature structure. This method avoids redundant repetition of unification of those parts. Preliminary experiments show that this method can significantly improve a unification speed in parsing.
6p bunrieu_1 18042013 10 3 Download

In order to realize their full potential, multimodal systems need to support not just input from multiple modes, but also synchronized integration of modes. Johnston et al (1997) model this integration using a unification operation over typed feature structures. This is an effective solution for a broad class of systems, but limits multimodal utterances to combinations of a single spoken phrase with a single gesture. We show how the unificationbased approach can be scaled up to provide a full multimodal grammar formalism.
7p bunrieu_1 18042013 21 2 Download

This paper proposes a method for generating a logicalconstraintbased internal representation from a unification grammar formalism with disjunctive information. Unification grammar formalisms based on path equations and lists of pairs of labels and values are better than those based on firstorder terms in that the former is easier to describe and to understand. Parsing with termbased internal representations is more efficient than parsing with graphbased representations.
5p bunrieu_1 18042013 16 2 Download

This paper introduces a new approach to morphosyntactic analysis through Humor 99 (Highspeed Unification Mo.rphology), a reversible and unificationbased morphological analyzer which has already been integrated with a variety o f industrial applications. Humor 99 successfully copes with problems o f agglutinative (e.g. Hungarian, Turkish, Estonian) and other (highly) inflectional languages (e.g. Polish, Czech, German) very effectively.
8p bunrieu_1 18042013 16 2 Download

Loglinear models provide a statistically sound framework for Stochastic "UnificationBased" Grammars (SUBGs) and stochastic versions of other kinds of grammars. We describe two computationallytractable ways of estimating the parameters of such grammars from a training corpus of syntactic analyses, and apply these to estimate a stochastic version of LexicalFunctional Grammar.
7p bunrieu_1 18042013 17 2 Download

A language processor is to find out a most promising sentence hypothesis for a given word lattice obtained from acoustic signal recognition. In this paper a new language processor is proposed, in which unification granunar and Markov language model are integrated in a word lattice parsing algorithm based on an augmented chart, and the islanddriven parsing concept is combined with various preferencefirst parsing strategies defined by different construction principles and decision rules.
6p bunmoc_1 20042013 14 2 Download

This paper describes a structuresharing method for the representation of complex phrase types in a parser for PATR[I, a unificationbased g r a m m a r formalism. In parsers for unificationbased grammar formalisms, complex phrase types are derived by incremental refinement of rite phrase types defined in grammar rules and lexical entries. In a naive implementation, a new phrase type is built by copying older ones and then combining the copies according to the constraints stated in a grammar rule. ...
8p bungio_1 03052013 13 2 Download

A grammatical description often applies to a linguistic object only when that object has certain features. Such conditional descriptions can be indirectly modeled in Kay's Functional Unification Grammar (FUG) using functional descriptions that are embedded within disjunctive alternatives. An extension to FUG is proposed that allows for a direct representation of conditional descriptions. This extension has been used to model the input conditions on the systems of systemic grammar. Conditional descriptions are formally defined in terms of logical implication and negation.
8p bungio_1 03052013 22 2 Download

Tree Unification Grammar is a declarative unificationbas~:l linguistic framework. The basic grammar stmaures of this framework are partial descriptions of trees, and the framework requires only a single grammar rule to combine these partial descriptions. Using this framework, constraints associated with various linguistic phenomena (reflexivisationin particular)~ be stated succinctlyin the lexicon.
9p bungio_1 03052013 15 2 Download

A simple formalism is proposed to represent the contexts in which pronouns, definite/indefinite descriptions, and ordinal descriptions (e.g. 'the second book') can be used, and the way in which these expressions change the context. It is shown that referring expressions can be generated by a unification grammar provided that some phrasestructure rules are specially tailored to express entities in the current knowledge base.
6p bunthai_1 06052013 11 2 Download

Default inheritance is a useful tool for encoding linguistic generalisations that have exceptions. In this paper we show how the use of an order independent typed default unification operation can provide nonredundant highly structured and concise representation to specify a network of lexical types, that encodes linguistic information about verbal subcategorisation.
4p bunthai_1 06052013 23 2 Download

Recent empirical research has shown conclusive advantages of multimodal interaction over speechonly interaction for mapbased tasks. This paper describes a multimodal language processing architecture which supports interfaces allowing simultaneous input from speech and gesture recognition. Integration of spoken and gestural input is driven by unification of typed feature structures representing the semantic contributions of the different modes.
8p bunthai_1 06052013 16 2 Download

The notion of a Horn extended feature structure (HoXF) is introduced, which is a feature structure constrained so that its only allowable extensions are those satisfying some set of llorn clauses in featureterm logic, l l o X F ' s greatly generalize ordinary feature structures in admitting explicit representation of negative and implicational constraints. In contradistinction to the general case in which arbitrary logical constraints are allowed (for which the best known algorithms are exponential), there is a highly tractable algorithm for the unification of HoXF's. ...
6p buncha_1 08052013 19 2 Download

A formalism is presented for lexical specification in unificationbased grammars which exploits defeasible multiple inheritance to express regularity, subregularity, and exceptions in classifying the properties of words. Such systems are in the general case intractable; the present proposal represents an attempt to reduce complexity while retaining sufficient expressive power for the task at hand. Illustrative examples are given of morphological analyses from English and German.
7p bunmoc_1 20042013 19 1 Download

Graph unification is the most expensive part of unificationbased grammar parsing. It often takes over 90% of the total parsing time of a sentence. We focus on two speedup elements in the design of unification algorithms: 1) elimination of excessive copying by only copying successful unifications, 2) Finding unification failures as soon as possible. We have developed a scheme to attain these two elements without expensive overhead through temporarily modifying graphs during unification to eliminate copying during unification. ...
8p bunmoc_1 20042013 15 1 Download

This paper presents a unification procedure which eliminates the redundant copying of structures by using a lazy incremental copying appr0a~:h to achieve structure sharing. Copying of structures accounts for a considerable amount of the total processing time. Several methods have been proposed to minimize the amount of necessary copying. Lazy Incremental Copying (LIC) is presented as a new solution to the copying problem. It synthesizes ideas of lazy copying with the notion of chronological dereferencing for achieving a high amount of structure sharing. ...
8p bunmoc_1 20042013 12 1 Download

This paper presents a connectionist syntactic parser which uses Structure Unification Grammar as its grammatical framework. The parser is implemented in a connectionist architecture which stores and dynamically manipulates symbolic representations, but which can't represent arbitrary disjunction and has bounded memory. These problems can be overcome with Structure Unification Grammar's extensive use of partial descriptions.
8p bunmoc_1 20042013 11 1 Download

We present an implemented unificationbased parser for relational grammars developed within the s t r a t i f i e d f e a t u r e g r a m m a r (SFG) framework, which generalizes KasperRounds logic to handle relational grammar analyses. We first introduce the key aspects of SFG and a lexicalized, graphbased variant of the framework suitable for implementing relational grammars. We then describe a headdriven chart parser for lexicalized SFG.
8p bunmoc_1 20042013 15 1 Download

Motivation for including relational constraints other than equality within grammatical formalisms has come from discontinuous constituency and partially free word order for natural languages as well as from the need to define combinatory operations at the most basic level for languages with a twodimensional syntax (e.g., mathematical notation, chemical equations, and various diagramming languages). This paper presents FPATR, a generalization of the PATRII unificationbased formalism, which incorporates relational constraints expressed as userdefined functions. ...
8p bunmoc_1 20042013 15 1 Download

The paper demonstrates that exponential complexities with respect to grammar size and input length have little impact on the performance of three unificationbased parsing algorithms, using a widecoverage grammar. The results imply that the study and optimisation of unificationbased parsing must rely on empirical data until complexity theory can more accurately predict the practical behaviour of such parserQ. 1.
8p bunmoc_1 20042013 17 1 Download