1 Introduction
Knowledge Representation based approaches to AI involve encoding knowledge in a logical language and performing logical inference to derive conclusions. Such systems have certain highly desirable properties.

They are teachable
. We can add both specific facts and general axioms/heuristics concisely. E.g., we can simply tell such a system that every human has a biological mother, without having to feed it a large number of examples, in the hope that a learning system appropriately generalizes

There is a well defined notion of entailment, that allows us to draw conclusions from the general axioms we add to the system
These systems, which are usually based on some form of first order logic, are very good for writing axioms to represent (and reason about) complex domains. These axioms are typically hand written, because of which building a broad artificial intelligence using this approach has proven to be rather daunting
[Lenat et al.1990]. Completely automating the construction of these systems using learning has also proven difficult. Complex first order statements are extremely hard to automatically learn.The strengths of Knowledge Representation based system come from the origins of these systems, namely, in mathematical logic. Unfortunately, these origins also bring some unwanted baggage. Mathematical logic was developed for the purpose of stating mathematical truths in a manner where the terms in these statements have precise and unambiguous meaning. Most axioms we add to our knowledge based systems are transliterations of natural language utterances. And as with all such utterances, despite our best attempts, terms and axioms in knowledge based systems end up having many of the characteristics of natural language. In particular, our experiences with systems such as Cyc [Lenat et al.1990] and Schema.org [Guha2011] have highlighted the fluid and ambiguous nature of linguistic terms. Not just concepts like ’chair’, but even terms like ’person’ afford a wide range of meanings, something difficult for logic based systems to handle.
Recent work on distributed representations [[Socher et al.2012], [Bowman, Potts, and Manning2014], [Bordes et al.2011], [Bordes et al.2014], [Le and Mikolov2014]] has explored the use of embeddings as a representation tool. These approaches typically ’learn an embedding’, which maps terms and statements in a knowledge base (such as Freebase [Bollacker et al.2008]) to points in an Ndimensional vector space. Vectors between points can then be interpreted as relations between the terms. A very attractive property of these distributed representations is the fact that they are learnt from a set of examples. Further, the continuous nature of the underlying vector space also gives hope for coping with the fluidity encountered in the meaning of terms.
But this benefit comes at the cost of not being able to do some of the things that are relatively trivial for logic based systems.
2 Goals & Outline of Approach
We would like to have systems that are largely learnt, which we can also teach. In this work we take the first steps towards building a representation system that combines the strengths of logical and distributed representations. The first step is to create a system that has a common representation for both embeddings and logical sentences. The representation needs to be common not just in syntax, but also in terms of semantics, i.e., in what operations can be carried out on them.
Model theory [Enderton2001] is the mathematical foundation for logic. It tells us what logical sentences may be construed to mean, which operations make sense and what can be said to follow from a set of statements in a knowledge base. We believe that an essential step in bringing logic and distributed representations closer is to create a model theory based on embeddings.
Rather than look at the geometric properties of learnt embeddings as validation of the system having a semantic understanding, we take the concept of an embedding as the starting point and try to build a model theory out of it.
Our model theory is structurally similar to the standard Tarskian semantics for first order logic. Tarskian semantics is based on the concept of an interpretation for a set of statements in a language. An interpretation maps symbols in the language into objects and relations (ntuples of these objects). In contrast, our interpretations map symbols in the language to points and vectors in an Ndimensional space. Intuitively, a good/correct embedding maps to a single satisfying interpretation. We define satisfaction and entailment as in Tarskian semantics.
This small change (from objects to points) in Tarskian semantics is not enough to reflect object similarity as captured by the geometry of embeddings. To recapture this, we introduce a class of preferred models, where the relative geometric location of objects reflects their similarity. We argue that such models, where similar objects are spatially closer, better capture the generalizations implicit in the data. We present an approach to simple inference in these preferred models.
Finally we revisit some old thorny problems that come up in representing common sense knowledge and discuss how a vector space approach might help.
This paper is an early exploration along this direction. Much work needs to be done before we can actually build systems based on the approaches described here.
3 Model Theory
3.1 Recap of Tarskian Semantics
For the sake of simplicity, without loss of generality, we restrict our attention to logical languages with no function symbols, no free variables and with only binary predicates.
Tarskian semantics for first order logic is based on the concept of an interpretation for a set of logical statements in a language. The interpretation is defined using a model. A model for a first order language assigns an interpretation to all the nonlogical constants in that language. More specifically,

A model specifies a set of objects (, , …), the domain of discourse.

To each term in the language, assigns an object in in

Each (binary) predicate symbol is assigned to a relation over
A sentence in the language evaluates to or given a model if

Atomic formulas: A formula evaluates to iff

Formulas with logical connectives, such as , are evaluated according to propositional truth tables

is if there exists some element of , for which is true.

is true if is true for every element .
If a sentence evaluates to under a given interpretation , one says that M satisfied ; this is denoted . A sentence is satisfiable if there is some interpretation/model under which it is . A formula is logically valid (or simply valid) if it is in every interpretation.
A formula is a logical consequence of a formula if every interpretation that makes also makes . In this case one says that is logically implied by . It is this notion of logical implication that allows us to do inference in knowledge based systems.
3.2 Embeddings based Semantics
We now describe how Tarskian semantics can be modified to be based on a vector space model. We do this by using a different kind of model, wherein the domain is a set of points in an dimensional vector space of reals. More specifically,

A model specifies an dimensional vector space.

To each term in the language, assigns a point in this vector space

Each (binary) predicate symbol is assigned to a unit vector in dimensions of the vector space.^{1}^{1}1If is dimensions, then if and , will have to be equal to . Hence is in a subspace.
evaluates to iff the projection of the vector
from to onto the K dimensions of
has the same direction as .
The definitions for evaluating formulas with logical constants, formulas with quantifiers, of satisfaction and logical entailment are the same as with Tarskian semantics.
Each of our models is also a Tarskian model in a fashion that is consistent with the Tarskian definition of satisfaction, entailment, etc. Consequently, the soundness of classical inference rules (modus ponens, resolution, etc.) carry over.
This kind of model corresponds closely to the kind of embeddings (TransE) described in [Bordes et al.2014]. In that work, the authors present a mechanism for computing mappings from terms to points in the vector space that is maximally consistent with and predictive of a database of atomic formulas such as those in Freebase. [Wang et al.2014] solve the problem of representing one to many relations in their TransH model. In [Le and Mikolov2014] the authors use a similar approach to map words (Paris, France, Rome, Italy, etc.) into a vector space so as to maximize skipgram recall. The vectors between pairs such as (Paris, France) tend out to be parallel to those between (Rome, Italy), i.e., are ’semantically’ meaningful.
We have taken this as a starting point, but instead of treating such embeddings, where terms/words map to points in an Ndimensional vector space and relations map to vectors, as the target of a learning function, we have used them as the starting point for a model theory.
4 Spatial aspects of models
We have simply mapped objects to points in a real space. By itself, this does not solve any of the issues faced by purely symbol representations. The real benefits can come only when we exploit the fact that this is in a ’space’ and associate meaning with the absolute/relative locations of objects beyond associating relations with vectors.
4.1 Aggregate/Approximate models
Certain concepts (e.g., the number one) will have a fairly crisp meaning, whereas certain other concepts (e.g., chair), can have a rather broad/vague/approximate meaning. Systems based on logic have found it very difficult to capture this. We introduce Aggregate and Approximate models, two alternatives that both use continuous nature of the embedding space offers the hope of being able to capture this.
4.1.1 Approximate Models
The simplest way to incorporate approximateness into our model is to allow some variation in the vector corresponding to each relation, which in turn allows for some variation in the location of of each object.
4.1.2 Aggregate Models
Consider the set of points across different models corresponding to a particular term. Consider a cluster of these points (from a subset of the satisfying models) which are sufficiently close to each other. This cluster or cloud of points (each of which is in a different model), corresponds to
aggregate of possible interpretations of the term. We can extend this approach for all the (atomic) terms in the language. We pick a subset of models where every term forms such a cluster. The set of clusters and the vectors between them gives us the aggregate model. Note that in vectors corresponding to relations will also allow amount of variation. If a model satisfies the KB, any linear transform of the model will also satisfy the KB. In order to keep these transforms from taking over, no two models that form an aggregate should be linear transforms of each other.
In both aggregate and approximate models, each object corresponds to a cloud in the Ndimensional space and the relation between objects is captured by their approximate relative positions. The size of the cloud corresponds to the vagueness/approximateness (i.e., range of possible meanings) of the concept.
4.2 Learning and object locations
Learnt embeddings, such as those reported in [Wang et al.2014] and [Bordes et al.2014] have the property that similar objects tend to be spatially closer to each other than to objects that are disimilar. This is a result of the learning/optimization mechanisms by which embeddings are created. Given a KB of ground atomic facts (triples), these systems are trained on a subset of these triples. The output of the training is a set of locations for the objects. The goal of the learning is to correctly predict the other triples in the KB. In other words, even though the KB itself does not contain general axioms, the learning discovers the implicit, general axioms governing the facts of the domain. These general axioms are not directly represented in the learnt embedding, but are reflected in the placement of the objects in the vector space.
We now try to explain why embeddings where similar objects are closer tend to capture generalizations in the domain and should hence be preferred. Imagine that there are a set of axioms that capture the generalities in the domain. They imply some subset of the triples in the KB from the other triples. The goal of the learning algorithm is to ’discover’ the implications of these axioms.
We make our case on a class of axioms that is simple, but very important.
Consider axioms of the form
where P, Q are predicates and A, B are constants. Though this axiom
template looks very simple, in systems like [Lenat et al.1990], a significant
fraction of axioms follow this pattern. Of note are inheritance rules, which have the form
In our model, P and Q map to vectors and in some subspace of the Ndimensional space. Given two objects and such that and , and will share the same coordinates in the subspace of and differ in their coordinates in the other dimensions. It is easy to see that the likelihood of and also being true (in the learnt embedding) is higher if and are close in these other dimensions as well. In other words, if the learning system is given a some of triples of the form and some of the form , where there is an overlap in the , by placing these , which share the similarity that is true of them, close together, it increases the likelihood of correctly predicting .
Applying this observation to inheritance rules, since objects typically inherit some properties by virtue of what kind of object they are, it follows that objects of the same type are likely to be found close to each other in the embedding space.
In other words, of the set all satisfying models, the subset of models in which objects of the same type (or more generally, similar objects) are placed together, better capture the generalities implicit in the data.
Coming back to our model theory, unfortunately, though we map terms to points in our models, there is no similarity metric that is built into this mapping. Consequently, even in satisfying models, points that are extremely close may denote extremely dissimilar terms. Further, in order to determine if something is logically entailed by a knowledge base, we have to consider the set of all models that satisfy the knowledge base. Different satisfying models might have completely different coordinates for the same term and different vectors for the same predicate.
We now introduce a class of preferred models which try to capture this intuition.
4.3 Preferred Models
Typically, in machine learning based approaches, a number of examples are used to try construct a single model or a probability distribution over models. There is a tradeoff between precision and recall, where we tolerate some number of wrong predictions in order to increase the number of correct predictions.
Logical approaches on the other hand, try to get the correct predictions (i.e., completeness) while avoiding wrong predictions (i.e., soundness). To do this they deal not with a single ’best’ model, but with the set of all satisfying models. The only statements that follow are those that are true in these models. For example, consider a knowledge base about American history. It will likely contain a symbol like ’AbrahamLincoln’, which the author of the KB to denote the 16th American President. The logical machinery doesn’t care if the satisfying models map it to the President, flying cars, real numbers or just the symbol itself. It will draw a conclusion if the conclusion follows under these interpretations that satisfy the KB. This is at the heart of soundness in logical inference.
Research in nonmonotonic reasoning has explored relaxing the heavy constraint of only drawing conclusions true in all satisfying models. For example, circumscription [[Hintikka1988], [McCarthy1980]] allows conclusions that are true in only a preferred subset of satisfying models, those that minimize the extent of certain predicates (typically the ’ab’ predicates). Such systems sacrifice soundness for the sake of nonmonotonicity.
We follow a similar path, introducing a class of preferred models that sacrifice soundness for the sake of learning generalizations implicit in the data. We made the case earlier that models where object similarity is proportional to object distance better capture generalities in the domain.
We use similarity to define a set of preferred models.
Assume that we have a similarity
function which measures the similarity between two
terms and evaluates to a number between 0 and 1, with
being closer to 1 if and are more similar. We want models
where the distance between the points denoting and is
correlated (inversely) to . When this is the case for
every pair of points, we have model where the geometry has
significance. Let be the distance
between the points that and map to. Then when
for every pair of terms, the proximity in the model correlates with
similarity between the objects denoted by the terms. There are
multiple ways of picking such models. For example, we can
minimize
where L is the number of terms This measures the average disparity between the similarity measure and the distance between (dis)similar objects. The preferred models are those where this average is less than some threshold. Alternately, we can pick all models where a measure such as is less than some threshold for each pair of terms.
4.4 Inference and Learning
As mentioned earlier, since every model in our framework is also Tarskian model and our definition of satisfaction and entailment are the same, every sound proof procedure for first order logic is also sound in our system.
However, we would like inference mechanisms that are cognizant of preferred and aggregate models, i.e., that exploit the geometric structure of our models. Much work needs to be done before we have general purpose inference mechanisms such as resolution, that exploit the geometric properties of preferred models.
One approach to approximate inference, that works for domains with a small number of objects, is as follows. We build a representative ensemble of preferred approximate models. Queries are answered by checking the query against each of the models in the ensemble. If the query formula is true (or is true for the same variable bindings) in every model in the ensemble, it is true. Since the model checking is only done over preferred models, the result should be a combination of learning and logical inference.
4.5 Model Generation
Here, we present a simple approach for generating a set of preferred models that are consistent with a given KB. We map axioms (ground and quantified) in the KB to equations/constraints on the coordinates of objects. Solutions to these constraints correspond to our preferred models. This approach works only for KBs with small enumerable domains.
4.5.1 Ground Atomic Formulas
Each triple gives us the equation:
where is the location in the dimensional subspace corresponding to of the term and is the vector corresponding to and is some measure of the approximateness we want to allow in our relations.
4.5.2 Quantified Axioms
Next, we need a set of equations that capture the quantified axioms. We ’unroll’ the quantifiers by instantiatinting the quantified variables with the terms in the KB and then map the instantiated ground axioms to equations.
We illustrate our approach on a simple class of axioms.
Consider axioms of the form .
We instantiate this axiom for each term . Consider a ground
nonatomic formula such as
maps to
Disjunctions are modelled by addition. So,
is mapped to
More complex formulas can similarly be used to generate more constraints on the locations of the objects.
Finally, we have a set of constraints based on the similarity function , which try to learn generalities implicit in the data by placing similar objects close to each other.
A variety of existing techniques can be used to solve this system of constraints.
5 Further thoughts
The vector space representation very loosely corresponds to a ’semantics’ or ’understanding’ that the system has. In logical systems, the semantics is only in the metatheory of the system (i.e., governs what the system should and should not do), not in the system itself.
Having a set of structures, distinct from the logical statements, that correspond to the system’s understanding gives us a mechanism for dealing with the variation and context sensitivity in the meaning of terms. The same term, in different statements could map to slightly different points in the vector space, thereby having slightly different meanings.
A vector space based model gives us a generative function for objects. Consider a symbol in the language (e.g., ’Chair’). In classical semantics, this symbol denotes a single object in a given model. There be other objects in the model that are very similar, but lacking a term that refers to them. The discreteness of the Tarskian model puts beyond the reach of our language. Attempts to incorporate context into logic ([Guha1991], [Guha and McCarthy2003] allow for different occurances of a term to refer to distinct objects, but do so at the relatively heavy cost of making them completely different. We are hopeful that the vector space model might give us a tool that gives us a more nuanced control over the denotation space. We feel that this is one of the biggest promises of this approach.
6 Conclusions
In this paper, we took some first steps towards building a representation system that combines the benefits of traditional logic based systems and systems based on distributed representations. We sketched the outline of a Model Theory for a logic, along the lines of Tarskian semantics, but based on vector spaces. We introduced a class of preferred models that capture the geometric intuitions behind vector space models and outlined a model checking based approach to answering simple queries.
7 Acknowledgements
I would like to thank Vineet Gupta, Evgeniy Gabrilovich, Kevin Murphy, John Giannandrea and Yoram Singer for feedback and discussions.
References
 [Bollacker et al.2008] Bollacker, K.; Evans, C.; Paritosh, P.; Sturge, T.; and Taylor, J. 2008. Freebase: a collaboratively created graph database for structuring human knowledge. In 2008 ACM SIGMOD, 1247–1250. ACM.
 [Bordes et al.2011] Bordes, A.; Weston, J.; Collobert, R.; Bengio, Y.; et al. 2011. Learning structured embeddings of knowledge bases. In AAAI.
 [Bordes et al.2014] Bordes, A.; Glorot, X.; Weston, J.; and Bengio, Y. 2014. A semantic matching energy function for learning with multirelational data. Machine Learning 94(2):233–259.
 [Bowman, Potts, and Manning2014] Bowman, S. R.; Potts, C.; and Manning, C. D. 2014. Recursive neural networks for learning logical semantics. arXiv preprint arXiv:1406.1827.
 [Enderton2001] Enderton, H. 2001. A mathematical introduction to logic. Academic press.
 [Guha and McCarthy2003] Guha, R., and McCarthy, J. 2003. Varieties of contexts. In Modeling and using context. Springer. 164–177.
 [Guha1991] Guha, R. V. 1991. Contexts: a formalization and some applications, volume 101. Stanford University Stanford, CA.
 [Guha2011] Guha, R. 2011. Introducing schema.org: Search engines come together for a richer web. Google Official Blog.

[Hintikka1988]
Hintikka, J.
1988.
Model minimization—an alternative to circumscription.
Journal of Automated Reasoning
4(1):1–13.  [Le and Mikolov2014] Le, Q. V., and Mikolov, T. 2014. Distributed representations of sentences and documents. arXiv preprint arXiv:1405.4053.
 [Lenat et al.1990] Lenat, D. B.; Guha, R. V.; Pittman, K.; Pratt, D.; and Shepherd, M. 1990. Cyc: toward programs with common sense. CACM 33(8):30–49.
 [McCarthy1980] McCarthy, J. 1980. Circumscription—a form of nonmonotonic reasoning. Artificial intelligence 13(1):27–39.

[Socher et al.2012]
Socher, R.; Huval, B.; Manning, C. D.; and Ng, A. Y.
2012.
Semantic compositionality through recursive matrixvector spaces.
In
Proceedings of the 2012 Joint Conference on Empirical Methods in Natural Language Processing and Computational Natural Language Learning
, 1201–1211. Association for Computational Linguistics.  [Wang et al.2014] Wang, Z.; Zhang, J.; Feng, J.; and Chen, Z. 2014. Knowledge graph embedding by translating on hyperplanes. In Proceedings of the TwentyEighth AAAI Conference on Artificial Intelligence, 1112–1119.
Comments
There are no comments yet.