Spatial problem solving using a generalized N-dimensional binary representation

A spatial transformation, called a functional binary decomposition (FBD), is introduced and shown to produce a powerful semantic representation of the inherent coupling which exists within a spatial domain, of a plan actor within the domain, and of a plan actor action performed by the actor within the domain. The FBD may be generalized to an N-dimensional representation, called a conjunctive FBD (CFBD). The CFBD is shown to possess an efficacious problem-solving form which makes it possible to solve N-dimensional FBD single-actor problems quickly. Because the FDB representation is also provably robust, stochastic functions representing time-varying events such as weather may be subsumed as part of the CFBD representation. The use and the control of these functions are described