First-Order Logic and Inference - Berlin Chen
First-Order Logic and Inference - Berlin Chen
First-Order Logic and Inference - Berlin Chen
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Using <strong>First</strong>-<strong>Order</strong> <strong>Logic</strong>• Assertions <strong>and</strong> Queries– Assertions:• Sentences are added to KB using TELL, such sentencesare called assertionsTELL(KB, King(John))TELL(KB, ∀x King(x) ⇒ Person(x) )– Queries• Questions are asked using ASK, which are also called queriesor goalsASK(KB, King(John))return trueASK(KB, Person(John)return trueASK(KB, ∃x Person (x))return {x/John}A substitutionor binding list20