A Formal Approach to Linking Logical Form and Vector-Space Lexical Semantics (2013)
First-order logic provides a powerful and flexible mechanism for representing natural language semantics. However, it is an open question of how best to integrate it with uncertain, weighted knowledge, for example regarding word meaning. This paper describes a mapping between predicates of logical form and points in a vector space. This mapping is then used to project distributional inferences to inference rules in logical form. We then describe first steps of an approach that uses this mapping to recast first-order semantics into the probabilistic models that are part of Statistical Relational AI. Specifically, we show how Discourse Representation Structures can be combined with distributional models for word meaning inside a Markov Logic Network and used to successfully perform inferences that take advantage of logical concepts such as negation and factivity as well as weighted information on word meaning in context.
In Computing Meaning, Harry Bunt, Johan Bos, and Stephen Pulman (Eds.), Vol. 4, pp. 27--48, Berlin 2013. Springer.

Dan Garrette Ph.D. Alumni dhg [at] cs utexas edu
Raymond J. Mooney Faculty mooney [at] cs utexas edu