Consider the following statement:'In the reasoning by resolution, we are given the goal condition and available facts and statements. Using these facts and statements, we have to decide whether the goal condition is true or not.'

Artificial intelligence is intelligence—perceiving, synthesizing, and inferring information—demonstrated by computers, as opposed to intelligence displayed by humans or by other animals. "Intelligence" encompasses the ability to learn and to reason, to generalize, and to infer meaning. (Source: Wikipedia)