Corpus ID: 14585127

Efficient Markov Logic Inference for Natural Language Semantics

  title={Efficient Markov Logic Inference for Natural Language Semantics},
  author={Iz Beltagy and R. Mooney},
  booktitle={AAAI Workshop: Statistical Relational Artificial Intelligence},
  • Iz Beltagy, R. Mooney
  • Published in
    AAAI Workshop: Statistical…
  • Computer Science
  • Using Markov logic to integrate logical and distributional information in natural-language semantics results in complex inference problems involving long, complicated formulae. Current inference methods for Markov logic are ineffective on such problems. To address this problem, we propose a new inference algorithm based on SampleSearch that computes probabilities of complete formulae rather than ground atoms. We also introduce a modified closed-world assumption that significantly reduces the… CONTINUE READING
    17 Citations
    Natural Language Semantics using Probabilistic Logic
    • 4
    • PDF
    UTexas: Natural Language Semantics using Distributional Semantics and Probabilistic Logic
    • 20
    • PDF
    Representing Meaning with a Combination of Logical and Distributional Models
    • 48
    • PDF
    Markov Logic Networks for Natural Language Question Answering
    • 18
    • PDF
    On the Proper Treatment of Quantifiers in Probabilistic Logic Semantics
    • 9
    • PDF
    Exploring Markov Logic Networks for Question Answering
    • 30
    • Highly Influenced
    • PDF
    Reasoning about Unmodelled Concepts - Incorporating Class Taxonomies in Probabilistic Relational Models
    • 7
    • PDF


    Montague Meets Markov: Deep Semantics with Probabilistic Logical Form
    • 77
    • PDF
    Markov logic networks
    • 2,595
    • Highly Influential
    • PDF
    Sound and Efficient Inference with Probabilistic and Deterministic Dependencies
    • 289
    • Highly Influential
    • PDF
    Composition in Distributional Models of Semantics
    • 856
    • PDF
    Lifted First-Order Belief Propagation
    • 290
    • Highly Influential
    • PDF
    Probabilistic theorem proving
    • 150
    • Highly Influential
    • PDF
    Towards a Formal Distributional Semantics: Simulating Logical Calculi with Tensors
    • 85
    • PDF
    Wide-Coverage Semantic Analysis with Boxer
    • 297
    • PDF
    The Alchemy System for Statistical Relational AI: User Manual
    • 301
    • Highly Influential
    • PDF