1.

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

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

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


Discussion

No Comment Found

Related InterviewSolutions