{[ promptMessage ]}

Bookmark it

{[ promptMessage ]}

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

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 o r 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.

{[ snackBarMessage ]}