Artificial Intelligence207610 marksPredicate Logic
How resolution algorithm is used in FOPL to infer conclusion? Consider the facts; Anyone whom Pugu loves is a star. Any hero who does not rehearse does not act. Anmol is a hero. Any hero who does not work does not rehearse. Anyone who does not act is not a star. Convert above into FOPL and use resol
How resolution algorithm is used in FOPL to infer conclusion? Consider the facts; Anyone whom Pugu loves is a star. Any hero who does not rehearse does not act. Anmol is a hero. Any hero who does not work does not rehearse. Anyone who does not act is not a star. Convert above into FOPL and use resolution to infer that “If Anmol does not work, then Pugu does not love Anmol”.[10]
Resolution is a refutation-based inference method used in First Order Predicate Logic (FOPL). The steps are: 1. Convert all facts (Knowledge Base) into Conjunctive Normal Form (CNF) 2. Negate the conclusion to be proved 3. Repeatedly apply the resolution rule (resolve pairs of clauses that contai...