CPSC 433 Artificial Intelligence And-Tree Search Modeling Example – Model Elimination CPSC 433 T01 & T02 Andrew Kuipers

CPSC 433 Artificial Intelligence The Formal Model C – the set of all clauses (our formal language) Prob ,me  2 C Solution Definition Erw ,me ((pr, ?), (pr, yes)) if P,  P’  pr, where  = mgu(P,P’) Branching Definition Erw ,me ((pr 0,?),(pr 0,?,pr 1,…,pr n )) where pr 0 = Q  {L 1  …  L n } and pr i = Q  {L 1  …  L n, L i }, 1  i  n and for some j s.t 1  j  n : Erw ,me ((pr j, ?), (pr j, yes))

CPSC 433 Artificial Intelligence A Propositional Example 1) r  p  s 2) s  q 3)  p  s 4)  s 5)  s  p 6) p   r { },?

CPSC 433 Artificial Intelligence A Propositional Example 1) r  p  s 2) s  q 3)  p  s 4)  s 5)  s  p 6) p   r { },?

CPSC 433 Artificial Intelligence A Propositional Example 1) r  p  s 2) s  q 3)  p  s 4)  s 5)  s  p 6) p   r { },?

CPSC 433 Artificial Intelligence A Propositional Example 1) r  p  s 2) s  q 3)  p  s 4)  s 5)  s  p 6) p   r { },? {  p},? {s},? 3

CPSC 433 Artificial Intelligence A Propositional Example 1) r  p  s 2) s  q 3)  p  s 4)  s 5)  s  p 6) p   r { },? {  p},? {s},? 3

CPSC 433 Artificial Intelligence A Propositional Example 1) r  p  s 2) s  q 3)  p  s 4)  s 5)  s  p 6) p   r { },? {  p},? {s},? 3

CPSC 433 Artificial Intelligence A Propositional Example 1) r  p  s 2) s  q 3)  p  s 4)  s 5)  s  p 6) p   r { },? {  p},? {s},? 3 {  p,p},?{  p,  r},? 6

CPSC 433 Artificial Intelligence A Propositional Example 1) r  p  s 2) s  q 3)  p  s 4)  s 5)  s  p 6) p   r { },? {  p},? {s},? 3 {  p,p},?{  p,  r},? 6

CPSC 433 Artificial Intelligence A Propositional Example 1) r  p  s 2) s  q 3)  p  s 4)  s 5)  s  p 6) p   r { },? {  p},? {s},? 3 {  p,p},y{  p,  r},? 6

CPSC 433 Artificial Intelligence A Propositional Example 1) r  p  s 2) s  q 3)  p  s 4)  s 5)  s  p 6) p   r { },? {  p},? {s},? 3 {  p,p},y{  p,  r},? 6

CPSC 433 Artificial Intelligence A Propositional Example 1) r  p  s 2) s  q 3)  p  s 4)  s 5)  s  p 6) p   r { },? {  p},? {s},? 3 {  p,p},y{  p,  r},? 6 {s,  s},? 4

CPSC 433 Artificial Intelligence A Propositional Example 1) r  p  s 2) s  q 3)  p  s 4)  s 5)  s  p 6) p   r { },? {  p},? {s},? 3 {  p,p},y{  p,  r},? 6 {s,  s},y 4

CPSC 433 Artificial Intelligence A Propositional Example 1) r  p  s 2) s  q 3)  p  s 4)  s 5)  s  p 6) p   r { },? {  p},? {s},? 3 {  p,p},y{  p,  r},? 6 {s,  s},y 4

CPSC 433 Artificial Intelligence A Propositional Example 1) r  p  s 2) s  q 3)  p  s 4)  s 5)  s  p 6) p   r { },? {  p},? {s},? 3 {  p,p},y{  p,  r},? 6 {s,  s},y 4 {  p,  r,r},? {  p,  r,p},? {  p,  r,s},? 1

CPSC 433 Artificial Intelligence A Propositional Example 1) r  p  s 2) s  q 3)  p  s 4)  s 5)  s  p 6) p   r { },? {  p},? {s},? 3 {  p,p},y{  p,  r},? 6 {s,  s},y 4 {  p,  r,r},y {  p,  r,p},? {  p,  r,s},? 1

CPSC 433 Artificial Intelligence A Propositional Example 1) r  p  s 2) s  q 3)  p  s 4)  s 5)  s  p 6) p   r { },? {  p},? {s},? 3 {  p,p},y{  p,  r},? 6 {s,  s},y 4 {  p,  r,r},y {  p,  r,p},y {  p,  r,s},? 1

CPSC 433 Artificial Intelligence A Propositional Example 1) r  p  s 2) s  q 3)  p  s 4)  s 5)  s  p 6) p   r { },? {  p},? {s},? {  p,p},y{  p,  r},?{s,  s},y {  p,  r,r},y {  p,  r,p},y {  p,  r,s},?

CPSC 433 Artificial Intelligence A Propositional Example 1) r  p  s 2) s  q 3)  p  s 4)  s 5)  s  p 6) p   r { },? {  p},? {s},? {  p,p},y{  p,  r},?{s,  s},y {  p,  r,r},y {  p,  r,p},y {  p,  r,s},? {  p,  r,s,  s},?

CPSC 433 Artificial Intelligence A Propositional Example 1) r  p  s 2) s  q 3)  p  s 4)  s 5)  s  p 6) p   r { },? {  p},? {s},? {  p,p},y{  p,  r},?{s,  s},y {  p,  r,r},y {  p,  r,p},y {  p,  r,s},? {  p,  r,s,  s},y

CPSC 433 Artificial Intelligence A Propositional Example 1) r  p  s 2) s  q 3)  p  s 4)  s 5)  s  p 6) p   r { },? {  p},? {s},? {  p,p},y{  p,  r},?{s,  s},y {  p,  r,r},y {  p,  r,p},y {  p,  r,s},? {  p,  r,s,  s},y search complete!

CPSC 433 Artificial Intelligence A First-Order Example 1)  P(x)   Q(y)   R(x) 2) P(a) 3) P(z)   Q(z) 4) Q(a) 5) Q(b) 6) R(b) { }, ?  = { }

CPSC 433 Artificial Intelligence A First-Order Example 1)  P(x)   Q(y)   R(x) 2) P(a) 3) P(z)   Q(z) 4) Q(a) 5) Q(b) 6) R(b)  = { } {P(z)},? {  Q(z)},? 3 { }, ?

CPSC 433 Artificial Intelligence A First-Order Example 1)  P(x)   Q(y)   R(x) 2) P(a) 3) P(z)   Q(z) 4) Q(a) 5) Q(b) 6) R(b)  = { } {P(z)},? {  Q(z)},? 3 {P(z),  P(x)},? {P(z),  Q(y)},? {P(z),  R(x)},? 1 { }, ?

CPSC 433 Artificial Intelligence A First-Order Example 1)  P(x)   Q(y)   R(x) 2) P(a) 3) P(z)   Q(z) 4) Q(a) 5) Q(b) 6) R(b)  = { z  x } {P(z)},? {  Q(z)},? 3 {P(z),  P(x)},y {P(z),  Q(y)},? {P(z),  R(x)},? 1 { }, ?

CPSC 433 Artificial Intelligence A First-Order Example 1)  P(x)   Q(y)   R(x) 2) P(a) 3) P(z)   Q(z) 4) Q(a) 5) Q(b) 6) R(b)  = { z  x } {P(z)},? {  Q(z)},? 3 {P(z),  P(x)},y {P(z),  Q(y)},? {P(z),  R(x)},? 1 {P(z),  Q(y),Q(b)},? 5 { }, ?

CPSC 433 Artificial Intelligence A First-Order Example 1)  P(x)   Q(y)   R(x) 2) P(a) 3) P(z)   Q(z) 4) Q(a) 5) Q(b) 6) R(b)  = { z  x, y  b } {P(z)},? {  Q(z)},? 3 {P(z),  P(x)},y {P(z),  Q(y)},? {P(z),  R(x)},? 1 {P(z),  Q(y),Q(b)},y 5 { }, ?

CPSC 433 Artificial Intelligence A First-Order Example 1)  P(x)   Q(y)   R(x) 2) P(a) 3) P(z)   Q(z) 4) Q(a) 5) Q(b) 6) R(b)  = { z  x, y  b } {P(z)},? {  Q(z)},? 3 {P(z),  P(x)},y {P(z),  Q(y)},? {P(z),  R(x)},? 1 {P(z),  Q(y),Q(b)},y 5 {P(z),  R(x),R(b)},? 6 { }, ?

CPSC 433 Artificial Intelligence A First-Order Example 1)  P(x)   Q(y)   R(x) 2) P(a) 3) P(z)   Q(z) 4) Q(a) 5) Q(b) 6) R(b)  = { z  x, y  b, x  b } {P(z)},? {  Q(z)},? 3 {P(z),  P(x)},y {P(z),  Q(y)},? {P(z),  R(x)},? 1 {P(z),  Q(y),Q(b)},y 5 {P(z),  R(x),R(b)},y 6 { }, ?

CPSC 433 Artificial Intelligence A First-Order Example 1)  P(x)   Q(y)   R(x) 2) P(a) 3) P(z)   Q(z) 4) Q(a) 5) Q(b) 6) R(b)  = { z  b, y  b, x  b } {P(z)},? {  Q(z)},? 3 {P(z),  P(x)},y {P(z),  Q(y)},? {P(z),  R(x)},? 1 {P(z),  Q(y),Q(b)},y 5 {P(z),  R(x),R(b)},y 6 substitute! { }, ?

CPSC 433 Artificial Intelligence A First-Order Example 1)  P(x)   Q(y)   R(x) 2) P(a) 3) P(z)   Q(z) 4) Q(a) 5) Q(b) 6) R(b)  = { z  b, y  b, x  b } {P(z)},? {  Q(z)},? 3 {P(z),  P(x)},y {P(z),  Q(y)},? {P(z),  R(x)},? 1 {P(z),  Q(y),Q(b)},y 5 {P(z),  R(x),R(b)},y 6 {  Q(z),Q(a)},? 4 { }, ?

CPSC 433 Artificial Intelligence A First-Order Example 1)  P(x)   Q(y)   R(x) 2) P(a) 3) P(z)   Q(z) 4) Q(a) 5) Q(b) 6) R(b)  = { z  b, y  b, x  b } {P(z)},? {  Q(z)},? 3 {P(z),  P(x)},y {P(z),  Q(y)},? {P(z),  R(x)},? 1 {P(z),  Q(y),Q(b)},y 5 {P(z),  R(x),R(b)},y 6 {  Q(z),Q(a)},? 4 can’t add z  a! { }, ?

CPSC 433 Artificial Intelligence A First-Order Example 1)  P(x)   Q(y)   R(x) 2) P(a) 3) P(z)   Q(z) 4) Q(a) 5) Q(b) 6) R(b)  = { z  b, y  b, x  b } {P(z)},? {  Q(z)},? 3 {P(z),  P(x)},y {P(z),  Q(y)},? {P(z),  R(x)},? 1 {P(z),  Q(y),Q(b)},y 5 {P(z),  R(x),R(b)},y 6 backtrack! { }, ?

CPSC 433 Artificial Intelligence A First-Order Example 1)  P(x)   Q(y)   R(x) 2) P(a) 3) P(z)   Q(z) 4) Q(a) 5) Q(b) 6) R(b)  = { z  b, y  b, x  b } {P(z)},? {  Q(z)},? 3 {P(z),  P(x)},y {P(z),  Q(y)},? {P(z),  R(x)},? 1 {P(z),  Q(y),Q(b)},y 5 {P(z),  R(x),R(b)},y 6 {  Q(z),Q(b)},? 5 { }, ?

CPSC 433 Artificial Intelligence A First-Order Example 1)  P(x)   Q(y)   R(x) 2) P(a) 3) P(z)   Q(z) 4) Q(a) 5) Q(b) 6) R(b) {P(z)},? {  Q(z)},? {P(z),  P(x)},y {P(z),  Q(y)},? {P(z),  R(x)},? {P(z),  Q(y),Q(b)},y{P(z),  R(x),R(b)},y {  Q(z),Q(b)},y  = { z  b, y  b, x  b } { }, ?

CPSC 433 Artificial Intelligence A First-Order Example 1)  P(x)   Q(y)   R(x) 2) P(a) 3) P(z)   Q(z) 4) Q(a) 5) Q(b) 6) R(b) {P(z)},? {  Q(z)},? {P(z),  P(x)},y {P(z),  Q(y)},? {P(z),  R(x)},? {P(z),  Q(y),Q(b)},y{P(z),  R(x),R(b)},y {  Q(z),Q(b)},y  = { z  b, y  b, x  b } { }, ? search complete!