Spatial imbeddings for linear and for logic structures

摘要

We introduce the concept of a spatial imbedding of a model structure which contains fields for both spatial and nonspatial elements, and we obtain a necessary and sufficient condition for imbeddability of a model. As shown in examples, the concept of an imbedding allows us to unify traditional MIP modelling techniques with the logic-based approaches of srtificial intelligence.