Which of the following statements are true? α β β
(A) A sentence entails another sentence if α is true in few worlds where is true.
(B) Forward chaining and backward chaining are very natural reasoning algorithms for knowledge bases in Horn form.
(C) Sound inference algorithms derive all sentences that are entailed.
(D) Propositional logic does not scale to environments of unbounded size.
Pick an option to check yourself, or open the answer below.
Show answer & explanation
Correct answer: D. (B) and (D) only
Explanation
Forward and backward chaining suit Horn knowledge bases (B), and propositional logic cannot scale to unbounded environments (D). Entailment needs β true in every world where α is true (A false), and soundness means deriving only entailed sentences — deriving all of them is completeness (C false).
More Artificial Intelligence (AI) questions
- Which of the following statements are true? (A) Minimax search is breadth-first; it processes all the nodes at a level before moving to a n…
- Match List I with List II. List I: A. Branch-and-bound, B. Steepest-ascent hill climbing, C. Constraint satisfaction, D. Means-end analysis…
- Match List I with List II. List I: A. Greedy best-first search, B. A*, C. Recursive best-first search, D. SMA*. List II: I. Space complexit…
- Given below are two statements: V V If two variables 1 and 2 are used for clustering, then consider the following k k = 3 statements for me…
- Given below are two statements: Statement I: A genetic algorithm is a stochastic hill-climbing search in which a large population of states…
- According to Dempster-Shafer theory for uncertainty management, Bel(A) Where denotes Belief of event A.