Question

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

This question was posed to me during an interview.

This interesting question is from Linguistics in portion Introduction to Artificial Intelligence of Artificial Intelligence

Answer 1

Right answer is (a) (A : B) / C

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