Bayesian reasoning, no temporal logic
Operator: Computer, the door is open, the door is closed. Is the door closed?
Computer: I don't know!
Monotonic solver, no temporal logic, no assumption checking
Operator: Computer, the door is open, the door is closed. Is the door open?
Operator: Computer, is the door closed?
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?
<SYSTEM ERROR: STACK OVERFLOW>
Able to fomulate new concept, not perfect theorem prover
Operator: Computer, who put the money under the pillow?
Computer: The tooth fairy, of course!