Que1. Select the valid proofs that apply the resolution rule correctly. a) Derivation 1 b) Derivation 2 c) Derivation 3 d) Derivation 4 e) Derivation 5 View Answers
Que2. Select the valid proofs that use the resolution refutation method. a) Derivation 1 b) Derivation 2 c) Derivation 3 d) Derivation 4 e) Derivation 5 View Answers
Que3. Which of these are valid SLD (Selective Linear Definite clause) resolutions? a) Derivation 1 b) Derivation 2 c) Derivation 3 d) Derivation 4 e) Derivation 5 View Answers
Que4. Select the true statements. Here, α is any formula. a) (α∨α)≡α b) (α∧α)≡α c) (α∨¬α)≡ ⊤ (⊤ is top symbol) d) (α∧¬α)≡⊥ (⊥ is bottom symbol) View Answers
Que5. Select the correct statement(s). a) Negation in Prolog is the same as negation in FOL. b) Negation in Prolog is the same as negation in Horn clauses. c) Negation in Prolog represents a failure to solve a subgoal. d) All of the above. View Answers
Que6. Select the correct statement(s). a) Cut operator is a declarative construct and therefore its placement does not impact the output of the program. b) Cut operator is a procedural construct and its placement may change the output of the program. c) Cut operator may prune the search tree, but it never prunes the solutions. d) All of the above. View Answers
Que7. Which of the following is/are true in SWI Prolog? a) It is not possible to remove duplicate results from a query. b) The statement “table p/1 as subsumptive.” enables caching of results of goal “p(_)”. c) Tabling can be used to remove duplicate tuples in a predicate. d) None of the above. View Answers
Que8. According to the KB, which of the following persons do not eat meat? a) joy b) may c) ray d) raz View Answers
Que9. Which of the following queries return true? a) ?- r(joy). b) ?- r(may). c) ?- r(ray). d) ?- r(raz). View Answers
Que10. Select the predicate(s) that correctly defines “persons who do not eat meat”. a) p(X) b) q(X) c) r(X) d) All of the above View Answers
Que11. Select the correct definition for “food items not consumed by any entity”. a) food(F,), + eats(,F). b) food(F,X), + eats(X,F). c) + eats(,F), food(F,). d) All of the above. View Answers
Que12. What type of cut is present in nat/1? a) Red cut. b) Green cut. c) Need more information to determine the type of cuts. View Answers
Que13. What type of cut is present in logical_or/2? a) Red cut. b) Green cut. c) Need more information to determine the type of cuts. View Answers
Que14. Which of the following categories are represented as rules in the Rete Net? a) Applicants with a graduate degree. b) Government employed applicants. c) Government employed non-smoking applicants. d) Unemployed applicants who smoke heavily. e) Highschool educated unemployed applicants who smoke heavily. f) Woman applicants who are self-employed. g) Woman applicants with a graduate degree. View Answers
Que15. Any woman applicant with a graduate degree and employed in the government and with no smoking habit will qualify under which of the following categories that are represented as rules in the Rete Net? a) Applicants with a graduate degree. b) Government employed applicants. c) Government employed non-smoking applicants. d) Unemployed applicants who smoke heavily. e) Highschool educated unemployed applicants who smoke heavily. f) Woman applicants who are self-employed. g) Woman applicants with a graduate degree. View Answers
Que16. In a Rete Net, repeated firings of rules on the same WMEs is prevented __________. a) by adding conditions to the rules b) by the production system c) by selecting one rule-data tuple per rule and deleting the conflicting rule-data tuples for that rule d) by deleting the WMEs that participated in a rule firing View Answers
Que17. In the Rete Net, find the locations (alpha nodes) where the WME 302 resides. Answer format: A1,A2,A11,A21 View Answers
Que18. In the first round, which of the following rule-data tuples will be present in the conflict set? a) R1,302,304,310 b) R2,303,306,308,312 c) R2,301,303,306,309 d) R3,305,312 e) R4,307,312 f) R4,302,307 View Answers
Que19. If SPECIFICITY is used as the conflict resolution strategy, then which rule will fire? a) R1,302,304,310 b) R2,303,306,308,312 c) R2,301,303,306,309 d) R3,305,312 e) R4,307,312 f) R4,302,307 View Answers
Que20. If RECENCY is used as the conflict resolution strategy, then which rule will fire? a) R1,302,304,310 b) R2,303,306,308,312 c) R2,301,303,306,309 d) R3,305,312 e) R4,307,312 f) R4,302,307 View Answers
Nptel AI Knowledge Representation And Reasoning Week 7 Answer (Jan-Apr 2025)
