Commonsense knowledge of large-scale space (the cognitive map) includes several different types of knowledge: of sensorimotor, topological, and metrical spatial relationships. Sensorimotor knowledge is defined as that knowledge which is necessary to reconstruct a route from memory after travel along that route in a large-scale environment. A representation for route knowledge is proposed with s...

In a proof of partial knowledge, introduced by Cramer, Damgard and Schoenmakers (CRYPTO 1994), prover knowing witnesses for some k-subset n given public statements can convince the verifier this claim without revealing which k-subset. Their solution combines \(\varSigma \)-protocol theory linear secret sharing, achieves communication complexity general k, n. Especially “one-out-of-n” case \(k=1...