Match LIST-I with LIST-II LIST-I LIST-II A. Definite clause I. Forward…
2026
Match LIST-I with LIST-II
LIST-I | LIST-II |
A. Definite clause | I. Forward Chaining |
B. Horn Clause | II. At most one is positive literals |
C. Goal Clause | III. No positive literals |
D. Inference with Horn clause | IV. Exactly one is positive literals |
Choose the correct answer from the options given below:
- A.
A-II, B-IV, C-III, D-I
- B.
A-IV, B-II, C-I, D-III
- C.
A-II, B-III, C-I, D-IV
- D.
A-IV, B-II, C-III, D-I
Attempted by 56 students.
Show answer & explanation
Correct answer: D
The correct matching is A-IV, B-II, C-III, D-I. Definite clauses have exactly one positive literal (A-IV). Horn clauses allow at most one positive literal (B-II). Goal clauses have no positive literals (C-III). Inference with Horn clauses uses forward chaining (D-I).