It seems to be that your system is incomplete: it does not fully model what you are claiming it models. To have the system completely describe what you want it to, you must add on additional statements. For example you would need such additional statements as:
loaded(2) → loaded(3)
and
(alive(2) AND ¬loaded(2) )→ alive(3)
These are just as vital parts of the system as the statements that you included, you just arbitrarily left them out. You just as easily could have left out “alive(0)” and claimed that your system does not tell you whether you are alive at time 0. Of course not! You need to include all the parts of the system if you want it to work as a model.
It seems to be that your system is incomplete: it does not fully model what you are claiming it models. To have the system completely describe what you want it to, you must add on additional statements. For example you would need such additional statements as:
loaded(2) → loaded(3)
and
(alive(2) AND ¬loaded(2) )→ alive(3)
These are just as vital parts of the system as the statements that you included, you just arbitrarily left them out. You just as easily could have left out “alive(0)” and claimed that your system does not tell you whether you are alive at time 0. Of course not! You need to include all the parts of the system if you want it to work as a model.
Yeah, that’s kinda the point :-)
You have to include all the parts, but in the real world, you can’t.