Ch. 8

1
Ch. 8 First Order Logic

• Supplemental slides for CSE 327
• Prof. Jeff Heflin

2
Syntax of First-Order Logic

• Sentence ? AtomicSentence (Sentence
  Connective Sentence) Quantifier Variable,
  Sentence ? Sentence
• AtomicSentence ? Predicate(Term,) Term
  Term
• Term ? Function(Term,) Constant Variable
• Connective ? ? ? ? ?
• Quantifier ? ? ?

From Figure 8.3, p. 247
3
Kinship Domain

• A1 ?x Male(x) ? ?Female(x)
• A2 ?w,h Husband(h,w) ? Male(h) ? Spouse(h,w)
• A3 ?x,y Spouse(x,y) ? Spouse(y,x)
• A4 ?p,c Parent(p,c) ? Child(c,p)
• A5 ?x,y Spouse(x,y) ? Spouse(y,x)
• A6 ?x,y Parent(x,y) ? Ancestor(x,y)
• A7 ?x,y,z Ancestor(x,y) ? Parent(y,z) ?
  Ancestor(x,z)
• A8 ? x,y Sibling(x,y) ? x?y ? ?p Parent(p,x) ?
  Parent(p,y)

4
Knowledge-Based Agent

• function KB-AGENT(percept) returns an
  action static KB, counter t0
• TELL(KB, MAKE-PERCEPT-SENTENCE(percept,
  t)) action ? ASK(KB, MAKE-ACTION-QUERY(t)) TELL(
  KB, MAKE-ACTION-SENTENCE(action, t)) t ? t
  1 return action
• From Figure 7.1, p. 196