hmk4(resol) - CSE 352 Artificial Intelligence Hw4 - 25pts...

Info iconThis preview shows page 1. Sign up to view the full content.

View Full Document Right Arrow Icon
CSE 352 – Artificial Intelligence – Hw4 - 25pts 1. Find all possible resolvents of A) Δ = { {a, ¬b}, {a, b, c}, {¬a, c}, {¬c, ¬b} } B) Δ = { {a, ¬a, ¬b}, {a, b, c}, {¬a, ¬b, ¬c}, {b} } 2. Use a proper Resolution strategies do decide whether Δ is unsatisfiable or satisfiable. A) Δ = { {a, ¬b}, {¬a, ¬b }, {b, c}, {a, ¬c}, {¬a} } B) Δ = { {a, ¬b}, {¬a, ¬b }, {b, c}, {a, ¬c} }
Background image of page 1
This is the end of the preview. Sign up to access the rest of the document.

This note was uploaded on 01/25/2012 for the course CSE 352 taught by Professor Wasilewska,a during the Fall '08 term at SUNY Stony Brook.

Ask a homework question - tutors are online