Leinbiz’s Law says that you cannot have separate objects that are indistinguishable from each other. It sounds like that is what you are doing with the 3 brains. That might be a good place to flesh out more to make progress on the question. What do you mean exactly by saying that the three brains are wired up to the same body and are redundant?
Biological meat doesn’t have the needed properties but this is how SpaceX and others avionics control works. Inputs are processed in discrete frames, all computers receive a frame of [last output | sensor_inputs], and implement a function where output = f(frame) : the output depends only on the frame input and all internal state is identical between the 3 computers.
Then, after processing, last_output=majority(output1, output2, output_n)
So even when one of the computers makes a transient fault, it can contribute to the next frame.
Current neural network based systems can be architected to work this way.
The computers are not identical but if your only information about them is their outputs they are indistinguishable from each other.
Leinbiz’s Law says that you cannot have separate objects that are indistinguishable from each other. It sounds like that is what you are doing with the 3 brains. That might be a good place to flesh out more to make progress on the question. What do you mean exactly by saying that the three brains are wired up to the same body and are redundant?
Biological meat doesn’t have the needed properties but this is how SpaceX and others avionics control works. Inputs are processed in discrete frames, all computers receive a frame of [last output | sensor_inputs], and implement a function where output = f(frame) : the output depends only on the frame input and all internal state is identical between the 3 computers.
Then, after processing, last_output=majority(output1, output2, output_n)
So even when one of the computers makes a transient fault, it can contribute to the next frame.
Current neural network based systems can be architected to work this way.
The computers are not identical but if your only information about them is their outputs they are indistinguishable from each other.
I’m thinking of something like this: https://en.wikipedia.org/wiki/Triple_modular_redundancy