Inducing Features of Random Fields

Stephen Della PietraVincent J. Della PietraJ. Lafferty

article1995TPAMI1,355 citations

Introduces a principled framework for incrementally inducing complex features in random fields via maximum entropy and introduces the Improved Iterative Scaling algorithm to train non-Markovian exponential models with thousands of parameters.

Listen

Statistical learning models often struggle when dealing with rare events and high-dimensional data, such as natural language processing tasks where specific words appear only once in large corpora. The article introduces a method for automatically discovering structure from sample data by incrementally building non-Markovian random fields with thousands of parameters. The primary objective is to evaluate and demonstrate an incremental feature induction framework that constructs exponential probability models and estimates their parameters by minimizing relative entropy with respect to empirical training data.

The approach operates in two alternating stages: greedy feature selection and parameter estimation. During feature selection, candidate features are evaluated in parallel by estimating their potential information gain while holding other parameters fixed. The best candidate is added, and all model parameters are then re-estimated using Improved Iterative Scaling, a new algorithm that removes standard constraints and guarantees convergence via auxiliary functions. For large configuration spaces where exact summation is intractable, the approach computes expectations using Monte Carlo Gibbs sampling.

The evaluation yields several important findings. First, the greedy gain approximation allows the simultaneous evaluation of thousands of candidate features efficiently. Second, Improved Iterative Scaling guarantees monotonic convergence to the optimal maximum entropy distribution without requiring features to sum to a constant. Third, when applied to English word morphology across a 100,000-word vocabulary, the model progressively discovered foundational spelling rules—starting from basic lowercase characters, progressing to affixes like '-ed' and '-ion' across 100 features, and capturing complex structural regularities and macro symbols by 1,500 features.

These results demonstrate that feature induction can mitigate data sparsity and small-count problems by learning shared, sub-structural patterns rather than treating complex entities as atomic units. This improves modeling accuracy and generalization for downstream tasks such as word clustering and classification without relying on rigid probabilistic automata or restrictive Markovian assumptions.

To apply this approach, practitioners should consider incorporating batches of candidate features per iteration or delaying full parameter re-estimation to reduce computational overhead. Further work is required to develop principled Bayesian priors over candidate features to establish robust stopping criteria. Confidence in the mathematical foundation and convergence of the parameter estimation algorithm is high, though caution is warranted regarding computational scalability in higher-dimensional domains such as large-scale image processing, where Monte Carlo sampling of high-degree polynomials may become difficult.

arXiv: cmp-lg/9506014
  • Paper: Markov Random Field Texture Models, G. R. Cross et al. (1983). It provides foundational background on generative Markov-Gibbs random field models and parameter estimation for spatial interactions that the source paper contrasts against and extends to non-Markovian random fields.
  • Paper: A Bayesian method for the induction of probabilistic networks from data, Gregory F. Cooper et al. (1992). It establishes early principles and greedy heuristic methods for learning the structure of probabilistic networks from data, offering essential context for the source's greedy feature-induction paradigm.
Cover for Inducing Features of Random Fields

Abstract

We present a technique for constructing random fields from a set of training samples. The learning paradigm builds increasingly complex fields by allowing potential functions, or features, that are supported by increasingly large subgraphs. Each feature has a weight that is trained by minimizing the Kullback-Leibler divergence between the model and the empirical distribution of the training data. A greedy algorithm determines how features are incrementally added to the field and an iterative scaling algorithm is used to estimate the optimal values of the weights.

The random field models and techniques introduced in this paper differ from those common to much of the computer vision literature in that the underlying random fields are non-Markovian and have a large number of parameters that must be estimated. Relations to other learning approaches, including decision trees, are given. As a demonstration of the method, we describe its application to the problem of automatic word classification in natural language processing.

Table of Contents

  • I. Introduction
  • II. The Learning Paradigm
  • B. Two optimization problems
  • C. Inducing field interactions
  • D. Incremental construction of random fields
  • III. Feature Selection
  • IV. Parameter Estimation
  • A. Duality
  • B. Auxiliary functions
  • C. Improved Iterative Scaling
  • D. Monte Carlo methods
  • V. Application: Word Morphology
  • A. Problem formulation
  • B. Description of the algorithm
  • C. Sample results
  • VI. Extensions and Relations to Other Approaches
  • A. Conditional exponential models
  • B. Decision trees
  • C. Extensions
  • Appendix
  • I. Duality
  • II. Dealing with
  • III. Acknowledgements
  • References

Knowls

  1. Knowl 1 — Improved Iterative Scaling Algorithm

    algorithm

    Improved Iterative Scaling (IIS) is an iterative procedure for finding maximum likelihood parameter estimates in an exponential model or generalized Gibbs distribution relative to a reference distribution p~\tilde{p}, without requiring that the sum of feature values across configurations is constant.

    Let Ω\Omega be a finite configuration space, p~\tilde{p} a reference distribution (such as an empirical distribution from training samples), and q0q_0 an initial distribution satisfying p~≪q0\tilde{p} \ll q_0. Let f0,f1,…,fn:Ω→R≥0f_0, f_1, \dots, f_n : \Omega \to \mathbb{R}_{\ge 0} be a set of non-negative feature functions. The total feature count for a configuration ω∈Ω\omega \in \Omega is defined as: f#(ω)=∑i=0nfi(ω)f_\#(\omega) = \sum_{i=0}^n f_i(\omega)

    Input: Reference distribution p~\tilde{p}, initial distribution q0q_0 with p~≪q0\tilde{p} \ll q_0, non-negative features f0,f1,…,fnf_0, f_1, \dots, f_n
    Output: Distribution q∗=arg⁡min⁡q∈Qˉ(f,q0)D(p~∥q)q_* = \arg\min_{q \in \bar{\mathcal{Q}}(f, q_0)} D(\tilde{p} \| q)
    Initialize q(0)←q0q^{(0)} \leftarrow q_0, k←0k \leftarrow 0
    repeat
        for each feature index i∈{0,1,…,n}i \in \{0, 1, \dots, n\} do
            Find the unique solution γi(k)∈(−∞,∞]\gamma_i^{(k)} \in (-\infty, \infty] to the equation:
            ∑ω∈Ωq(k)(ω)fi(ω)exp⁡(γi(k)f#(ω))=∑ω∈Ωp~(ω)fi(ω)\sum_{\omega \in \Omega} q^{(k)}(\omega) f_i(\omega) \exp\left(\gamma_i^{(k)} f_\#(\omega)\right) = \sum_{\omega \in \Omega} \tilde{p}(\omega) f_i(\omega)
        end for
        Compute the normalized distribution:
        q(k+1)(ω)←1Zkq(k)(ω)exp⁡(∑i=0nγi(k)fi(ω))q^{(k+1)}(\omega) \leftarrow \frac{1}{Z_k} q^{(k)}(\omega) \exp\left(\sum_{i=0}^n \gamma_i^{(k)} f_i(\omega)\right)
        where Zk=∑ω∈Ωq(k)(ω)exp⁡(∑i=0nγi(k)fi(ω))Z_k = \sum_{\omega \in \Omega} q^{(k)}(\omega) \exp\left(\sum_{i=0}^n \gamma_i^{(k)} f_i(\omega)\right)
        k←k+1k \leftarrow k + 1
    until q(k)q^{(k)} has converged
    return q∗←q(k)q_* \leftarrow q^{(k)}

    The algorithm monotonically decreases the Kullback-Leibler divergence D(p~∥q(k))D(\tilde{p} \| q^{(k)}) at every iteration and converges to the unique maximum likelihood distribution q∗q_*.

  2. Knowl 2 — Field Induction Algorithm

    algorithm

    The Field Induction Algorithm incrementally constructs a random field (or exponential model) by greedily selecting new features from a candidate pool based on their potential reduction in Kullback-Leibler divergence, followed by updating all model parameters using iterative scaling.

    Let Fatomic\mathcal{F}_{\text{atomic}} be a set of atomic binary features supported on single graph vertices. A feature gg is a candidate for a field qq with active features {f0,…,fn}\{f_0, \dots, f_n\} if g∈Fatomicg \in \mathcal{F}_{\text{atomic}} or if g(ω)=a(ω)fi(ω)g(\omega) = a(\omega) f_i(\omega) for some a∈Fatomica \in \mathcal{F}_{\text{atomic}} and active feature fif_i such that supp(a)⊖supp(fi)∈E\text{supp}(a) \ominus \text{supp}(f_i) \in E (ensuring path-connected support). The candidate set is denoted C(q)\mathcal{C}(q).

    The 1-parameter family induced by gg with weight α\alpha is qα,g(ω)=1Zq(αg)q(ω)eαg(ω)q_{\alpha, g}(\omega) = \frac{1}{Z_q(\alpha g)} q(\omega) e^{\alpha g(\omega)}, and the gain of candidate gg is defined as: Gq(g)=sup⁡α[D(p~∥q)−D(p~∥qα,g)]=sup⁡α[αp~[g]−log⁡q[eαg]]G_q(g) = \sup_\alpha \left[ D(\tilde{p} \| q) - D(\tilde{p} \| q_{\alpha, g}) \right] = \sup_\alpha \left[ \alpha \tilde{p}[g] - \log q\left[ e^{\alpha g} \right] \right]

    Input: Reference distribution p~\tilde{p}, initial model q0q_0 (e.g., uniform distribution)
    Output: Random field q∗q_* with active features f0,f1,…,fNf_0, f_1, \dots, f_N
    Initialize q←q0q \leftarrow q_0, active feature set F←∅F \leftarrow \emptyset
    while stopping criterion is not satisfied do
        Construct candidate feature pool C(q)\mathcal{C}(q) by conjoining atomic features with active features FF
        for each candidate feature g∈C(q)g \in \mathcal{C}(q) do
            Compute candidate gain Gq(g)=sup⁡α[αp~[g]−log⁡q[eαg]]G_q(g) = \sup_\alpha [ \alpha \tilde{p}[g] - \log q[e^{\alpha g}] ]
        end for
        Select candidate with maximum gain: fnew←arg⁡max⁡g∈C(q)Gq(g)f_{\text{new}} \leftarrow \arg\max_{g \in \mathcal{C}(q)} G_q(g)
        F←F∪{fnew}F \leftarrow F \cup \{f_{\text{new}}\}
        Re-estimate all parameters of features in FF using Improved Iterative Scaling:
        q←arg⁡min⁡p∈Qˉ(F,q0)D(p~∥p)q \leftarrow \arg\min_{p \in \bar{\mathcal{Q}}(F, q_0)} D(\tilde{p} \| p)
    end while
    return q∗←qq_* \leftarrow q
  3. Knowl 3 — Convergence of Improved Iterative Scaling via Auxiliary Functions

    theoretical result

    Let p~\tilde{p} be a reference distribution on Ω\Omega, q0q_0 an initial distribution with p~≪q0\tilde{p} \ll q_0, and f=(f0,…,fn)f = (f_0, \dots, f_n) non-negative feature functions (fi(ω)≥0f_i(\omega) \ge 0). Let L(q)=−D(p~∥q)=∑ωp~(ω)log⁡q(ω)+H(p~)L(q) = -D(\tilde{p} \| q) = \sum_\omega \tilde{p}(\omega) \log q(\omega) + H(\tilde{p}) be the log-likelihood objective function, and let γ∘q\gamma \circ q denote the generalized Gibbs distribution parameterized by increments γ∈Rn+1\gamma \in \mathbb{R}^{n+1}: (γ∘q)(ω)=1Zq(γ⋅f)q(ω)exp⁡(∑i=0nγifi(ω))(\gamma \circ q)(\omega) = \frac{1}{Z_q(\gamma \cdot f)} q(\omega) \exp\left( \sum_{i=0}^n \gamma_i f_i(\omega) \right) where Zq(γ⋅f)=∑ωq(ω)exp⁡(∑i=0nγifi(ω))Z_q(\gamma \cdot f) = \sum_\omega q(\omega) \exp\left(\sum_{i=0}^n \gamma_i f_i(\omega)\right).

    Define the auxiliary function A(γ,q):Rn+1×Δ→RA(\gamma, q): \mathbb{R}^{n+1} \times \Delta \to \mathbb{R} by: A(γ,q)=1+γ⋅p~[f]−∑ω∈Ωq(ω)∑i=0nfi(ω)f#(ω)exp⁡(γif#(ω))A(\gamma, q) = 1 + \gamma \cdot \tilde{p}[f] - \sum_{\omega \in \Omega} q(\omega) \sum_{i=0}^n \frac{f_i(\omega)}{f_\#(\omega)} \exp\left( \gamma_i f_\#(\omega) \right) where f#(ω)=∑i=0nfi(ω)f_\#(\omega) = \sum_{i=0}^n f_i(\omega) and p~[f]=(p~[f0],…,p~[fn])\tilde{p}[f] = (\tilde{p}[f_0], \dots, \tilde{p}[f_n]).

    The auxiliary function satisfies:

    1. Lower bound property: L(γ∘q)−L(q)≥A(γ,q)L(\gamma \circ q) - L(q) \ge A(\gamma, q) for all q∈Δq \in \Delta and γ∈Rn+1\gamma \in \mathbb{R}^{n+1}.
    2. Tangency at zero: A(0,q)=0A(0, q) = 0 and ddt∣t=0A(tγ,q)=ddt∣t=0L((tγ)∘q)\left.\frac{d}{dt}\right|_{t=0} A(t\gamma, q) = \left.\frac{d}{dt}\right|_{t=0} L((t\gamma) \circ q).

    Setting ∇γA(γ,q)=0\nabla_\gamma A(\gamma, q) = 0 decouples the parameter updates into n+1n+1 independent 1D equations: ∑ω∈Ωq(ω)fi(ω)exp⁡(γif#(ω))=p~[fi],i=0,…,n\sum_{\omega \in \Omega} q(\omega) f_i(\omega) \exp\left( \gamma_i f_\#(\omega) \right) = \tilde{p}[f_i], \quad i = 0, \dots, n Consequently, updating q(k+1)=γ(k)∘q(k)q^{(k+1)} = \gamma^{(k)} \circ q^{(k)} with γ(k)=arg⁡max⁡γA(γ,q(k))\gamma^{(k)} = \arg\max_\gamma A(\gamma, q^{(k)}) guarantees that L(q(k))L(q^{(k)}) increases monotonically (i.e., D(p~∥q(k))D(\tilde{p} \| q^{(k)}) decreases monotonically) and q(k)q^{(k)} converges to q∗=arg⁡max⁡q∈Qˉ(f,q0)L(q)q_* = \arg\max_{q \in \bar{\mathcal{Q}}(f, q_0)} L(q).

  4. Knowl 4 — Duality and Pythagorean Property for Generalized Gibbs Distributions

    theoretical result

    Let Ω\Omega be a finite configuration space, q0∈Δq_0 \in \Delta an initial distribution on Ω\Omega, p~∈Δ\tilde{p} \in \Delta a reference distribution with p~≪q0\tilde{p} \ll q_0, and f=(f0,…,fn)f = (f_0, \dots, f_n) a vector of feature functions on Ω\Omega.

    Define the linear constraint family: P(f,p~)={p∈Δ:p[fi]=p~[fi] for all i=0,…,n}\mathcal{P}(f, \tilde{p}) = \{ p \in \Delta : p[f_i] = \tilde{p}[f_i] \text{ for all } i = 0, \dots, n \} and the generalized Gibbs distribution family based on q0q_0: Q(f,q0)={(λ⋅f)∘q0:λ∈Rn+1},where ((λ⋅f)∘q0)(ω)=q0(ω)eλ⋅f(ω)∑ω′q0(ω′)eλ⋅f(ω′)\mathcal{Q}(f, q_0) = \left\{ (\lambda \cdot f) \circ q_0 : \lambda \in \mathbb{R}^{n+1} \right\}, \quad \text{where } ((\lambda \cdot f) \circ q_0)(\omega) = \frac{q_0(\omega) e^{\lambda \cdot f(\omega)}}{\sum_{\omega'} q_0(\omega') e^{\lambda \cdot f(\omega')}} Let Qˉ(f,q0)\bar{\mathcal{Q}}(f, q_0) denote the topological closure of Q(f,q0)\mathcal{Q}(f, q_0) in the probability simplex Δ\Delta.

    There exists a unique probability distribution q∗∈Δq_* \in \Delta satisfying each of the following four equivalent properties:

    1. Intersection property: q∗∈P(f,p~)∩Qˉ(f,q0)q_* \in \mathcal{P}(f, \tilde{p}) \cap \bar{\mathcal{Q}}(f, q_0)
    2. Pythagorean property: For every p∈P(f,p~)p \in \mathcal{P}(f, \tilde{p}) and every q∈Qˉ(f,q0)q \in \bar{\mathcal{Q}}(f, q_0), D(p∥q)=D(p∥q∗)+D(q∗∥q)D(p \| q) = D(p \| q_*) + D(q_* \| q)
    3. Maximum Likelihood Gibbs distribution: q∗=arg⁡min⁡q∈Qˉ(f,q0)D(p~∥q)q_* = \arg\min_{q \in \bar{\mathcal{Q}}(f, q_0)} D(\tilde{p} \| q)
    4. Maximum Entropy constrained distribution: q∗=arg⁡min⁡p∈P(f,p~)D(p∥q0)q_* = \arg\min_{p \in \mathcal{P}(f, \tilde{p})} D(p \| q_0) Any one of these four properties uniquely determines q∗q_*.
  5. Knowl 5 — Candidate Feature Gain and 1D Optimization

    theoretical result

    When evaluating a candidate feature g:Ω→Rg : \Omega \to \mathbb{R} to add to a field qq, the improvement in Kullback-Leibler divergence with weight parameter α∈R\alpha \in \mathbb{R} (holding other parameters fixed) is: Gq(α,g)=D(p~∥q)−D(p~∥qα,g)=αp~[g]−log⁡q[eαg]G_q(\alpha, g) = D(\tilde{p} \| q) - D(\tilde{p} \| q_{\alpha, g}) = \alpha \tilde{p}[g] - \log q\left[ e^{\alpha g} \right] where qα,g(ω)=1q[eαg]q(ω)eαg(ω)q_{\alpha, g}(\omega) = \frac{1}{q[e^{\alpha g}]} q(\omega) e^{\alpha g(\omega)} and p~[g]=∑ωp~(ω)g(ω)\tilde{p}[g] = \sum_\omega \tilde{p}(\omega) g(\omega).

    If gg is non-constant, Gq(α,g)G_q(\alpha, g) is strictly concave in α\alpha with derivative: ∂∂αGq(α,g)=p~[g]−qα,g[g]\frac{\partial}{\partial \alpha} G_q(\alpha, g) = \tilde{p}[g] - q_{\alpha, g}[g] and second derivative ∂2∂α2Gq(α,g)=−Varqα,g(g)<0\frac{\partial^2}{\partial \alpha^2} G_q(\alpha, g) = -\text{Var}_{q_{\alpha, g}}(g) < 0. The gain Gq(g)=sup⁡αGq(α,g)G_q(g) = \sup_\alpha G_q(\alpha, g) is attained at the unique point α^\hat{\alpha} satisfying: p~[g]=qα^,g[g]\tilde{p}[g] = q_{\hat{\alpha}, g}[g]

    For features taking values in the non-negative integers {0,1,…,N}\{0, 1, \dots, N\}, with β=eα\beta = e^\alpha and gk=q({ω:g(ω)=k})g_k = q(\{\omega : g(\omega) = k\}), this condition becomes: p~[g]−∑k=0Nkgkβk∑k=0Ngkβk=0\tilde{p}[g] - \frac{\sum_{k=0}^N k g_k \beta^k}{\sum_{k=0}^N g_k \beta^k} = 0 which has a unique positive root β>0\beta > 0 computable via Newton's method.

  6. Knowl 6 — Closed-Form Gain for Binary Candidate Features

    theoretical result

    When a candidate feature g:Ω→{0,1}g: \Omega \to \{0, 1\} is binary-valued, the optimal weight α^\hat{\alpha} maximizing the gain Gq(α,g)=D(p~∥q)−D(p~∥qα,g)G_q(\alpha, g) = D(\tilde{p} \| q) - D(\tilde{p} \| q_{\alpha, g}) has an exact closed-form expression: α^=log⁡(p~[g](1−q[g])q[g](1−p~[g]))\hat{\alpha} = \log \left( \frac{\tilde{p}[g](1 - q[g])}{q[g](1 - \tilde{p}[g])} \right) where p~[g]=∑ωp~(ω)g(ω)\tilde{p}[g] = \sum_\omega \tilde{p}(\omega) g(\omega) is the empirical expectation and q[g]=∑ωq(ω)g(ω)q[g] = \sum_\omega q(\omega) g(\omega) is the expectation under the current field model qq.

    At this value α^\hat{\alpha}, the maximum gain Gq(g)=Gq(α^,g)G_q(g) = G_q(\hat{\alpha}, g) equals the Kullback-Leibler divergence between two Bernoulli random variables BpB_p and BqB_q with parameters p~[g]\tilde{p}[g] and q[g]q[g]: Gq(g)=D(Bp∥Bq)=p~[g]log⁡p~[g]q[g]+(1−p~[g])log⁡1−p~[g]1−q[g]G_q(g) = D(B_p \| B_q) = \tilde{p}[g] \log \frac{\tilde{p}[g]}{q[g]} + (1 - \tilde{p}[g]) \log \frac{1 - \tilde{p}[g]}{1 - q[g]}

  7. Knowl 7 — Polynomial Formulation for Improved Iterative Scaling Updates

    model/method

    In the Improved Iterative Scaling algorithm for non-negative integer-valued or tied binary features, computing the parameter update γi(k)\gamma_i^{(k)} for feature fif_i at iteration kk reduces to finding the root of a single-variable polynomial.

    Let M=max⁡ω∈Ωf#(ω)M = \max_{\omega \in \Omega} f_\#(\omega) where f#(ω)=∑j=0nfj(ω)f_\#(\omega) = \sum_{j=0}^n f_j(\omega). Setting βi=exp⁡(γi(k))\beta_i = \exp\left(\gamma_i^{(k)}\right), the equation q(k)[fieγi(k)f#]=p~[fi]q^{(k)}[f_i e^{\gamma_i^{(k)} f_\#}] = \tilde{p}[f_i] becomes: ∑m=0Mam,i(k)βim=0\sum_{m=0}^M a_{m,i}^{(k)} \beta_i^m = 0 where the coefficients are given by: am,i(k)={∑ω∈Ωq(k)(ω)fi(ω)δ(m,f#(ω))for m>0−p~[fi]for m=0a_{m,i}^{(k)} = \begin{cases} \sum_{\omega \in \Omega} q^{(k)}(\omega) f_i(\omega) \delta(m, f_\#(\omega)) & \text{for } m > 0 \\ -\tilde{p}[f_i] & \text{for } m = 0 \end{cases} where δ(m,f#(ω))=1\delta(m, f_\#(\omega)) = 1 if f#(ω)=mf_\#(\omega) = m and 00 otherwise.

    Since am,i(k)≥0a_{m,i}^{(k)} \ge 0 for all m>0m > 0 and a0,i(k)≤0a_{0,i}^{(k)} \le 0, the equation has a unique positive root βi>0\beta_i > 0 (provided am,i(k)>0a_{m,i}^{(k)} > 0 for some m>0m > 0), which is solved via Newton's method. When the state space Ω\Omega is large, the coefficients am,i(k)a_{m,i}^{(k)} across all features ii and counts mm are estimated simultaneously using a single Monte Carlo sample generated from q(k)q^{(k)} (e.g., via Gibbs sampling).

  8. Knowl 8 — Random Field Formulation for Word Morphology Induction

    model/method

    Word spellings are modeled as configurations on graphs to discover morphological structure. The space of ASCII strings Ω=A∗\Omega = \mathcal{A}^* is decomposed by string length ll: p(w)=pl(∣w∣) ps(w∣∣w∣)p(w) = p_l(|w|) \, p_s(w \mid |w|) where plp_l is a fixed empirical length distribution and ps(w∣l)p_s(w \mid l) is a random field on the space Ωl\Omega_l of strings of length ll.

    The graph for Ωl\Omega_l is structured as an (l+1)(l+1)-gon with ll character positions and one fixed vertex labeled with length ⟨l⟩\langle l \rangle. The model incorporates:

    1. Tied parameters across positions (homogeneity): A substring feature has the same weight λ\lambda regardless of where it appears in the string: fs(w)=1f_s(w) = 1 if substring ss appears in ww, and 00 otherwise.
    2. Tied parameters across lengths: Feature weights λ\lambda are shared across fields of different lengths ll.
    3. Atomic features: Individual ASCII characters cc, boundary and length markers (⟨\langle for start, ⟩\rangle for end, ⟨l⟩\langle l \rangle for exact length ll, and 7+7+ for length ≥7\ge 7), and character class macros ([a-z][\text{a-z}], [A-Z][\text{A-Z}], [0−9][0-9], [@-&]).

    Candidate features are formed by prepending or appending an atomic feature to an active substring feature. Because ∣Ωl∣=100l|\Omega_l| = 100^l is intractable to sum over, candidate gains Gq(g)G_q(g) and parameter scaling coefficients am,i(k)a_{m,i}^{(k)} are estimated using 10,000 strings generated per iteration via Gibbs sampling.

  9. Knowl 9 — Empirical Features and Weights in Word Morphology Induction

    empirical result

    Applying random field induction to the vocabulary distribution of a 365-million-word corpus (restricted to the top 100,000 spellings with infrequent words mapped to ***) transitions the model from producing random ASCII strings to structured, English-like word spellings.

    The first 10 induced features and their multiplicative weights β=eλ\beta = e^\lambda are:

    Feature [a-z] [a-z][a-z] e [a-z]>1 t
    Weight β=eλ\beta = e^\lambda 6.64 6.07 3.47 0.04 2.75
    Feature * z q j x
    Weight β=eλ\beta = e^\lambda 17.25 0.02 0.03 0.02 0.06

    Weights β>1\beta > 1 promote favored patterns, whereas β<1\beta < 1 penalize rare configurations (for instance, isolated single-letter lowercase words [a-z]>1 have β=0.04\beta = 0.04, and rare characters z, q, j, x receive weights ≤0.06\le 0.06).

    At subsequent induction milestones:

    • 100 features: Captures high-frequency words and common affixes, including ,>1 (β=31.30\beta=31.30), . (β=22.36\beta=22.36), 3<the (β=11.05\beta=11.05), tion (β=5.89\beta=5.89), ed> (β=4.20\beta=4.20), ion>7+ (β=4.83\beta=4.83).
    • 1000 features: Captures digit clustering [0-9][0-9] (β=9382.93\beta=9382.93) alongside single digit suppression [0-9] (β=0.038\beta=0.038), case transition suppression [a-z][A-Z] (β=0.003\beta=0.003), and suffixes al>7+ (β=94.19\beta=94.19), ing> (β=16.18\beta=16.18), qu (β=526.42\beta=526.42).
    • 1500 features: Discovers macro formats such as \[@-&]{ (β=913.22\beta=913.22) and {}> (β=120.56\beta=120.56), alongside prefixes and complex affixes like 7+<inte (β=4.23\beta=4.23) and ons>7+ (β=4.49\beta=4.49).
  10. Knowl 10 — Relationship Between Random Field Feature Induction and Decision Tree Induction

    theoretical result

    Random field feature induction and top-down decision tree growing both incrementally refine features to maximize information gain (minimizing Kullback-Leibler divergence or conditional entropy), but differ in feature support:

    1. Disjoint support in decision trees: A decision tree node split on predicate aa creates two conjunctions a∧fna \wedge f_n and (¬a)∧fn(\neg a) \wedge f_n with disjoint support. In a 2-parameter exponential model: qλ,λ′(y∣x)=1Zq(y∣x)exp⁡(λ(a(x,y)∧fn(x,y))+λ′(¬a(x,y)∧fn(x,y)))q_{\lambda, \lambda'}(y \mid x) = \frac{1}{Z} q(y \mid x) \exp\left( \lambda (a(x,y) \wedge f_n(x,y)) + \lambda' (\neg a(x,y) \wedge f_n(x,y)) \right) the total gain decomposes additively into independent 1D gains: Gq(a∧fn,(¬a)∧fn)=Gq(a∧fn)+Gq((¬a)∧fn)G_q(a \wedge f_n, (\neg a) \wedge f_n) = G_q(a \wedge f_n) + G_q((\neg a) \wedge f_n) Maximum likelihood fitting of these parameters exactly recovers the leaf empirical distribution.

    2. Overlapping support in random fields: Random field feature induction constructs features whose supports overlap on the graph. Because features overlap, adding a new feature changes the expectations of existing active features, requiring global parameter re-estimation (via Improved Iterative Scaling) rather than independent local updates.

Coverage note — None was omitted; all major theoretical contributions (duality, IIS convergence, gain formulation), algorithms, and empirical word morphology results were fully captured.

References

  1. 1.M. Almeida and B. Gidas, “A variational method for estimating the parameters of MRF from complete or incomplete data,” The Annals of Applied Probability, 3, No. 1, 103–136, 1993.
  2. 2.N. Balram and J. Moura, “Noncausal Gauss Markov random fields: Parameter structure and estimation,” IEEE Transactions on Information Theory 39, No. 4, 1333–1343, July, 1993.
  3. 3.A. Berger, V. Della Pietra, and S. Della Pietra, “A maximum entropy approach to natural language processing,” Computational Linguistics, 22, No. 1, 39–71, 1996.
  4. 4.L. Breiman, J. Friedman, R. Olshen, and C. Stone, Classification and Regression Trees, Wadsworth, Belmont, 1984.
  5. 5.D. Brown, “A note on approximations to discrete probability distributions,” Information and Control 2, 386–392 (1959).
  6. 6.P. Brown, V. Della Pietra, P. de Souza, J. Lai, and R. Mercer, “Class-based n-gram models of natural language,” Computational Linguistics 18, No. 4, 467–479, 1992.
  7. 7.P. F. Brown, J. Cocke, V. Della-Pietra, S. Della-Pietra, J. D. Lafferty, R. L. Mercer, and P. S. Roossin. “A statistical approach to machine translation,” Computational Linguistics, 16(2):79–85, 1990.
  8. 8.B. Chalmond, “An iterative Gibbsian technique for reconstruction of m-ary images,” Pattern Recognition, 22 No. 6, 747–761, 1989.
  9. 9.I. Csiszár, “I-Divergence geometry of probability distributions and minimization problems,” The Annals of Probability, 3, No. 1, 146–158, 1975.
  10. 10.I. Csiszár, “A geometric interpretation of Darroch and Ratcliff’s generalized iterative scaling,” The Annals of Statistics, 17, No. 3, 1409–1413, 1989.
  11. 11.I. Csiszár and G. Tusnády, “Information geometry and alternating minimization procedures,” Statistics & Decisions, Supplement Issue, 1, 205–237, 1984.
  12. 12.J. Darroch and D. Ratcliff, “Generalized iterative scaling for log-linear models,” Ann. Math. Statist. 43, 1470–1480, 1972.
  13. 13.A.P. Dempster, N.M. Laird, and D.B. Rubin, “Maximum likelihood from incomplete data via the EM algorithm,” Journal of the Royal Statistical Society 39, No. B, 1–38, 1977.
  14. 14.P. Diaconis and D. Ylvisaker, “Conjugate priors for exponential families,” Ann. Statist. 7, 269–281, 1979.
  15. 15.P. Ferrari, A. Frigessi and R. Schonmann, “Convergence of some partially parallel Gibbs samplers with annealing,” The Annals of Applied Probability, 3 No. 1, 137–152, 1993.
  16. 16.A. Frigessi, C. Hwang, and L. Younes, “Optimal spectral structure of reversible stochastic matrices, Monte Carlo methods and the simulation of Markov random fields,” The Annals of Applied Probability, 2, No. 3, 610–628, 1992.
  17. 17.S. Geman and D. Geman, “Stochastic relaxation, Gibbs distributions, and the Bayesian restoration of images,” IEEE Trans. Pattern Anal. Machine Intell. 6, 721–741, 1984.
  18. 18.C. Geyer and E. Thomson, “Constrained Monte Carlo maximum likelihood for dependent data (with discussion)”, J. Royal Stat. Soc. B-54, 657–699, 1992.
  19. 19.E. T. Jaynes, Papers on Probability, Statistics, and Statistical Physics, R. Rosenkrantz, ed., D. Reidel Publishing Co., Dordrecht–Holland, 1983.
  20. 20.J. Lafferty and R. Mercer, “Automatic word classification using features of spellings,” Proceedings of the 9th Annual Conference of the University of Waterloo Centre for the New OED and Text Research, Oxford University Press, Oxford, England, 1993.
  21. 21.G. Potamianos and J. Goutsias, “Partition function estimation of Gibbs random field images using Monte Carlo simulations,” IEEE Transactions on Information Theory 39, No. 4, 1322–1331, July, 1993.
  22. 22.L. Younes, “Estimation and annealing for Gibbsian fields,” Ann. Inst. H. Poincaré Probab. Statist. 24 No. 2, 269–294, 1988.

Citation

MLA
Pietra, S. D., et al. “Inducing Features of Random Fields”. arXiv, 1995, http://arxiv.org/abs/cmp-lg/9506014v1.
APA
Pietra, S. D., Pietra, V. D., & Lafferty, J. (1995). Inducing Features of Random Fields. arXiv. http://arxiv.org/abs/cmp-lg/9506014v1
Chicago
Pietra, S. D., V. D. Pietra, and J. Lafferty. 1995. “Inducing Features of Random Fields”. arXiv. http://arxiv.org/abs/cmp-lg/9506014v1.
Harvard
Pietra, S.D., Pietra, V.D. and Lafferty, J. (1995) “Inducing Features of Random Fields”, arXiv [Preprint]. Available at: http://arxiv.org/abs/cmp-lg/9506014v1.
Vancouver
1. Pietra SD, Pietra VD, Lafferty J (1995) Inducing Features of Random Fields. arXiv

BibTeX

@article{pietra1995inducing,
  title = {Inducing Features of Random Fields},
  author = {Pietra, S. Della and Pietra, V. Della and Lafferty, J.},
  year = {1995},
  journal = {arXiv},
  url = {http://arxiv.org/abs/cmp-lg/9506014v1},
  eprint = {cmp-lg/9506014}
}
Metadata:arXiv

Access the Paper

This paper is available from its original source. Click below to access the PDF.

Open PDF