A topic in the Open Knowledge Graph — a free, open map of 15,290 topics and the order to learn them in.

Unification and Feature Agreement

Graduate Depth 240 in the knowledge graph ☐ I know this ☆ Set as goal

2topics build on this

1,642prerequisites beneath it

Typed Feature Structures Computational Pragmatics +5 more→→Head-Driven Phrase Structure Grammar Lexical-Functional Grammar: Formal Framework

Core Idea

Unification is a formal operation that merges two feature structures by resolving shared features. It provides a mathematical account of agreement: two constituents can combine only if their features unify without contradiction.

Explainer

You already know how to represent linguistic information as typed feature structures — attribute-value matrices where grammatical properties like number, person, case, and gender are encoded as attribute-value pairs. Unification is the operation that determines whether two such structures are compatible, and if so, what the combined structure looks like. Think of it as checking whether two puzzle pieces can join: if neither contradicts the other, they merge; if they conflict on any shared attribute, they fail to unify, and no grammatical combination is possible.

The formal definition is straightforward. Two feature structures unify if, for every attribute they share, their values for that attribute are compatible. Compatibility means either both values are identical, or one value is underspecified (a variable that can take any value) and the other provides a specific value that fills it in. The result of unification is a new feature structure containing all attributes from both inputs, with shared attributes resolved to their specific values. Consider a subject noun phrase specified as [NUM: plural, PERS: 3rd] and a verb specified as [NUM: plural, PERS: 3rd, TENSE: past] — these unify successfully, yielding a combined structure with all five values. Now try a subject [NUM: singular] with a verb requiring [NUM: plural] — the NUM attribute conflicts, unification fails, and the grammar correctly predicts the sentence is ungrammatical ("*The cat were sleeping").

This mechanism elegantly handles the range of agreement phenomena you've studied. Subject-verb agreement in English, gender and case agreement between articles and nouns in German, person agreement in Spanish verbs — all can be modeled as unification constraints. The grammar specifies that to combine a subject and verb, their feature structures must unify on the relevant attributes. Where agreement is more complex — as in languages with multiple agreement targets — the feature structures simply carry more attributes, and unification handles the logic without special-case rules.

The computational appeal of unification is that it is both declarative and general-purpose. Rather than writing separate procedural rules for each type of agreement ("if the subject is singular, make the verb singular; if the subject is plural, make the verb plural..."), the grammar specifies feature constraints once, and unification applies them uniformly. This is why unification forms the backbone of constraint-based grammar formalisms like Lexical-Functional Grammar (LFG) and Head-Driven Phrase Structure Grammar (HPSG) — both of which you'll encounter as you build on this foundation. In those frameworks, every grammatical combination in the language is licensed by successful unification of feature structures, and every ungrammatical combination corresponds to a unification failure — a clean, falsifiable, formally explicit account of what it means for a sentence to be grammatical.

Practice Questions 5 questions

Prerequisite Chain

Understanding Zero → The Number Zero → Counting to Five → Counting to 10 → One-to-One Correspondence → Counting a Set of Objects Up to 20 → Cardinality: The Last Number Counted → Matching Numerals to Quantities → Subitizing Small Quantities → Addition Within 10 → Making 10 as an Addition Strategy → Addition Within 20 → Doubles and Near Doubles → Doubles Facts Within 10 → Near Doubles Facts Within 20 → Mental Math Strategies for Addition → Mental Math: Adding and Subtracting Tens → Addition Within 100 → Repeated Addition as Multiplication → Multiplication as Equal Groups → Multiplication: Arrays → Basic Multiplication Facts (0s, 1s, 2s, 5s, 10s) → Multiplication Facts Within 100 → Division as Equal Sharing → Division as Grouping (Measurement Division) → Division: Grouping (Repeated Subtraction) Model → Division: Fair Sharing Model → Division as Equal Sharing → Division as Grouping → Basic Division Facts → Division Facts Within 100 → Multiplication and Division Fact Families → Relationship Between Multiplication and Division → Division Facts as Inverse of Multiplication → Remainders and Quotients in Division → Division Word Problems → Multi-Step Word Problems → Solving Multi-Step Word Problems → Multiplication Word Problems → Division Word Problems → Introduction to Long Division → Factors and Multiples → Prime and Composite Numbers → Equivalent Fractions → Relating Fractions and Decimals → Decimal Place Value → Integers and the Number Line → Comparing and Ordering Integers → Absolute Value → Adding Integers → Subtracting Integers → Multiplying Integers → Dividing Integers → Unit Rates → Proportions → Percent Concept → Converting Between Fractions, Decimals, and Percents → Operations with Rational Numbers → Two-Step Equations → Solving Multi-Step Equations → Equations with Variables on Both Sides → Angle Pairs: Complementary, Supplementary, and Vertical → Parallel Lines and Transversals → Corresponding Angles → Alternate Interior Angles → Triangle Angle Sum Theorem → Exterior Angle Theorem → Triangle Inequality Theorem → Similar Triangles: AA Similarity → Similar Triangles: SSS and SAS Similarity → Proportions in Similar Triangles → Right Triangle Trigonometry Introduction → Sine, Cosine, and Tangent Ratios → Trigonometric Ratios Review → Radian Measure → Converting Between Degrees and Radians → The Unit Circle → Graphing Sine and Cosine → Graphing Tangent and Reciprocal Trigonometric Functions → Derivatives of Trigonometric Functions → Antiderivatives → Iterated Integrals and Fubini's Theorem → Double Integrals in Cartesian Coordinates → Double Integrals in Polar Coordinates → Double Integrals in Polar Coordinates → Double Integrals: Definition and Setup → Iterated Integrals and Fubini's Theorem → Double Integrals over Rectangular Regions → Double Integrals over General Regions → Applications of Double Integrals: Area, Mass, and Moments → Triple Integrals in Cartesian Coordinates → Triple Integrals in Cylindrical and Spherical Coordinates → Change of Variables and the Jacobian Determinant → Applications of Triple Integrals: Volume and Mass → Vector Fields and Their Representations → Line Integrals of Vector Fields → Work and Circulation → Line Integrals of Scalar and Vector Functions → Fundamental Theorem for Line Integrals → Conservative Vector Fields → Conservative Vector Fields and Potential Functions → Curl and Divergence of Vector Fields → Curl and Divergence → Divergence Theorem → Electric Flux and Divergence Theorem → Gauss's Law: Integral Form and Meaning → Solving Problems with Gauss's Law → Conductors in Electrostatic Equilibrium → Capacitance and Capacitors → Dielectrics → Dielectric Constant and Relative Permittivity → Electric Field Inside Dielectric Materials → Dielectric Materials and Polarization → Dielectric Susceptibility and Permittivity → Energy Density in Electric Fields → Electric Current and Current Density → Electrical Resistance and Resistivity → Ohm's Law and Circuit Elements → Electromotive Force (EMF) and Batteries → Kirchhoff's Circuit Laws: Voltage and Current → DC Circuit Network Analysis Methods → Transient Response in RC Circuits → RC Circuits → LC and RLC Circuits → AC Circuits: Fundamentals → Impedance and Reactance → AC Power and Resonance → Electromagnetic Waves → Postulates of Special Relativity → Time Dilation → Length Contraction → Lorentz Transformation → Relativistic Velocity Addition → Relativistic Momentum and Energy → Mass-Energy Equivalence and E=mc² → Photons as Particles with Energy and Momentum → Planck-Einstein Relation: Energy and Frequency → Photoelectric Effect → The Photon: Light as Quanta → Compton Scattering → Wave-Particle Duality → de Broglie Wavelength → The Schrödinger Equation → State Vectors and Wavefunctions → Quantum Superposition → The Measurement Problem → Interpretations of Quantum Mechanics → Postulates of Quantum Mechanics → Observables and Quantum Operators → Commutators and Commutation Relations → Quantum Angular Momentum → Quantum Mechanical Treatment of Hydrogen → Solving the Schrödinger Equation for Hydrogen Atom → Quantum Numbers → Electron Configuration → Periodic Trends → Covalent Bonding → Electronegativity and Bond Polarity → Ionic Bonding → Lewis Structures → VSEPR Theory and Molecular Geometry → Molecular Geometry and Electron Pair Geometry → Molecular Polarity and Dipole Moments → Intermolecular Forces → States of Matter and Phase Changes: Melting, Boiling, and Sublimation → Gas Laws and the Ideal Gas Equation → Gas Stoichiometry and Volume-Volume Calculations → Thermochemistry and Enthalpy → Heat Capacity and Calorimetry → Entropy and Molecular Disorder → Spontaneity and ΔG → Entropy and Gibbs Free Energy → Chemical Equilibrium → Acid-Base Chemistry → Weak Acid Ionization → Weak Base Ionization → Acid and Base Strength: Ka, Kb, and Ionization → Leaving Groups and Nucleofugality → SN2 Substitution Reactions → SN1 Substitution Reactions → E1 Elimination Reactions → Alcohols and Ethers: Structure, Properties, and Nomenclature → Reactions of Alcohols → Aldehydes and Ketones: Structure and Reactivity → Oxidation Reactions in Organic Chemistry → Oxidation of Alcohols to Aldehydes and Ketones → Aldehyde and Ketone Structure and Nomenclature → Nucleophilic Addition to Aldehydes and Ketones → Carboxylic Acids and Their Derivatives → IUPAC Nomenclature of Carbonyls and Carboxylic Acids → IUPAC Nomenclature of Alkenes → Electrophilic Addition to Alkenes → Aromaticity and Benzene → Electrophilic Aromatic Substitution (EAS) → Nucleophilic Aromatic Substitution (SNAr) → Nucleophilic Acyl Substitution → Amines: Structure, Basicity, and Reactions → Amine Reactivity: Nucleophilicity and Basicity → Amino Acid Structure and Properties → Peptide Bonds and Polypeptide Formation → Protein Primary Structure → Protein Secondary Structure → Protein Tertiary Structure → Enzyme Structure and Function → Transcription: DNA to RNA → RNA Types and Structure → RNA Structure and Intramolecular Base Pairing → RNA Processing and Splicing → Translation: RNA to Protein → Ribosomes: Protein Synthesis Machines → Translation: Initiation and Elongation → Post-Translational Modifications → Proteasomal Degradation and Ubiquitin-Mediated Marking → Cell Cycle Regulation and Checkpoints → Cell Cycle Checkpoints: Ensuring Genome Integrity → Cell Cycle Checkpoints and Cancer Prevention → Mitotic Spindle Checkpoint and Chromosome Segregation → Kinetochore Structure and Function → Mitochondria: Structure and Function → Cellular Respiration Overview → Glycolysis → Pyruvate Oxidation → The Krebs Cycle (Citric Acid Cycle) → Electron Transport Chain → ATP Synthesis and Oxidative Phosphorylation → ATP Hydrolysis and Cellular Free Energy → The Na+/K+-ATPase: Maintaining Ion Gradients → Resting Membrane Potential → Ligand-Gated Ion Channels → Voltage-Gated Sodium Channels → Action Potential Initiation: Threshold, All-or-None, and Depolarization → Primary Motor Cortex: Voluntary Movement and Motor Control → Cortical Organization and Columns → Cerebral Cortex Organization → Sensory Pathways Overview → Auditory Processing Pathway → Language Comprehension and Sentence Processing → Pragmatic Implicature and Context-Dependent Interpretation → Computational Pragmatics → Derivation Versus Generation in Formal Grammar → Unification and Feature Agreement

Longest path: 241 steps · 1642 total prerequisite topics

Prerequisites (7)

Typed Feature Structureshard Grammatical Agreement: A Comprehensive Overviewsoft Derivation Versus Generation in Formal Grammarsoft Computational Pragmaticssoft Inflectional Morphologysoft Internal Reconstructionsoft Word Order Typologysoft

Leads To (2)

Head-Driven Phrase Structure Grammarhard Lexical-Functional Grammar: Formal Frameworkhard