KNOWLEDGE REPRESENTATION. K nowledge Representation (KR), as the name implies, is the theory and practice of representing knowledge for computer systems . By that we mean concise representations for knowledge in a form that’s directly manipulatable by software .
P, (P->Q), infer Q
if “the light is on” then “the switch is on”
P, (P->Q), not Q, therefore not P.
((P->Q) ^ (Q->R), therefore (P->R)
Major Premise (P): All men are mortal.
Minor Premise (Q): Socrates is a man.
Conclusion: Socrates is mortal.
The ground is wet.
marc, elise, bicycle, scooter, the-stranger,
owns, rides, knows,
person, sunny, book, two-wheeled
Person( marc )
Person( elise )
Knows( marc, elise )
Knows( elise, marc )
- Elise owns a book called The
Knows( marc, sister_of( sean ) )
-Marc knows Sean’s sister.
- Marc and Elise know one another.
- Marc knows Elise, and Elise does not know Marc.
- Marc rides a scooter or Marc rides a bicycle.
- If Marc knows Elise, then Elise knows Marc.
- Marc knows Elise if Elise knows Marc.
(a ⇒ b) ∧ (b ⇒ a)
Knows( x, elise ) ⇒ Person( x )
- If x Knows Elise, then x is a Person.
- There exists x, that is a Person.
- For all people, there exists someone that Knows Marc or Elise.
- For any x, if there is someone x that Knows Elise, then x is a Person.
X = socrates
<p>John Doe Article A</p>
<p>Jane Doe Article B</p>