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:A
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
Explanation: In default logic, we allow inference rules of the form:(A : B) / C.