Bayesian reasoning, no temporal logic
Operator: Computer, the door is open, the door is closed. Is the door closed? Computer: I don't know!
Temporal logic, no Bayesian reasoning
Operator: Computer, the sky is green, the sky is blue. Which color has the sky? Computer: It was green, but changed to blue right now.
Perfect theorem prover, not able to formulate new concepts
Operator: Computer, what is the square root of 2? Computer:
Able to fomulate new concept, not perfect theorem prover
Operator: Computer, who put the money under the pillow? Computer: The tooth fairy, of course!