We said in this chapter that resolution cannot be used to generate all logical consequences of a set of sentences. Can any algorithm do this?
Answer
Improve This Solution
View Answer
We said in this chapter that resolution cannot be used to generate all logical consequences of a set of sentences. Can any algorithm do this?