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?
Computer: Yes!
Operator: Computer, is the door closed?