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.