Questions about HAL

Why is HAL two-dimensional?

While our existing model is two-dimensional, we hope it is obvious how the model scales to higher dimensions. We have even developed three-dimensional, computation-universal reversible cellular automata specifically designed for this application.

To simply address the question of why we are using a two-dimensional model, we are targetting hardware that is currently two-dimensional and we need locality considerations in our model to directly match the locality-considerations of the target hardware.

Developing a three-dimensional model and implementing it on essentially two-dimensional hardware would force components in one of the dimensions to become arbitrarily distant from their "neighbours" as the size of the automata increases. This would defeat the purpose of using a local model in the first place.

If a three-dimensional model were to be used it would make sense to strongly restrict the size of one of the dimensions. As one road-map for the development of silicon-based computational substrates envisages the third dimension becoming employed gradually through a build-up of conducting layers, such a model may even eventually make reasonable sense.

However for the moment, FPGAs are thoroughly two-dimensional. While we look forward to the development of three-dimensional computing substrates as much as anyone, and believe that the use of reversible logic of the type we are advocating will assist the heat dissipation issues raised by such an architecture, until it exists we will continue to work primarily with two-dimensional models.

Why doesn't HAL employ neural nets?

Neural nets appear to be in fashion.

While it would be possible to use cellular neural nets as a target substrate for HAL, and it is possible to use HAL as a genetic substrate for breeding neural nets in a separate medium, neural nets do not appear to be appropriate for most of the target problems we're considering. In particular, although the best players of the Game of Go in the world use neural nets, a pure neural net approach seems to have very severe weaknesses when it comes to reading out tactical sequences. We doubt an intelligent Go player design would be purely neural-net based.

Neural nets do not appear to be a particularly good match for the target hardware either - which typically resembles a network of boolean logic gates more than a network of neurons.

HAL constitutes an attempt to develop computational devices by mimicing the fundamental processes of living organisms. It concentrates firmly on the genetics and development of living organisms. From the perspective of the creation of living forms, neural nets don't appear to be relevant in the slightest.

HAL is fundamentally a low-level approach. If HAL finds itself faced with problems for which a connectionist approach is most suited, then we expect it to evolve the relevant apparatus - and expect that the resulting apparatus will prove more capable than if it had been designed by hand.

Evolving a connectionist representation will undoubtedly be a time-consuming process, but it will only need to be performed once - and allowing this aspect of the design to be fine-tuned by evolutionary techniques should hopefully allow HAL to address a wider range of target problems, than if a neural representation was hard-wired into the design.


Index | HAL | HALcell | Parallel | Hardware | Future | Problem | Limits | Automata | Questions | Links
tim@tt1.org | http://www.alife.co.uk/