Horn clause, Sound Inference Algorithm -AI

Horn clause,Sound Inference Algorithm -AI

Question 1 UGC NET June-2020
Which of the following statements are true?
A) A sentence ∝ entails another sentence ß if ß is true in few words 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.
Choose the correct answer from the options given below:
A – (A) and (B) only
B – (B) and (C) only
C – (C) and (D) only
D – (B) and (D) only

Show Answer With Best Explanation

Answer – D

error: Content is protected !!
Open chat
Hi,how Can We Help You ?