RTUComputer ScienceYr 2024 · Sem 62024

Q4Principles of Artificial Intelligence

Question

2 marks

Explain the concept of Resolution in logic.

Answer

Resolution is an absolute, mathematically sound inference rule utilized in Propositional and First-Order Logic to violently prove theorems by generating a contradiction from negated clauses.

Resolution is a complete inference architecture. To prove a statement is mathematically True given a Knowledge Base (KB), the AI violently negates (creating ) and adds it to the KB. It then strictly applies the Resolution rule to cancel out complementary literals. If it derives an empty clause (absolute contradiction), it mathematically proves the original was True.

Back to Paper