Download Lecture 20

Survey

Thank you for your participation!

* Your assessment is very important for improving the work of artificial intelligence, which forms the content of this project

Document related concepts

Embodied language processing wikipedia , lookup

Artificial intelligence in video games wikipedia , lookup

Technological singularity wikipedia , lookup

Embodied cognitive science wikipedia , lookup

Philosophy of artificial intelligence wikipedia , lookup

Ethics of artificial intelligence wikipedia , lookup

History of artificial intelligence wikipedia , lookup

Intelligence explosion wikipedia , lookup

Existential risk from artificial general intelligence wikipedia , lookup

Transcript

Universal Quantification (ï¢)
"For all"
î
E.g., x can be 5 possible objects, so equivalent
is asserting following sentences are true:
King(Richard) ï Person(Richard)
King(John) ï Person(John)
King(LeftLeg(Richard)) ï Person(LeftLeg(Richard))
King(LeftLeg(John)) ï Person(LeftLeg(John))
King(TheCrown) ï Person(TheCrown)
î
Second one is true since both sides are true.
Rest are vacuously true with false premises.
Thursday, March 22
CS 430 Artificial Intelligence - Lecture 20
28