Question

Rule of inference, called ___________ when added to resolution principle, guarantees  refutation completeness, even when involving equality.

A. Demodulation

 

B. Paramodulation

 

C. Modulation

 

D. Equimodulation

​

Answer 1

Answer:

C.Modulation???? it's right

Answer 2

Answer:

When added to the resolution principle, guarantees refutation completeness, even when involving with equality the rules of inference, called as Paramodulation.

Option (B)

Explanation:

Paramodulation combined with resolution is refutationally complete. Paramodulation can be applied to general clauses also. The new rule of inference states that the combining resolution principle with paramodulation guarantees the complete refutation for E satisfiability.

E refers to the equality relation, wherein all the reflexivity, symmetry, transitivity are equal. We can generate the refutation by using paramodulation and resolution.