Default Logic: Finite Injury Priority Method
摘要
Given a default \(\dfrac{A:B}{C},\) if A is known and if it is consistent to assume B then conclude C.