This work describes the application of the Baars-Franklin Architecture (BFA), an artificial consciousness approach, to synthesize a mind (a control system) for an artificial creature. The BFA was reported in the literature as a successful control system to different kinds of agents: CMattie, IDA and CTS. In this paper, BFA is for the first time applied for controlling an artificial (virtual) cr...

The mobile robot group at MIT has been building robots using the subsumption architecture. This methodology decomposes a control system into a set of loosely coupled task achieving behaviors. In this paper we show how the constraints inherent in this approach naturally lead to a very simple computational design. To demonstrate its effectiveness we have built a new, small, fast robot based on th...

We will consider four cardinal characteristics of the continuum, a, b, d, s and discuss how their study has prompted the development of some of the most powerful forcing techniques: creature forcing, coherent systems of iterations, Shelah’s method of template iterations and the method of boolean ultrapowers.