Skip to content

Instantly share code, notes, and snippets.

@bvssvni

bvssvni/unhyping-ai-jokes.md

Last active October 13, 2017 15:57
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save bvssvni/b695ea817d0bd13e6528d3aeca50e03b to your computer and use it in GitHub Desktop.
Save bvssvni/b695ea817d0bd13e6528d3aeca50e03b to your computer and use it in GitHub Desktop.
Download ZIP
Unhyping AI Jokes
Raw
unhyping-ai-jokes.md

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?
Computer: Yes!
Operator: Sigh...

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: <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!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment