A key issue in social intelligence design is the realization of artifacts that can fluently communicate with people. Thus, we proposed a two-layered approach to enhance a robot’s capacity of involvement and engagement. The upper layer flexibly controls social interaction by dynamic Bayesian networks (DBN) representing social interaction patterns. The lower layer improves the robustness of the system by detecting rhythmic and repetitive gestures. We designed a listener robot that can follow and record humans’ explanation on how to assemble and/or (...) disassemble a bicycle. The implementation of this system is described by assembling the key algorithms presented in this paper. (shrink)

In this paper, we show that Ogasawa’s theorem has a proof in Bishop style constructive mathematics . In 25, we introduced the elementary constructive theory of C*-algebras in BISH, but we did not discuss the powers of positive elements there. © 2011 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim.