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?