Skip to content

Instantly share code, notes, and snippets.

@bvssvni
Created October 11, 2017 19:04
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/687a5bccc1d0c1d4dda99302474d1bbe to your computer and use it in GitHub Desktop.
Save bvssvni/687a5bccc1d0c1d4dda99302474d1bbe to your computer and use it in GitHub Desktop.
Unhyping AI Jokes

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!

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