Question

A resolution trace captures the information of a __________ , in a linear form. 

A.  Domain

 

B.  Conceptualization

 

C.  Resolution Graph

 

D.  Abstraction

​

Answer 1

Answer:

A.Domain..........am I right

Answer 2

A resolution trace captures the information of a resolution graph , in a linear form. 

the right answer is c) resolution graph.

Resolution graphs are used to illustrate the significance of merges and tautologies in proofs by resolution. Finally, they provide a basis for proving the completeness of a proof strategy that combines the set of support, resolution with merging, linear format, and Loveland's subsumption conditions.