Scribd
Upload
25 views1 page

Resolution

Resolution is a deductive inference technique that uses inference rules to derive logical consequences from a knowledge base containing facts. It works by taking the knowledge base and a search algorithm to perform a complete search and yield a complete inference algorithm. Resolution operates using proof by contradiction to perform deductive reasoning from a knowledge base, which is essentially a database of facts.

Uploaded by

Sharadakle Ckle
Copyright
© Attribution Non-Commercial (BY-NC)
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as DOCX, PDF, TXT or read online on Scribd
25 views1 page

Resolution

Resolution is a deductive inference technique that uses inference rules to derive logical consequences from a knowledge base containing facts. It works by taking the knowledge base and a search algorithm to perform a complete search and yield a complete inference algorithm. Resolution operates using proof by contradiction to perform deductive reasoning from a knowledge base, which is essentially a database of facts.

Uploaded by

Sharadakle Ckle
Copyright
© Attribution Non-Commercial (BY-NC)
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as DOCX, PDF, TXT or read online on Scribd
You are on page 1/ 1

Definition: Resolution yields a complete inference algorithm when coupled with any complete search algorithm.

Resolution makes use of the inference rules. Resolution performs deductive inference. Resolution uses proof by contradiction. One can perform Resolution from a Knowledge Base. A Knowledge Base is a collection of facts or one can even call it a database with all facts.

You might also like