AI MCQ #51: In default logic, which of the following inference rules of the form is allowed?

by

Q51. In default logic, which of the following inference rules of the form is allowed?

  • a) (A : B) / C
  • b) A / (B : C)
  • c) A / B
  • d) A / B : C

✅ Correct Answer: A) (A : B) / C

Explanation: In default logic, we allow inference rules of the form:(A : B) / C.